• 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

Keywords

  • 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.

  • 9 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

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

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

2 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

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jensen, P. G., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2018, I : Fundamenta Informaticae. 161, 4, s. 351-381

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 sep. 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (red.). Springer, s. 339-355 17 s. (Lecture Notes in Computer Science, Bind 11024).

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

Chemical analysis

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: Priser, stipendier, udnævnelser

Controllers
Uncertainty

Honary Doctorate: for his contributions to Embedded Systems verification

Kim Guldstrand Larsen (Modtager), 27 nov. 2007

Pris: Priser, stipendier, udnævnelser

Ridder af Dannebrog

Kim Guldstrand Larsen (Modtager), 1 aug. 2007

Pris: Priser, stipendier, 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

ARTIST2

Kim Guldstrand Larsen (Foredragsholder)
19 feb. 2007

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Artist2

Kim Guldstrand Larsen (Foredragsholder)
1 aug. 2007

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

ARTIST2: Winterschool

Kim Guldstrand Larsen (Foredragsholder)
19 feb. 2007

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Dagstuhl workshop : Run-time verification

Kim Guldstrand Larsen (Deltager)
2 jan. 20076 jan. 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