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
Netværk
Klik på punkterne for at se detaljerne.
-
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
-
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
-
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 → …
Projekter: Projekt › Forskning
-
CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R., Ravn, A. P. & Larsen, K. G.
Forskningsrådet for Teknologi og Produktion
01/03/2011 → …
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
Publikationer
-
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, I: International Journal on Software Tools for Technology Transfer. 23, 1, s. 89-104 16 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › peer review
-
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2 feb. 2021, I: Logical Methods in Computer Science. 17, 1, s. 1-36 9.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › peer review
Åben adgang -
Economic heat control of mixing loop for residential buildings supplied by low-temperature district heating
Golmohammadi, H. & Larsen, K. G., sep. 2021, I: Journal of Building Engineering.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › peer review
-
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Hierarchical Flexibility Potentials of Residential Buildings with Responsive Heat Pumps: A Case Study of Denmark
Golmohamadi, H., Larsen, K. G., Jensen, P. G. & Riaz, I., 2021, I: Journal of Building Engineering . 41, 102425.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › peer review
1 Citationer (Scopus)
Priser
-
Best Paper Award
Bacci, Giovanni (Modtager), Larsen, Kim Guldstrand (Modtager), Markey, N. (Modtager), Bouyer, P. (Modtager), Fahrenberg, U. (Modtager) & Reynier, P. (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
-
Aalborg Universitet roses i international evaluering
Kim Guldstrand Larsen & Peter Axel Nielsen
30/08/2021
1 element af Mediedækning
Presse/medie
-
Gamle AI-dyder skal gøre maskinlæring både "safe" og "secure"
25/08/2021
1 element af Mediedækning
Presse/medie
-
Forskere vil bygge sikkerhedsskjold til ML-systemer med klassiske AI-metoder
24/06/2021
1 element af Mediedækning
Presse/medie
-
Nyheder fra dansk forskning
Kim Guldstrand Larsen, Petar Popovski & Remus Teodorescu
27/05/2021
2 elementer af Mediedækning
Presse/medie
-
Villum Fonden giver 313 millioner kroner til topforskere
Kim Guldstrand Larsen, Petar Popovski & Remus Teodorescu
13/04/2021 → 15/04/2021
2 elementer af Mediedækning
Presse/medie