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

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

1987 …2023
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.

  • 12 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
Controllers Teknik og materialevidenskab
Semantics Teknik og materialevidenskab

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

Projekter 2002 2023

Publikationer 1987 2019

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, I : Leibniz International Proceedings in Informatics. 140, s. 1 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang

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

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M. & Larsen, K. G., 23 sep. 2019, Proc. of International Symposium on Formal Methods: FM 2019: Formal Methods – The Next 30 Years. ter Beek, M. H., McIver, A. & Oliveira, J. N. (red.). Bind 11800. s. 651 669 s. (Lecture Notes in Computer Science).

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

Learning algorithms
Sampling
Formal languages
Model structures
Testing

Model checking constrained markov reward models with uncertainties

Bacci, G., Hansen, M. & Larsen, K. G., 1 sep. 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (red.). Physica-Verlag, s. 37-51 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11785 LNCS).

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

Reward
Model Checking
Uncertainty
Model
Markov Model

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