Kim Guldstrand Larsen

Ph.D.

Phone2217 1159, 9940 8893, 9940 9798
Emailkgl@cs.aau.dk
Websitehttp://www.cs.aau.dk/~kgl/

Selma Lagerløfs Vej 300, 1-2-16
9220 Aalborg Ø
Denmark
Selma Lagerlöfs Vej 300
9220 Aalborg Ø
Denmark

Research activity per year

If you made any changes in Pure these will be visible here soon.

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.

25 Similar Profiles

Network

Dive into details by clicking on the dots.

3 Active
24 Finished

FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
Innovation Fund Denmark
01/04/2019 → 31/03/2023
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.
FP7 ICT
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
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.
Poul Due Jensen Foundation
27/04/2020 → 01/10/2020
Project: Research
Approximate Reasoning for Stochastic Markovian Systems
Mardare, R. & Larsen, K. G.
01/11/2015 → 31/10/2019
Project: Research

ADTLang: A Programming Language Approach to Attack Defense Trees
Hansen, R. R., Larsen, K. G., Legay, A. B. E., Jensen, P. G. & Poulsen, D. B., 7 Jan 2021, In: International Journal on Software Tools for Technology Transfer. 23, 1, p. 89-104 16 p.
Research output: Contribution to journal › Journal article › Research › peer-review
Optimization of Power-to-Heat Flexibility for Residential Buildings in Response to Day-Ahead Electricity Price
Golmohammadi, H., Larsen, K. G., Jensen, P. G. & Riaz, I., 1 Feb 2021, In: Energy and Buildings. 232, 110665.
Research output: Contribution to journal › Journal article › Research › peer-review
A complete axiomatization of weighted branching bisimulation
Jensen, M. C. & Larsen, K. G., 1 Oct 2020, In: Acta Informatica. 57, p. 689-725 37 p.
Research output: Contribution to journal › Journal article › Research › peer-review
A faster-than relation for semi-Markov decision processes
Pedersen, M. R., Bacci, G. & Larsen, K. G., 20 Jan 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 312, p. 29-42 14 p.
Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Open Access
1 Citation (Scopus)
Approximating Euclidean by Imprecise Markov Decision Processes
Jaeger, M., Bacci, G., Bacci, G., Larsen, K. G. & Jensen, P. G., 2020, International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Margaria, T. & Steffen, B. (eds.). LNCS: Springer, Vol. 12476. p. 275-289 15 p. (Lecture Notes in Computer Science).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access
2 Citations (Scopus)

Best Paper Award
Bacci, Giovanni (Recipient), Larsen, Kim Guldstrand (Recipient), Markey, N. (Recipient), Bouyer, P. (Recipient), Fahrenberg, U. (Recipient) & Reynier, P. (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

14 Conference organisation or participation
6 Talks and presentations in private or public companies
1 Series editor
1 External teaching and course activities at other universities

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 2017
Activity: 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 2007
Activity: Attending an event › Conference organisation or participation
Embedded Systems Workshop : ESI en STW Progress
Kim Guldstrand Larsen (Participant)
17 Oct 2007 → 20 Oct 2007
Activity: Attending an event › Conference organisation or participation
NWPT07 : The 19th Nordic Workshop on Programming Theory
Kim Guldstrand Larsen (Participant)
10 Oct 2007 → 12 Oct 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

Nye tal: Flere test og øget brug af Smittestop-app vil have markant effekt på smitteudviklingen
Kim Guldstrand Larsen
22/02/2021
3 items of Media coverage
Press/Media: Press / Media
Forskere ved AAU har udviklet model, der kan forudsige, om corona-restriktioner virker
Kim Guldstrand Larsen
11/12/2020 → 17/12/2020
22 items of Media coverage
Press/Media: Press / Media
Ny model: Så effektiv var nedlukningen af Nordjylland
Kim Guldstrand Larsen
10/12/2020 → 12/12/2020
2 items of Media coverage
Press/Media: Press / Media
It-netværk lever videre i stærk klynge for digitalisering
Kim Guldstrand Larsen
12/10/2020
2 items of Media coverage
Press/Media: Press / Media
RESEARCHERS ON THE TRAIL OF COVID-19: PEOPLE HAVE A CIVIC DUTY TO GET TESTED
Kim Guldstrand Larsen & Jakob Stoustrup
03/07/2020
1 item of Media coverage
Press/Media: Press / Media