Spremljaj
Kim G. Larsen
Kim G. Larsen
Director, Professor Aalborg University
Preverjeni e-poštni naslov na cs.aau.dk - Domača stran
Naslov
Navedeno
Navedeno
Leto
UPPAAL in a nutshell
KG Larsen, P Pettersson, W Yi
International journal on software tools for technology transfer 1, 134-152, 1997
27351997
A Tutorial on Uppaal
G Behrmann, A David, KG Larsen
Formal methods for the design of real-time systems, 200-236, 2004
25262004
Bisimulation through probabilistic testing (preliminary report)
KG Larsen, A Skou
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
17681989
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
12011996
UPPAAL in a nutshell
GL Kim, P Paul, Y Wang
International Journal on Software Tools for Technology Transfer 1 (1-2), 134-152, 1997
6851997
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
6482015
A modal process logic
KG Larsen, B Thomsen
Proceedings Third Annual Symposium on Logic in Computer Science, 203,204,205 …, 1988
6331988
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ...
QEST 6, 125-126, 2006
5672006
Specification and refinement of probabilistic processes
B Jonsson, KG Larsen
Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
4841991
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
4532001
Reactive systems: modelling, specification and verification
L Aceto, A Ingólfsdóttir, KG Larsen, J Srba
cambridge university press, 2007
4432007
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
428*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
4152005
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
3932007
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
3492008
Modal specifications
KG Larsen
Automatic Verification Methods for Finite State Systems: International …, 1990
3431990
Modal I/O automata for interface and product line theories
KG Larsen, U Nyman, A Wąsowski
European Symposium on Programming, 64-79, 2007
3242007
The impressive power of stopwatches
F Cassez, K Larsen
International Conference on Concurrency Theory, 138-152, 2000
3192000
Model-checking for real-time systems
KG Larsen, P Pettersson, W Yi
Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995
2801995
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
2691997
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20