Paul Pettersson
Paul Pettersson
Professor of Real-time Systems, Mälardalen University, Sweden
Dirección de correo verificada de mdh.se - Página principal
Título
Citado por
Citado por
Año
UPPAAL in a nutshell
KG Larsen, P Pettersson, W Yi
International journal on software tools for technology transfer 1 (1-2), 134-152, 1997
25991997
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
9171995
UPPAAL 4.0
G Behrmann, A David, KG Larsen, J Hakansson, P Petterson, W Yi, ...
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International …, 2006
4262006
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
4072001
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
2902008
Model-checking for real-time systems
KG Larsen, P Pettersson, W Yi
International Symposium on Fundamentals of Computation Theory, 62-88, 1995
2611995
TIMES: a tool for schedulability analysis and code generation of real-time systems
T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi
International Conference on Formal Modeling and Analysis of Timed Systems, 60-72, 2003
2312003
Automatic verification of real-time communicating systems by constraint-solving
W Yi, P Pettersson, M Daniels
Formal Description Techniques VII, 243-258, 1995
2281995
Efficient Verification of Real-Time Systems: Compact Data Structures and State-Space Reduction
F LARSSON, P PETTERSSON, W YI
Real-Time Systems 1, 28, 1997
2021997
Formal design and analysis of a gear controller
M Lindahl, P Pettersson, W Yi
International Conference on Tools and Algorithms for the Construction and …, 1998
1861998
Compositional and symbolic model-checking of real-time systems
KG Larsen, P Pettersson, W Yi
Proceedings 16th IEEE Real-Time Systems Symposium, 76-87, 1995
1851995
Task automata: Schedulability, decidability and undecidability
E Fersman, P Krcal, P Pettersson, W Yi
Information and Computation 205 (8), 1149-1172, 2007
1832007
Efficient guiding towards cost-optimality in UPPAAL
G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn
Tools and Algorithms for the Construction and Analysis of Systems, 174-188, 2001
1772001
Uppaal2k
P Pettersson, KG Larsen
Bulletin of the European Association for Theoretical Computer Science 70 (40 …, 2000
1712000
TIMES b—A tool for modelling and implementation of embedded systems
T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi
International Conference on Tools and Algorithms for the Construction and …, 2002
1622002
UPPAAL in 1995
J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi
Tools and Algorithms for the Construction and Analysis of Systems, 431-434, 1996
160*1996
The SAVE approach to component-based development of vehicular systems
M Åkerholm, J Carlson, J Fredriksson, H Hansson, J Håkansson, A Möller, ...
Journal of Systems and Software 80 (5), 655-667, 2007
1562007
As cheap as possible: effcient cost-optimal reachability for priced timed automata
K Larsen, G Behrmann, E Brinksma, A Fehnker, T Hune, P Pettersson, ...
International Conference on Computer Aided Verification, 493-505, 2001
1552001
Verification of an Audio Protocol with Bus Collision Using UPPAAL
J Bengtsson, WOD Griffioen, KJ Kristoffersen, KG Larsen, F Larsson, ...
Computer Aided Verification 1996, 1996
1551996
New generation of uppaal
J Bengtsson, KG Larsen, F Larsson, P Pettersson, W Yi, C Weise
Int. Workshop on Software Tools for Technology Transfer, 1998
1471998
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20