| 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 | 329 | 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 | 148 | 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 | 97 | 2004 |
| A global algorithm for model-based test suite generation A Hessel, P Pettersson Electronic Notes in Theoretical Computer Science 190 (2), 47-59, 2007 | 54 | 2007 |
| 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 |
| 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 | 45 | 2006 |
| A test case generation algorithm for real-time systems A Hessel, P Pettersson Fourth International Conference onQuality Software, 2004. QSIC 2004 …, 2004 | 44 | 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 | 40 | 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 | 11 | 2006 |
| Timing analysis of an SDL subset in Uppaal A Hessel Master Thesis, Uppsala University, 2002 | 4 | 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 |
| Test Development with Model Checking Techniques HS Hong, H Ural, J Blom, A Hessel, B Jonsson, P Pettersson Formal Approaches to Software Testing:... International Workshop on Formal …, 2004 | | 2004 |
Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdh.se
