Следене
Kim G. Larsen
Kim G. Larsen
Director, Professor Aalborg University
Потвърден имейл адрес: cs.aau.dk - Начална страница
Заглавие
Позовавания
Позовавания
Година
UPPAAL in a nutshell
KG Larsen, P Pettersson, W Yi
International journal on software tools for technology transfer 1, 134-152, 1997
30241997
A Tutorial on Uppaal
G Behrmann, A David, KG Larsen
Formal methods for the design of real-time systems, 200-236, 2004
24042004
Bisimulation through probabilistic testing (preliminary report)
KG Larsen, A Skou
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
16791989
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
11611996
A modal process logic
KG Larsen, B Thomsen
Proceedings Third Annual Symposium on Logic in Computer Science, 203,204,205 …, 1988
6111988
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
5722015
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ...
Los Alamitos, CA: IEEE Computer Society, 2006
5402006
Specification and refinement of probabilistic processes
B Jonsson, KG Larsen
Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
4621991
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
4452001
Reactive systems: modelling, specification and verification
L Aceto, A Ingólfsdóttir, KG Larsen, J Srba
cambridge university press, 2007
4162007
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
3952005
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
388*2018
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
3792007
Modal specifications
KG Larsen
Automatic Verification Methods for Finite State Systems: International …, 1990
3441990
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
3402008
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
3192007
The impressive power of stopwatches
F Cassez, K Larsen
International Conference on Concurrency Theory, 138-152, 2000
3132000
Model-checking for real-time systems
KG Larsen, P Pettersson, W Yi
Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995
2841995
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
2561997
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
2492008
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20