• Selma Lagerløfs Vej 300, 0-2-32

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

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

Personal profile

Keywords

  • Computer Science
  • Mathematics and Statistics
  • Electronics

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

  • 9 Similar Profiles
Model checking Engineering & Materials Science
Real time systems Engineering & Materials Science
Specifications Engineering & Materials Science
Timed Automata Mathematics
Transition Systems Mathematics
Scheduling Engineering & Materials Science
Semantics Engineering & Materials Science
Markov processes Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 2002 2020

Research Output 1987 2019

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., Jan 2019, In : Mathematical Structures in Computer Science. 29, Special Issue 1, p. 3-37 35 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Markov processes
Branching
Markov chain
Semantics
Linear Time

20 Years of Real Real Time Model Validation

Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Vol. 10951. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

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

2 Citations (Scopus)

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Larsen, K. G., Lorber, F. & Nielsen, B., 9 Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, p. 212-229 (Lecture Notes in Computer Science, Vol. 11247).

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

Industry

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jensen, P. G., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2018, In : Fundamenta Informaticae. 161, 4, p. 351-381

Research output: Contribution to journalJournal articleResearchpeer-review

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 Sep 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 339-355 17 p. (Lecture Notes in Computer Science, Vol. 11024).

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

Chemical analysis

Prizes

Best Paper Award

Giovanni Bacci (Recipient), Kim Guldstrand Larsen (Recipient), Nicolas Markey (Recipient), Patricia Bouyer (Recipient), Uli Fahrenberg (Recipient) & Pierre-Alain Reynier (Recipient), 17 Jul 2018

Prize: Prizes, scholarships, distinctions

Controllers
Uncertainty

Honary Doctorate: for his contributions to Embedded Systems verification

Kim Guldstrand Larsen (Recipient), 27 Nov 2007

Prize: Prizes, scholarships, distinctions

Ridder af Dannebrog

Kim Guldstrand Larsen (Recipient), 1 Aug 2007

Prize: Prizes, scholarships, distinctions

Activities 2007 2017

  • 14 Conference organisation or participation
  • 6 Talks and presentations in private or public companies
  • 1 Series editor
  • 1 External teaching and course activities at other universities

ARTIST2

Kim Guldstrand Larsen (Lecturer)
19 Feb 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

Artist2

Kim Guldstrand Larsen (Lecturer)
1 Aug 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

ARTIST2: Winterschool

Kim Guldstrand Larsen (Lecturer)
19 Feb 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

Dagstuhl workshop : Run-time verification

Kim Guldstrand Larsen (Participant)
2 Jan 20076 Jan 2007

Activity: Attending an eventConference organisation or participation

Embedded Systems Week : Foundations of Component-based Design

Kim Guldstrand Larsen (Participant)
30 Sep 20071 Oct 2007

Activity: Attending an eventConference organisation or participation

Press / Media

AAU-professor skal rådgive kinesisk premierminister om digitalisering

Kim Guldstrand Larsen

21/01/2019

19 items of media coverage

Press/Media: Press / Media

60 år - Kim Guldstrand Larsen

Kim Guldstrand Larsen

22/12/2017

2 items of media coverage

Press/Media: Press / Media

Vi gider ikke de " smarte" hjem

Kim Guldstrand Larsen

01/06/2017

1 item of media coverage

Press/Media: Press / Media

IT-sværvægter får Grundfosprisen

Kim Guldstrand Larsen

30/01/2017

1 item of media coverage

Press/Media: Press / Media