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
-
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
-
Approximate Reasoning for Stochastic Markovian Systems
Mardare, R. & Larsen, K. G.
01/11/2015 → 31/10/2019
Project: Research
Research output
-
A toolchain for domestic heat-pump control using Uppaal Stratego
Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., Aug 2023, In: Science of Computer Programming. 230, 102987.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile4 Downloads (Pure) -
Determine stormwater pond geometrics and hydraulics using remote sensing technologies: a comparison between airborne-LiDAR and UAV-photogrammetry field validation against RTK-GNSS
Zhao, G., Rasmussen, M. R., Larsen, K. G., Srba, J., Nielsen, T. D., Goorden, M., Qian, W. & Nielsen, J. E., 1 Jul 2023, In: Journal of Hydroinformatics. 25, 4, p. 1256-1275 20 p., 1257.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile6 Downloads (Pure) -
Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego
Kristjansen, M., Kulkarni, A., Jensen, P. G., Teodorescu, R. & Larsen, K. G., 16 Oct 2023, (Accepted/In press) Annual Conference of the IEEE Industrial Electronics Society (IECON) 2023.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Guaranteed safe controller synthesis for switched systems using analytical solutions
Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R. & Zhao, G., 2023, IEEE Conference on Control Technology and Applications. IEEE, p. 785-790Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile2 Downloads (Pure) -
Learning Symbolic Timed Models from Concrete Timed Data
Dierl, S., Howar, F. M., Kauffman, S., Kristjansen, M., Guldstrand Larsen, K., Lorber, F. & Mauritz, M., 16 May 2023, NASA Formal Methods - 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer Science+Business Media, p. 104-121 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13903 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
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
-
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
-
Ny forskning kan "være nøglen" til at forhindre oversvømmelser
07/11/2021
1 item of Media coverage
Press/Media: Press / Media
-
Ny forskning kan »være nøglen« til at forhindre oversvømmelser som i Tyskland
27/10/2021
1 item of Media coverage
Press/Media: Press / Media