• Selma Lagerløfs Vej 300, 0-2-32

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

1987 …2020
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

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.

  • 10 Lignende profiler
Model checking Teknik og materialevidenskab
Real time systems Teknik og materialevidenskab
Specifications Teknik og materialevidenskab
Timed Automata Matematik
Transition Systems Matematik
Scheduling Teknik og materialevidenskab
Semantics Teknik og materialevidenskab
Markov processes Teknik og materialevidenskab

Netværk Klik på punkterne for at se detaljerne.

Projekter 2002 2020

Publikationer 1987 2019

Controlling Signalized Intersections using Machine Learning

Eriksen, A. B., Lahrmann, H., Larsen, K. G. & Taankvist, J. H., 2019, I : Transportation Research Procedia.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Learning systems
traffic
Controllers
simulation
road

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., jan. 2019, I : Mathematical Structures in Computer Science. 29, Special Issue 1, s. 3-37 35 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Markov processes
Branching
Markov chain
Semantics
Linear Time

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Mariegaard, A., Larsen, K. G. & Jensen, M. C., 2019, NASA Formal Methods. Springer, Bind 11460. s. 298-315 18 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Model checking

20 Years of Real Real Time Model Validation

Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Bind 10951. s. 22--36 (Lecture Notes in Computer Science, Bind 10951).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Larsen, K. G., Lorber, F. & Nielsen, B., 9 nov. 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, s. 212-229 (Lecture Notes in Computer Science, Bind 11247).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Industry

Priser

Best Paper Award

Giovanni Bacci (Modtager), Kim Guldstrand Larsen (Modtager), Nicolas Markey (Modtager), Patricia Bouyer (Modtager), Uli Fahrenberg (Modtager) & Pierre-Alain Reynier (Modtager), 17 jul. 2018

Pris: Konferencepriser

Controllers
Uncertainty

Ridder af Dannebrog

Kim Guldstrand Larsen (Modtager), 1 aug. 2007

Pris: Ærespriser og udnævnelser

Aktiviteter 2007 2017

  • 14 Organisering af eller deltagelse i konference
  • 6 Foredrag og præsentationer i privat eller offentlig virksomhed
  • 1 Redaktør af serie
  • 1 Undervisning og kursusvirksomhed ved andre universiteter

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. 201725 aug. 2017

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af serieForskning

FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science

Kim Guldstrand Larsen (Deltager)
12 dec. 200714 dec. 2007

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Embedded Systems Workshop : ESI en STW Progress

Kim Guldstrand Larsen (Deltager)
17 okt. 200720 okt. 2007

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

NWPT07 : The 19th Nordic Workshop on Programming Theory

Kim Guldstrand Larsen (Deltager)
10 okt. 200712 okt. 2007

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Embedded Systems Week : Foundations of Component-based Design

Kim Guldstrand Larsen (Deltager)
30 sep. 20071 okt. 2007

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Presse/medie

60 år - Kim Guldstrand Larsen

Kim Guldstrand Larsen

22/12/2017

2 elementer af Mediedækning

Presse/medie

Vi gider ikke de " smarte" hjem

Kim Guldstrand Larsen

01/06/2017

1 element af Mediedækning

Presse/medie

IT-sværvægter får Grundfosprisen

Kim Guldstrand Larsen

30/01/2017

1 element af Mediedækning

Presse/medie