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.
- 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
Approximate Reasoning for Stochastic Markovian Systems
01/11/2015 → 31/10/2019
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
MANTIS: Cyber Physical System based Proactive Collaborative Maintenance
Skou, A., Larsen, K. G., Nielsen, B., Sørensen, J. D. & Nielsen, J. S.
01/05/2015 → 30/04/2018
Projekter: Projekt › Forskning
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 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
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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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
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