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

    9220 Aalborg Ø

    Denmark

20032020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • Work and Labour Market
  • embedded systems
  • formal methods
  • real-time systems
  • software validation
  • testing
  • timed automata

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 12 Similar Profiles

Network Dive into details by clicking on the dots.

Projects

  • Research Output

    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, p. 452-477 (Lecture Notes in Computer Science, Vol. 10000).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • 3 Citations (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. (eds.). Heidelberg: Springer, p. 113-133 21 p. (Lecture Notes in Computer Science, Vol. 11615).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 4 Citations (Scopus)

    UPPAAL STRATEGO

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

    Research output: Contribution to conference without publisher/journalPosterCommunication

    File
    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, Vol. 10500 LNCS. p. 107-124 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10500 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 1 Citation (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. (eds.). Springer, p. 163-178 16 p. (Lecture Notes in Computer Science, Vol. 9984).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    File
  • 6 Citations (Scopus)
    180 Downloads (Pure)