Projects per year
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
FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
01/04/2019 → 31/03/2023
Project: Research
DiCyPS: Center for Data-Intensive Cyber-Physical Systems
Larsen, K. G., Skou, A., Pedersen, T. B., Jensen, C. S., Kjeldskov, J., Skov, M. B., Nielsen, B., Lahrmann, H., Bak-Jensen, B. & Guerrero, J. M.
01/01/2015 → 31/12/2020
Project: Research
TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
Hansen, R. R., David, A., Hüttel, H. & Larsen, K. G.
01/11/2012 → …
Project: Research
CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R., Ravn, A. P. & Larsen, K. G.
Forskningsrådet for Teknologi og Produktion
01/03/2011 → …
Project: Research
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 proceeding › Article in proceeding › Research › peer-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 proceeding › Book chapter › Research › peer-review
Spreadsheets
Model checking
Parallel programming
Scalability
Derivatives
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 proceeding › Article in proceeding › Research › peer-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 proceeding › Book chapter › Research › peer-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 journal › Conference article in Journal › Research › peer-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
Honary Doctorate: for his contributions to Embedded Systems verification
Kim Guldstrand Larsen (Recipient), 27 Nov 2007
Prize: Other prizes
Ridder af Dannebrog
Kim Guldstrand Larsen (Recipient), 1 Aug 2007
Prize: Honorary prizes and appointments
Activities 2007 2017
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 2017 → 25 Aug 2017
Activity: Editorial work and peer review › Series editor › Research
FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science
Kim Guldstrand Larsen (Participant)12 Dec 2007 → 14 Dec 2007
Activity: Attending an event › Conference organisation or participation
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Participant)17 Oct 2007 → 20 Oct 2007
Activity: Attending an event › Conference organisation or participation
NWPT07 : The 19th Nordic Workshop on Programming Theory
Kim Guldstrand Larsen (Participant)10 Oct 2007 → 12 Oct 2007
Activity: Attending an event › Conference organisation or participation
Embedded Systems Week : Foundations of Component-based Design
Kim Guldstrand Larsen (Participant)30 Sep 2007 → 1 Oct 2007
Activity: Attending an event › Conference organisation or participation
Press / Media
Fire universiteter skal gøre den grønne omstilling billigere
31/05/2019
1 item of Media coverage
Press/Media: Press / Media
AAU-professor skal rådgive kinesisk premierminister om digitalisering
21/01/2019
19 items of Media coverage
Press/Media: Press / Media