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

  • 12 Lignende profiler

Netværk Klik på punkterne for at se detaljerne.

Projekter

  • CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

    Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.

    Artemis JU

    01/06/201230/09/2015

    Projekter: ProjektForskning

  • Publikationer

    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

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

    UPPAAL STRATEGO

    David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2019. 1 s.

    Publikation: Konferencebidrag uden forlag/tidsskriftPosterFormidling

    Fil
    28 Downloads (Pure)

    Compositional testing of real-time systems

    Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B. & Nyman, U., 1 jan. 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer, Bind 10500 LNCS. s. 107-124 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10500 LNCS).

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

  • 1 Citationer (Scopus)

    Importance Sampling for Stochastic Timed Automata

    Jegourel, C., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 2016, Dependable Software Engineering: Theories, Tools, and Applications. Fränzle, M., Kapur, D. & Zhan, N. (red.). Springer, s. 163-178 16 s. (Lecture Notes in Computer Science, Bind 9984).

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

    Fil
  • 6 Citationer (Scopus)
    180 Downloads (Pure)