Kim G. Larsen
Kim G. Larsen
Director, Professor Aalborg University
Verifierad e-postadress på cs.aau.dk - Startsida
TitelCiteras avÅr
UPPAAL in a nutshell
KG Larsen, P Pettersson, W Yi
International Journal on Software Tools for Technology Transfer (STTT) 1 (1 …, 1997
20651997
A Tutorial on Uppaal
G Behrmann, A David, KG Larsen
Formal methods for the design of real-time systems, 200-236, 2004
18242004
Bisimulation through probabilistic testing
KG Larsen, A Skou
Information and computation 94 (1), 1-28, 1991
13991991
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
8471995
Wang Yi
KG Larsen, P Pettersson
Uppaal in a nutshell. STTT 1 (1-2), 134-152, 1997
6471997
A modal process logic
KG Larsen, B Thomsen
[1988] Proceedings. Third Annual Symposium on Logic in Computer Science, 203-210, 1988
5371988
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ...
Los Alamitos, CA: IEEE Computer Society, 2006
3952006
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
3842001
Specification and refinement of probabilistic processes
B Jonsson, KG Larsen
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
3721991
Modal specifications
KG Larsen
International Conference on Computer Aided Verification, 232-246, 1989
3181989
Reactive systems: modelling, specification and verification
L Aceto, A Ingólfsdóttir, KG Larsen, J Srba
cambridge university press, 2007
3012007
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
2962005
Modal I/O automata for interface and product line theories
KG Larsen, U Nyman, A Wąsowski
European Symposium on Programming, 64-79, 2007
2692007
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
2642007
Model-checking for real-time systems
KG Larsen, P Pettersson, W Yi
International Symposium on Fundamentals of Computation Theory, 62-88, 1995
2511995
The impressive power of stopwatches
F Cassez, K Larsen
International Conference on Concurrency Theory, 138-152, 2000
2482000
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
2472008
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
2271997
Equation solving using modal transition systems
KG Larsen, L Xinxin
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
2031990
Efficient verification of real-time systems: compact data structure and state-space reduction
KG Larsen, F Larsson, P Pettersson, W Yi
Proceedings Real-Time Systems Symposium, 14-24, 1997
1991997
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20