Projekter pr. år
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
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
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
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
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-381Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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
ARTIST2
Kim Guldstrand Larsen (Foredragsholder)19 feb. 2007
Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
Artist2
Kim Guldstrand Larsen (Foredragsholder)1 aug. 2007
Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
ARTIST2: Winterschool
Kim Guldstrand Larsen (Foredragsholder)19 feb. 2007
Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
Dagstuhl workshop : Run-time verification
Kim Guldstrand Larsen (Deltager)2 jan. 2007 → 6 jan. 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