• Selma Lagerløfs Vej 300, 1-2-14

    9220 Aalborg Ø

    Danmark

20032021

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Emneord

  • Arbejde og Arbejdsmarked
  • embedded systems
  • formal methods
  • real-time systems
  • software validation
  • testing
  • timed automata

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
  • 1 Lignende profiler

Netværk

Klik på punkterne for at se detaljerne.
  • Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking

    Gamatie, A., Sassatelli, G. & Mikucionis, M., 1 feb. 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. IEEE, s. 980-985 6 s. 9474224. (Proceedings -Design, Automation and Test in Europe, DATE, Bind 2021-February).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
  • Fluid Model-Checking in UPPAAL for Covid-19

    Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 385-403 19 s. (Lecture Notes in Computer Science, Bind 12476).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • Urgent Partial Order Reduction for Extended Timed Automata

    Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Srba, J., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (red.). Springer, s. 179-195 17 s. (Lecture Notes in Computer Science, Bind 12302).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • 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 proceedingBidrag til bog/antologiForskningpeer review

    5 Citationer (Scopus)
  • Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

    Larsen, K. G., Coent, A. C. L., Mikučionis, M. & Taankvist, J. H., 2019, Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems. Chamberlain, R., Taha, W. & Törngren, M. (red.). Heidelberg: Springer, s. 113-133 21 s. (Lecture Notes in Computer Science, Bind 11615).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    4 Citationer (Scopus)