| 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 | 312 | 2008 |
| Time-optimal real-time test case generation using UPPAAL A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou International Workshop on Formal Approaches to Software Testing, 114-130, 2003 | 144 | 2003 |
| Specifying and generating test cases using observer automata J Blom, A Hessel, B Jonsson, P Pettersson International Workshop on Formal Approaches to Software Testing, 125-139, 2004 | 93 | 2004 |
| CoVer-a real-time test case generation tool A Hessel, P Pettersson 19th IFIP International Conference on Testing of Communicating Systems and …, 2007 | 53* | 2007 |
| A global algorithm for model-based test suite generation A Hessel, P Pettersson Electronic Notes in Theoretical Computer Science 190 (2), 47-59, 2007 | 50 | 2007 |
| Model-based testing of a wap gateway: an industrial case-study A Hessel, P Pettersson International Workshop on Parallel and Distributed Methods in Verification …, 2006 | 43 | 2006 |
| A test case generation algorithm for real-time systems A Hessel, P Pettersson Fourth International Conference onQuality Software, 2004. QSIC 2004 …, 2004 | 43 | 2004 |
| Time-optimal test cases for real-time systems A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou International Conference on Formal Modeling and Analysis of Timed Systems …, 2003 | 38 | 2003 |
| Model-based test case generation for real-time systems A Hessel Acta Universitatis Upsaliensis, 2007 | 13 | 2007 |
| Model-based test case selection and generation for real-time systems A Hessel Uppsala University, 2006 | 9 | 2006 |
| Timing analysis of an SDL subset in Uppaal A Hessel Master thesis, Department of Information Technology, Uppsala University …, 2002 | 3 | 2002 |
| Online testing of real-time systems using uppaal A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou INTERNATIONAL WORKSHOP ON FORMAL APPROACHES TO TESTING OF SOFTWARE. CO …, 2004 | 2 | 2004 |
| Project Avatar—Developing a Distributed Mobile Phone Game M Andreasson, A Bylund, S Dargahi, D Johansson, M Larsson, ... | 1 | 2006 |
| Monitoring and testing with case observer automata: An industry report A Hessel 2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011 | | 2011 |
| Developing A-GPS as a Student Project B Bahar, A Bolcsfoldi, J Falkevik, R Jakobsen, K Kobosko, JKA Harju, ... | | 2006 |
| Uppsala Underdogs—A Robot Soccer Project M Ahlford, M Andersson, H Blomquist, M Ekström, L Ericsson, J Gumbel, ... | | 2006 |
| Specifying Test Cases Using Observer Automata J Blom, A Hessel, B Jonsson, P Pettersson Nordic Workshop on Programming Theory, 55, 2004 | | 2004 |
Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdh.se
