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.
- 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
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
MANTIS: Cyber Physical System based Proactive Collaborative Maintenance
Skou, A., Larsen, K. G., Nielsen, B., Sørensen, J. D. & Nielsen, J. S.
01/05/2015 → 30/04/2018
Project: Research
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 journal › Journal article › Research › peer-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 proceeding › Article in proceeding › Research › peer-review
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 proceeding › Article in proceeding › Research › peer-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-381Research output: Contribution to journal › Journal article › Research › peer-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 proceeding › Article in proceeding › Research › peer-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
ARTIST2
Kim Guldstrand Larsen (Lecturer)19 Feb 2007
Activity: Talks and presentations › Talks and presentations in private or public companies
Artist2
Kim Guldstrand Larsen (Lecturer)1 Aug 2007
Activity: Talks and presentations › Talks and presentations in private or public companies
ARTIST2: Winterschool
Kim Guldstrand Larsen (Lecturer)19 Feb 2007
Activity: Talks and presentations › Talks and presentations in private or public companies
Dagstuhl workshop : Run-time verification
Kim Guldstrand Larsen (Participant)2 Jan 2007 → 6 Jan 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
AAU-professor skal rådgive kinesisk premierminister om digitalisering
21/01/2019
19 items of media coverage
Press/Media: Press / Media
IT-sværvægter får Grundfosprisen for industrirelevante it-løsninger
03/12/2016
1 item of media coverage
Press/Media: Press / Media