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.
- 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
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.
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
Approximate Reasoning for Stochastic Markovian Systems
01/11/2015 → 31/10/2019
Projekter: Projekt › Forskning
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Tidsskriftartikel › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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
Honary Doctorate: for his contributions to Embedded Systems verification
Kim Guldstrand Larsen (Modtager), 27 nov. 2007
Pris: Øvrige priser
Aktiviteter 2007 2017
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/medie
Fire universiteter skal gøre den grønne omstilling billigere
31/05/2019
1 element af Mediedækning
Presse/medie
AAU-professor skal rådgive kinesisk premierminister om digitalisering
21/01/2019
19 elementer af Mediedækning
Presse/medie