دنبال کردن
Paul Pettersson
Paul Pettersson
Professor of Real-time Systems, Mälardalen University
ایمیل تأیید شده در mdh.se - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
UPPAAL in a nutshell‏
KG Larsen, P Pettersson, W Yi‏
International journal on software tools for technology transfer 1, 134-152, 1997‏
3158*1997
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 4.0‏
G Behrmann, A David, KG Larsen, J Hakansson, P Petterson, W Yi, ...‏
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International …, 2006‏
5672006
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
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
Model-checking for real-time systems‏
KG Larsen, P Pettersson, W Yi‏
Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995‏
2801995
TIMES: a tool for schedulability analysis and code generation of real-time systems‏
T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi‏
Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004‏
2692004
Automatic verification of real-time communicating systems by constraint-solving‏
W Yi, P Pettersson, M Daniels‏
Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995‏
2651995
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‏
2381998
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‏
2241997
Task automata: Schedulability, decidability and undecidability‏
E Fersman, P Krcal, P Pettersson, W Yi‏
Information and Computation 205 (8), 1149-1172, 2007‏
2102007
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‏
1961995
As cheap as possible: effcient cost-optimal reachability for priced timed automata‏
K Larsen, G Behrmann, E Brinksma, A Fehnker, T Hune, P Pettersson, ...‏
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001‏
1922001
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‏
1832001
TIMES b—A tool for modelling and implementation of embedded systems‏
T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi‏
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002‏
1782002
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‏
170*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‏
1692007
Uppaal2k‏
P Pettersson, KG Larsen‏
Bulletin of the european association for theoretical computer science 70 (40 …, 2000‏
1682000
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‏
1661996
UPPAAL-now, next, and future‏
T Amnell, G Behrmann, J Bengtsson, PR D’argenio, A David, A Fehnker, ...‏
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP …, 2001‏
1572001
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20