Kim G. Larsen
Kim G. Larsen
Director, Professor Aalborg University
Verified email at cs.aau.dk - Homepage
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-2), 134-152, 1997
25721997
A Tutorial on Uppaal
G Behrmann, A David, KG Larsen
Formal methods for the design of real-time systems, 200-236, 2004
20282004
Bisimulation through probabilistic testing
KG Larsen, A Skou
Information and computation 94 (1), 1-28, 1991
14861991
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
9361995
A modal process logic
KG Larsen, B Thomsen
Proceedings Third Annual Symposium on Logic in Computer Science, 203,204,205 …, 1988
5761988
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ...
Los Alamitos, CA: IEEE Computer Society, 2006
4362006
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
4112001
Specification and refinement of probabilistic processes
B Jonsson, KG Larsen
Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
4051991
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
3432015
Reactive systems: modelling, specification and verification
L Aceto, A Ingólfsdóttir, KG Larsen, J Srba
cambridge university press, 2007
3412007
Modal specifications
KG Larsen
International Conference on Computer Aided Verification, 232-246, 1989
3351989
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
3282005
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
3032007
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
2992008
Modal I/O automata for interface and product line theories
KG Larsen, U Nyman, A Wąsowski
European Symposium on Programming, 64-79, 2007
2962007
The impressive power of stopwatches
F Cassez, K Larsen
International Conference on Concurrency Theory, 138-152, 2000
2742000
Model-checking for real-time systems
KG Larsen, P Pettersson, W Yi
International Symposium on Fundamentals of Computation Theory, 62-88, 1995
2621995
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
2401997
Equation solving using modal transition systems
KG Larsen, L Xinxin
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
2151990
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
213*2018
The system can't perform the operation now. Try again later.
Articles 1–20