Seguir
Kim G. Larsen
Kim G. Larsen
Director, Professor Aalborg University
Email confirmado em cs.aau.dk - Página inicial
Título
Citado por
Citado por
Ano
UPPAAL in a nutshell
KG Larsen, P Pettersson, W Yi
International journal on software tools for technology transfer 1 (1), 134-152, 1997
29401997
A Tutorial on Uppaal
G Behrmann, A David, KG Larsen
Formal methods for the design of real-time systems, 200-236, 2004
22502004
Bisimulation through probabilistic testing
KG Larsen, A Skou
Information and computation 94 (1), 1-28, 1991
15851991
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
10621995
A modal process logic
KG Larsen, B Thomsen
6051988
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ...
Los Alamitos, CA: IEEE Computer Society, 2006
4982006
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
4722015
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
4322001
Specification and refinement of probabilistic processes
B Jonsson, KG Larsen
Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
4301991
Reactive systems: modelling, specification and verification
L Aceto, A Ingólfsdóttir, KG Larsen, J Srba
cambridge university press, 2007
3822007
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
3612005
Modal specifications
KG Larsen
International Conference on Computer Aided Verification, 232-246, 1989
3471989
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
3422007
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
3322008
Modal I/O automata for interface and product line theories
KG Larsen, U Nyman, A Wąsowski
European Symposium on Programming, 64-79, 2007
3122007
The impressive power of stopwatches
F Cassez, K Larsen
International Conference on Concurrency Theory, 138-152, 2000
2942000
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
284*2018
Model-checking for real-time systems
KG Larsen, P Pettersson, W Yi
International Symposium on Fundamentals of Computation Theory, 62-88, 1995
2731995
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
2471997
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
2342005
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20