Kim G. Larsen

Cited by

	All	Since 2019
Citations	34153	7935
h-index	85	37
i10-index	367	173

1900

950

475

1425

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024112 82 126 200 183 204 224 246 301 398 427 419 598 642 758 885 1034 1123 1132 1366 1315 1619 1707 1754 1766 1812 1638 1735 1803 1599 1464 1349 1506 1414 599

Public access

View all

101 articles

14 articles

available

not available

Based on funding mandates

Co-authors

Alexandre DavidSenior Software Engineer, Google Inc.Verified email at cs.aau.dk
Paul PetterssonProfessor of Real-time Systems, Mälardalen UniversityVerified email at mdh.se
axel legayUCLouvainVerified email at uclouvain.be
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Marius MikučionisDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Arne SkouAssociate Professor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Brian NielsenAssociate Professor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Ulrik NymanAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Radu MardareProfessor, University of StrathclydeVerified email at strath.ac.uk
Peter Gjøl JensenAssociate Professor at Aalborg UniversityVerified email at cs.aau.dk
Uli FahrenbergLaboratoire de recherche de l'EPITA (LRE)Verified email at polytechnique.edu
Danny Bøgsted PoulsenAalborg UniversityVerified email at cs.aau.dk
Giovanni BacciDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkVerified email at cs.aau.dk
Franck Cassezmovement LabsVerified email at movementlabs.xyz
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is

Kim G. Larsen

Director, Professor Aalborg University

Verified email at cs.aau.dk - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
UPPAAL in a nutshell KG Larsen, P Pettersson, W Yi International journal on software tools for technology transfer 1, 134-152, 1997	3107	1997
A Tutorial on Uppaal G Behrmann, A David, KG Larsen Formal methods for the design of real-time systems, 200-236, 2004	2424	2004
Bisimulation through probabilistic testing (preliminary report) KG Larsen, A Skou Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	1710	1989
UPPAAL—a tool suite for automatic verification of real-time systems J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi Hybrid Systems III: Verification and Control 3, 232-243, 1996	1163	1996
A modal process logic KG Larsen, B Thomsen Proceedings Third Annual Symposium on Logic in Computer Science, 203,204,205 …, 1988	617	1988
Uppaal SMC tutorial A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen International journal on software tools for technology transfer 17, 397-415, 2015	583	2015
Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006	540	2006
Specification and refinement of probabilistic processes B Jonsson, KG Larsen Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991	465	1991
Minimum-cost reachability for priced time automata G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ... Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001	446	2001
Reactive systems: modelling, specification and verification L Aceto, A Ingólfsdóttir, KG Larsen, J Srba cambridge university press, 2007	420	2007
Contracts for system design KGL Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone ... Foundations and Trends in Electronic Design Automation 12 (2-3), 124-400, 2018	405*	2018
Efficient on-the-fly algorithms for the analysis of timed games F Cassez, A David, E Fleury, KG Larsen, D Lime CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005	400	2005
UPPAAL-Tiga: Time for Playing Games! (Tool Paper) G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	380	2007
Modal specifications KG Larsen Automatic Verification Methods for Finite State Systems: International …, 1990	346	1990
Testing real-time systems using UPPAAL A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 2008	343	2008
Modal I/O automata for interface and product line theories KG Larsen, U Nyman, A Wąsowski Programming Languages and Systems: 16th European Symposium on Programming …, 2007	320	2007
The impressive power of stopwatches F Cassez, K Larsen International Conference on Concurrency Theory, 138-152, 2000	313	2000
Model-checking for real-time systems KG Larsen, P Pettersson, W Yi Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995	284	1995
Formal modeling and analysis of an audio/video protocol: An industrial case study using UPPAAL K Havelund, A Skou, KG Larsen, K Lund Proceedings Real-Time Systems Symposium, 2-13, 1997	261	1997
Infinite runs in weighted timed automata with energy constraints P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Srba Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008	254	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors