Projects per year
Personal profile
Keywords
- Computer Science
- Mathematics and Statistics
- Electronics
Fingerprint
- 25 Similar Profiles
Network
Projects
-
FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
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.
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.
27/04/2020 → 01/10/2020
Project: Research
-
Research output
-
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 Access1 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 Access2 Citations (Scopus)
Prizes
-
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
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 Sep 2007 → 1 Oct 2007Activity: Attending an event › Conference organisation or participation
Press / Media
-
Nye tal: Flere test og øget brug af Smittestop-app vil have markant effekt på smitteudviklingen
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
11/12/2020 → 17/12/2020
22 items of Media coverage
Press/Media: Press / Media
-
Ny model: Så effektiv var nedlukningen af Nordjylland
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
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