Paul Pettersson

Paul Pettersson

Mälardalen University - Eskilstuna / Sweden
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 1510118
Mälardalens högskola
person_outline Paul Pettersson's MOST POPULAR ARTICLES
1-) UPPAAL in a nutshellKG Larsen, P Pettersson, W YiInternational journal on software tools for technology transfer 1 (1), 134-152, 199729641997
2-) UPPAAL—a tool suite for automatic verification of real-time systemsJ Bengtsson, K Larsen, F Larsson, P Pettersson, W YiInternational hybrid systems workshop, 232-243, 199510841995
3-) UPPAAL 4.0G Behrmann, A David, KG Larsen, J Hakansson, P Petterson, W Yi, ...Quantitative Evaluation of Systems, 2006. QEST 2006. Third International …, 20065342006
4-) Minimum-cost reachability for priced time automataG Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ...Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 20014502001
5-) Testing real-time systems using UPPAALA Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A SkouFormal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 20083482008