Projekter pr. år
Personlig profil
Emneord
- Datalogi
- Indlejrede systemer
- Matematik og Statistik
- Elektronik
Fingerprint
- 1 Lignende profiler
Samarbejde i de sidste fem år
-
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
Projekter: Projekt › Ph.d.-projekt
-
S4OS: SCALABLE ANALYSIS OF SAFE, SMALL AND SECURE STRATEGIES FOR CYBER-PHYSICAL SYSTEMS
01/01/2021 → 31/12/2027
Projekter: Projekt › Forskning
-
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
Projekter: Projekt › Forskning
-
BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i 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
Projekter: Projekt › Forskning
-
FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
01/04/2019 → 31/03/2023
Projekter: Projekt › Forskning
Publikationer
-
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. (red.). Springer Science+Business Media, s. 153-169 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14390 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Compositional Control Synthesis for Water Management System
Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 28 feb. 2024, (Accepteret/In press) ECC. s. 1-8 8 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. (red.). Springer, s. 33-54 22 s. (Lecture Notes in Computer Science, Bind 14380).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil1 Citationer (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, I: IEEE Transactions on Automatic Control. 68, 11, s. 6557-6572Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
AllSynth: A BDD-Based Approach for Network Update Synthesis
Larsen, K. G., Mariegaard, A., Schmid, S. & Srba, J., aug. 2023, I: Science of Computer Programming. 230, 19 s., 102992.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil4 Downloads (Pure)
Forskningsdatasæt
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Qian, W. (Ophavsperson), Rasmussen, M. R. (Ophavsperson) & Zhao, G. (Ophavsperson), Zenodo, 12 jun. 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Datasæt
-
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Bidrager), Howar, F. M. (Bidrager), Kauffman, S. (Bidrager), Kristjansen, M. (Bidrager), Larsen, K. G. (Bidrager), Lorber, F. (Bidrager) & Mauritz, M. (Bidrager), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Datasæt
-
Models for "Optimal Control Strategies for Stormwater Detention Ponds"
Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Qian, W. (Ophavsperson), Rasmussen, M. R. (Ophavsperson), Srba, J. (Ophavsperson) & Zhao, G. (Ophavsperson), Zenodo, 30 maj 2022
DOI: 10.5281/zenodo.6592380, https://zenodo.org/record/6592380
Datasæt
-
Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
Larsen, K. G. (Bidrager), Mariegaard, A. (Bidrager), Schmid, S. (Bidrager) & Srba, J. (Bidrager), Zenodo, 2022
DOI: 10.5281/zenodo.6534949, https://zenodo.org/record/6534949
Datasæt
-
Reproducibility Package for Extended Abstract Dependency Graphs.
Enevoldsen, S. (Bidrager), Larsen, K. G. (Bidrager) & Srba, J. (Bidrager), Zenodo, 2020
DOI: 10.5281/zenodo.3691837, https://zenodo.org/record/3691837
Datasæt
Priser
-
Best Paper Award
Bacci, Giovanni (Modtager), Larsen, Kim Guldstrand (Modtager), Markey, Nicolas (Modtager), Bouyer, Patricia (Modtager), Fahrenberg, Uli (Modtager) & Reynier, Pierre-Alain (Modtager), 17 jul. 2018
Pris: Konferencepriser
-
Honary Doctorate: for his contributions to Embedded Systems verification
Larsen, Kim Guldstrand (Modtager), 27 nov. 2007
Pris: Øvrige priser
-
Aktiviteter
-
International Symposium on Mathematical Foundations of Computer Science (Begivenhed)
Kim Guldstrand Larsen (Fagfællebedømmer), Hans L. Bodlaender (Redaktør) & Jean-François Raskin (Redaktør)
21 aug. 2017 → 25 aug. 2017Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning
-
FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science
Kim Guldstrand Larsen (Deltager)
12 dec. 2007 → 14 dec. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Deltager)
17 okt. 2007 → 20 okt. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
NWPT07 : The 19th Nordic Workshop on Programming Theory
Kim Guldstrand Larsen (Deltager)
10 okt. 2007 → 12 okt. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Embedded Systems Week : Foundations of Component-based Design
Kim Guldstrand Larsen (Deltager)
30 sep. 2007 → 1 okt. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
Presse/medier
-
Den intelligente fjernvarmetvilling skal give fleksibilitet i energi-infrastrukturen
30/01/2024
1 element af Mediedækning
Presse/medie
-
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 Mediebidrag
Presse/medie
-
-
Tre topforskere fra Aalborg Universitet modtager kæmpe forskningsbevilling
Kim Guldstrand Larsen, Petar Popovski & Remus Teodorescu
02/12/2021 → 06/12/2021
6 elementer af Mediedækning
Presse/medie
-
Vejen til it i verdensklasse er belagt med samarbejde
Kim Guldstrand Larsen & Peter Axel Nielsen
23/11/2021
1 element af Mediedækning
Presse/medie