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

    9220 Aalborg Ø

    Danmark

20032020

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.
  • 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

  • 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)
  • Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengál, O. & Hahn, E. M., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II. Springer, Bind 11428 LNCS. s. vii-ix (Lecture Notes in Computer Science, Bind 11428).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingForord/Indledning/efterskriftForskning

    Åben adgang