Projects per year
Personal profile
Keywords
- Computer Science
- Mathematics and Statistics
- Electronics
Fingerprint
- 1 Similar Profiles
Collaborations from the last five years
-
Data Processing and Selection for Improving In-field Data Quality in Battery Health Management
Weinreich, N. A., Teodorescu, R. & Larsen, K. G.
01/08/2023 → 31/07/2026
Project: PhD Project
-
S4OS: SCALABLE ANALYSIS OF SAFE, SMALL AND SECURE STRATEGIES FOR CYBER-PHYSICAL SYSTEMS
01/01/2021 → 31/12/2027
Project: Research
-
Støtte- og styringssystem til rutebusser
Lahrmann, H., Larsen, K. G., Tibo, A., Skov, M. B., Øhlenschlæger, R., Stakenaite, D., Gøeg, P. R. & Christensen, A. E.
01/08/2020 → 30/11/2021
Project: Research
-
BEO-COVID: Decision making tool based on evaluation and optimisation of models in UPPAAL
Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Rodriguez, M. A. M., Poulsen, D. B. & Tschaikowski, M.
27/04/2020 → 01/10/2020
Project: Research
-
FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
01/04/2019 → 31/03/2023
Project: Research
Research output
-
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink
Naeem, M., Albano, M., Larsen, K. G. & Nielsen, B., 2024, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (eds.). Springer Science+Business Media, p. 153-169 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14390 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Compositional Control Synthesis for Water Management System
Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 28 Feb 2024, (Accepted/In press) ECC. p. 1-8 8 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Shielded Reinforcement Learning for Hybrid Systems
Brorholt, A. H., Jensen, P. G., Larsen, K. G., Lorber, F. & Schilling, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer, p. 33-54 22 p. (Lecture Notes in Computer Science, Vol. 14380).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File1 Citation (Scopus)12 Downloads (Pure) -
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 1 Nov 2023, In: IEEE Transactions on Automatic Control. 68, 11, p. 6557-6572Research output: Contribution to journal › Journal article › Research › peer-review
-
AllSynth: A BDD-Based Approach for Network Update Synthesis
Larsen, K. G., Mariegaard, A., Schmid, S. & Srba, J., Aug 2023, In: Science of Computer Programming. 230, 19 p., 102992.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile4 Downloads (Pure)
Datasets
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator) & Zhao, G. (Creator), Zenodo, 12 Jun 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Dataset
-
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Contributor), Howar, F. M. (Contributor), Kauffman, S. (Contributor), Kristjansen, M. (Contributor), Larsen, K. G. (Contributor), Lorber, F. (Contributor) & Mauritz, M. (Contributor), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Dataset
-
Models for "Optimal Control Strategies for Stormwater Detention Ponds"
Goorden, M. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator), Srba, J. (Creator) & Zhao, G. (Creator), Zenodo, 30 May 2022
DOI: 10.5281/zenodo.6592380, https://zenodo.org/record/6592380
Dataset
-
Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
Larsen, K. G. (Contributor), Mariegaard, A. (Contributor), Schmid, S. (Contributor) & Srba, J. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.6534949, https://zenodo.org/record/6534949
Dataset
-
Reproducibility Package for Extended Abstract Dependency Graphs.
Enevoldsen, S. (Contributor), Larsen, K. G. (Contributor) & Srba, J. (Contributor), Zenodo, 2020
DOI: 10.5281/zenodo.3691837, https://zenodo.org/record/3691837
Dataset
Prizes
-
Best Paper Award
Bacci, Giovanni (Recipient), Larsen, Kim Guldstrand (Recipient), Markey, Nicolas (Recipient), Bouyer, Patricia (Recipient), Fahrenberg, Uli (Recipient) & Reynier, Pierre-Alain (Recipient), 17 Jul 2018
Prize: Conference prizes
-
Honary Doctorate: for his contributions to Embedded Systems verification
Larsen, Kim Guldstrand (Recipient), 27 Nov 2007
Prize: Other prizes
-
Ridder af Dannebrog
Larsen, Kim Guldstrand (Recipient), 1 Aug 2007
Prize: Honorary prizes and appointments
Activities
-
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 2017Activity: 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 2007Activity: Attending an event › Conference organisation or participation
-
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Participant)
17 Oct 2007 → 20 Oct 2007Activity: Attending an event › Conference organisation or participation
-
NWPT07 : The 19th Nordic Workshop on Programming Theory
Kim Guldstrand Larsen (Participant)
10 Oct 2007 → 12 Oct 2007Activity: Attending an event › Conference organisation or participation
-
Embedded Systems Week : Foundations of Component-based Design
Kim Guldstrand Larsen (Participant)
30 Sept 2007 → 1 Oct 2007Activity: Attending an event › Conference organisation or participation
Press/Media
-
Den intelligente fjernvarmetvilling skal give fleksibilitet i energi-infrastrukturen
30/01/2024
1 item of Media coverage
Press/Media: Press / Media
-
Videnskabernes Selskab: ChatGPT sender forskningen ind i en ny epoke - og det kalder på nye spilleregler
Kim Guldstrand Larsen & Thomas Sinkjær
16/11/2023
1 Media contribution
Press/Media: Press / Media
-
Ny teknologi skal forhindre oversvømmelser
28/12/2021
1 item of Media coverage
Press/Media: Press / Media
-
Tre topforskere fra Aalborg Universitet modtager kæmpe forskningsbevilling
Kim Guldstrand Larsen, Petar Popovski & Remus Teodorescu
02/12/2021 → 06/12/2021
6 items of Media coverage
Press/Media: Press / Media
-
Vejen til it i verdensklasse er belagt med samarbejde
Kim Guldstrand Larsen & Peter Axel Nielsen
23/11/2021
1 item of Media coverage
Press/Media: Press / Media