Projekter pr. år
Personlig profil
Emneord
- Datalogi
- Indlejrede systemer
- Matematik og Statistik
- Elektronik
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
-
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
-
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-6572 16 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains
Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (red.). Springer, s. 82-100 19 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 14287).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
A toolchain for domestic heat-pump control using Uppaal Stratego
Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., aug. 2023, I: Science of Computer Programming. 230, 102987.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil7 Downloads (Pure) -
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics
Jensen, N. Ø., Carlsen, F. B. Ø., Sørensen, M. M., Jenner Rasmussen, J., Frydenskov, L. B. P., Jensen, M. C., Larsen, K. G. & Weirsøe, A. G., 30 sep. 2023, Games, Automata, Logics, and Formal Verification. Italien: Open Publishing Association, Bind 390. s. 99-114 16 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil -
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, I: Journal of Hydroinformatics. 25, 4, s. 1256-1275 20 s., 1257.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil11 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
-
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 element af Mediedækning
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
-
Ny forskning kan "være nøglen" til at forhindre oversvømmelser
07/11/2021
1 element af Mediedækning
Presse/medie