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.
- 18 Lignende profiler
Netværk
Klik på punkterne for at se detaljerne.
Projekter
BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL
Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Muniz Rodriguez, M. A., 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
DiCyPS: Center for Data-Intensive Cyber-Physical Systems
Larsen, K. G., Skou, A., Pedersen, T. B., Jensen, C. S., Kjeldskov, J., Skov, M. B., Nielsen, B., Lahrmann, H., Bak-Jensen, B., Guerrero, J. M. & Raptis, D.
01/01/2015 → 31/12/2020
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
Publikationer
Controlling Signalized Intersections using Machine Learning
Eriksen, A. B., Lahrmann, H., Larsen, K. G. & Taankvist, J. H., 2020, I : Transportation Research Procedia. 48, 2020, s. 987-997Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgang
Fil
Sustainable Energy Systems Planning, Integration and Management
Anvari-Moghaddam, A. (red.), Mohammadi-Ivatloo, B. (red.), Asadi, S. (red.), Shahidehpour, M. (red.), Rusu, E., Wang, C-N., Gebresenbet, G., Garcia, D., Germer, S., Liu, T., Luo, P., Ruz-Hernandez, J. A., He, H., Wang, C., Wang, S., Orosa, J. A., Liu, Y., Chen, C. & Larsen, K. G., jan. 2020, MDPI AG. 286 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › peer review
Åben adgang
Fil
Abstract Dependency Graphs and Their Application to Model Checking
Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (red.). Springer, s. 316-333 18 s. (Lecture Notes in Computer Science, Bind 11427).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Fil
4
Citationer
(Scopus)
14
Downloads
(Pure)
Analyzing spreadsheets for parallel execution via model checking
Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, s. 27-35 9 s. (Lecture Notes in Computer Science, Bind 11200).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
1
Citationer
(Scopus)
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 9:1-9:17 17 s. 9. (Leibniz International Proceedings in Informatics, Bind 140).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Fil
1
Citationer
(Scopus)
8
Downloads
(Pure)
Priser
Best Paper Award
Bacci, Giovanni (Modtager), Larsen, Kim Guldstrand (Modtager), Nicolas Markey (Modtager), Patricia Bouyer (Modtager), Uli Fahrenberg (Modtager) & Pierre-Alain Reynier (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. 2017
Aktivitet: 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. 2007
Aktivitet: 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. 2007
Aktivitet: 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. 2007
Aktivitet: 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. 2007
Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
Presse/medier
RESEARCHERS ON THE TRAIL OF COVID-19: PEOPLE HAVE A CIVIC DUTY TO GET TESTED
Kim Guldstrand Larsen & Jakob Stoustrup
03/07/2020
1 element af Mediedækning
Presse/medie
45 forskere smed, hvad de havde i hænderne, for Danmarks skyld
Jakob Stoustrup & Kim Guldstrand Larsen
10/05/2020
1 element af Mediedækning
Presse/medie
Villum Fonden støtter otte projekter med i alt 52,5 mio. kr.
Kim Guldstrand Larsen, Michael R. Rasmussen, Katja Hose, Mads Albertsen, Huai Wang & Bin Yang
07/05/2020
1 element af Mediedækning
Presse/medie
Forskere fra Aalborg vil spille skak mod coronavirussen
30/04/2020
3 elementer af Mediedækning
Presse/medie
Villum Fonden støtter 8 tværfaglige projekter i nyt program
Katja Hose, Mads Albertsen, Huai Wang, Bin Yang, Kim Guldstrand Larsen & Michael R. Rasmussen
29/03/2020
1 element af Mediedækning
Presse/medie