Kim G. Larsen

Cited by

	All	Since 2017
Citations	30821	8442
h-index	83	41
i10-index	326	180

1800

900

450

1350

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022102 86 118 187 173 230 197 253 290 407 409 395 552 672 761 841 1016 1093 1123 1352 1327 1592 1697 1731 1732 1783 1631 1717 1746 1579 1433 1319 641

Public access

View all

94 articles

10 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 University, SwedenVerified email at mdh.se
axel legayUCLouvainVerified email at uclouvain.be
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Arne SkouAssociate Professor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Marius MikučionisDepartment 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
Uli FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Verified email at polytechnique.edu
Danny Bøgsted PoulsenAalborg UniversityVerified email at cs.aau.dk
Peter Gjøl JensenAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Giovanni BacciDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Franck CassezConsenSys Software Inc. & Macquarie UniversityVerified email at mq.edu.au
Emmanuel FleuryAssociate Professor, University of BordeauxVerified email at u-bordeaux.fr

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 (1), 134-152, 1997	2934	1997
A Tutorial on Uppaal G Behrmann, A David, KG Larsen Formal methods for the design of real-time systems, 200-236, 2004	2246	2004
Bisimulation through probabilistic testing KG Larsen, A Skou Information and computation 94 (1), 1-28, 1991	1578	1991
UPPAAL—a tool suite for automatic verification of real-time systems J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi International hybrid systems workshop, 232-243, 1995	1059	1995
A modal process logic KG Larsen, B Thomsen	604	1988
Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006	491	2006
Uppaal SMC tutorial A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen International journal on software tools for technology transfer 17 (4), 397-415, 2015	467	2015
Minimum-cost reachability for priced time automata G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ... International workshop on hybrid systems: computation and control, 147-161, 2001	429	2001
Specification and refinement of probabilistic processes B Jonsson, KG Larsen Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991	429	1991
Reactive systems: modelling, specification and verification L Aceto, A Ingólfsdóttir, KG Larsen, J Srba cambridge university press, 2007	381	2007
Efficient on-the-fly algorithms for the analysis of timed games F Cassez, A David, E Fleury, KG Larsen, D Lime International Conference on Concurrency Theory, 66-80, 2005	358	2005
Modal specifications KG Larsen International Conference on Computer Aided Verification, 232-246, 1989	346	1989
Uppaal-tiga: Time for playing games! G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime International Conference on Computer Aided Verification, 121-125, 2007	339	2007
Testing real-time systems using UPPAAL A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou Formal methods and testing, 77-117, 2008	331	2008
Modal I/O automata for interface and product line theories KG Larsen, U Nyman, A Wąsowski European Symposium on Programming, 64-79, 2007	312	2007
The impressive power of stopwatches F Cassez, K Larsen International Conference on Concurrency Theory, 138-152, 2000	294	2000
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	280*	2018
Model-checking for real-time systems KG Larsen, P Pettersson, W Yi International Symposium on Fundamentals of Computation Theory, 62-88, 1995	273	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	246	1997
Testing real-time embedded software using UPPAAL-TRON: an industrial case study KG Larsen, M Mikucionis, B Nielsen, A Skou Proceedings of the 5th ACM international conference on Embedded software …, 2005	234	2005

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 this author

Cited by

Co-authors