Billede af Marius Mikucionis

Vis Scopus-profil

Marius Mikucionis

Ph.D. in Computer Science

 https://orcid.org/0000-0001-8157-5428

  • Selma Lagerløfs Vej 300, 2-2-59

    9220 Aalborg Ø

    Danmark

20032022

Publikationer pr. år

Filter
Bidrag til bog/antologi

Søgeresultater

  • 2004

    I takt med Tiden

    Behrmann, G., Nielsen, B. & Mikucionis, M., 2004, Rundt om CISS. Larsen, K., Vestergaard, L. & Bang, N. (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 2008

    Testing Real-Time Systems Using UPPAAL

    Hessel, A., Larsen, K. G., Mikucionis, M., Nielsen, B., Pettersson, P. & Skou, A., 2008, Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg: Springer, s. 77-117 (Lecture Notes in Computer Science; Nr. 4949).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    181 Citationer (Scopus)
  • 2015

    Resource-Parameterized Timing Analysis of Real-Time Systems

    Kim, J. H., Legay, A., Larsen, K. G., Mikučionis, M. & Nielsen, B., 2015, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Piterman, N. (red.). Springer, s. 190-205 (Lecture Notes in Computer Science; Nr. 9434).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    3 Citationer (Scopus)

  • Safe and Optimal Adaptive Cruise Control

    Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. Meyer, R., Platzer, A. & Wehrheim, H. (red.). Springer, s. 260-277 18 s. (Lecture Notes in Computer Science; Nr. 9360).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    34 Citationer (Scopus)
  • 2019

    Continuous-Time Models for System Design and Analysis

    Alur, R., Giacobbe, M., Henzinger, T., Larsen, K. G. & Mikučionis, M., 2019, Computing and Software Services. Heidelberg: Springer, s. 452-477 (Lecture Notes in Computer Science, Bind 10000).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    10 Citationer (Scopus)
  • 2022

    PlayingWORDLE with UPPAAL STRATEGO

    Jensen, P. G., Larsen, K. G. & Mikučionis, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (red.). Springer, s. 283-305 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13560 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review