• Selma Lagerløfs Vej 300, 2-2-16

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

1987 …2023
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.

  • 17 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
Controllers Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 2002 2023

Research Output 1987 2019

2 Citations (Scopus)
1 Downloads (Pure)

Abstract Dependency Graphs and Their Application to Model Checking

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (eds.). Springer, p. 316-333 18 p. (Lecture Notes in Computer Science, Vol. 11427).

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

Open Access
File
Model checking
Concretes

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, p. 27-35 9 p. (Lecture Notes in Computer Science, Vol. 11200).

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

Spreadsheets
Model checking
Parallel programming
Scalability
Derivatives
1 Downloads (Pure)

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 9:1-9:17 17 p. (Leibniz International Proceedings in Informatics, Vol. 140).

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

Open Access
File

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

Systems analysis
Pacemakers
Temporal logic
Controllers
Monitoring

Controlling Signalized Intersections using Machine Learning

Eriksen, A. B., Lahrmann, H., Larsen, K. G. & Taankvist, J. H., 2019, In : Transportation Research Procedia.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Learning systems
traffic
Controllers
simulation
road

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: Conference prizes

Controllers
Uncertainty

Ridder af Dannebrog

Kim Guldstrand Larsen (Recipient), 1 Aug 2007

Prize: Honorary prizes and appointments

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

International Symposium on Mathematical Foundations of Computer Science (Event)

Kim Guldstrand Larsen (Peer reviewer), Hans L. Bodlaender (Editor), Jean-François Raskin (Editor)
21 Aug 201725 Aug 2017

Activity: Editorial work and peer reviewSeries editorResearch

FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science

Kim Guldstrand Larsen (Participant)
12 Dec 200714 Dec 2007

Activity: Attending an eventConference organisation or participation

Embedded Systems Workshop : ESI en STW Progress

Kim Guldstrand Larsen (Participant)
17 Oct 200720 Oct 2007

Activity: Attending an eventConference organisation or participation

NWPT07 : The 19th Nordic Workshop on Programming Theory

Kim Guldstrand Larsen (Participant)
10 Oct 200712 Oct 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

Fire universiteter skal gøre den grønne omstilling billigere

Kim Guldstrand Larsen

31/05/2019

1 item of Media coverage

Press/Media: 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