Paul Pettersson

Cited by

	All	Since 2015
Citations	10987	3024
h-index	47	26
i10-index	89	59

680

340

170

510

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202038 83 107 177 227 217 326 415 457 413 512 526 578 652 540 657 579 654 663 648 539 578 569 457 232

Co-authors

Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Cristina SeceleanuAssociate Professor, Mälardalen UniversityVerified email at mdh.se
Alexandre DavidSenior Software Engineer, Google Inc.Verified email at cs.aau.dk
Anders HesselHead of R&D, Process Automation, Xware AB, a part of WiseTech GlobalVerified email at hessel.nu
Elena FersmanResearch Director at Ericsson, Adjunct Professor at Royal Institute of Technology, StockholmVerified email at ericsson.com
Leonid MokrushinPrincipal Researcher at Ericsson ABVerified email at it.uu.se
A FehnkerUniversity of TwenteVerified email at utwente.nl
Jan CarlsonProfessor, Mälardalen University, SwedenVerified email at mdh.se
Eduard EnoiuMälardalen UniversityVerified email at mdh.se
Hans HanssonProfessor of Real-Time Systems, Mälardalen UniversityVerified email at mdh.se
Kristina LundqvistProfessor of Dependable Software Engineering, Mälardalen UniversityVerified email at mdh.se
Daniel SundmarkProfessor, Mälardalen UniversityVerified email at mdh.se
Judi RomijnSabbatical, career switchVerified email at xs4all.nl
Brian NielsenAssociate Professor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Arne SkouAssociate Professor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Thomas NolteProfessor of Computer Science, Mälardalen University/Scientific Advisor, ABB RoboticsVerified email at mdh.se
Raluca MarinescuMälardalen UniversityVerified email at mdh.se
Aneta Vulgarakis FeljanResearch Leader in Artificial Intelligence at Ericsson ABVerified email at ericsson.com
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl

Paul Pettersson

Professor of Real-time Systems, Mälardalen University, Sweden

Verified email at mdh.se - Homepage

Embedded Systems Real-time Systems Model-Checking Software Testing Timed Automata


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
UPPAAL in a nutshell KG Larsen, P Pettersson, W Yi International journal on software tools for technology transfer 1 (1-2), 134-152, 1997	2624	1997
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	926	1995
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	430	2006
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	407	2001
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	293	2008
Model-checking for real-time systems KG Larsen, P Pettersson, W Yi International Symposium on Fundamentals of Computation Theory, 62-88, 1995	261	1995
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	232	2003
Automatic verification of real-time communicating systems by constraint-solving W Yi, P Pettersson, M Daniels Formal Description Techniques VII, 243-258, 1995	230	1995
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	203	1997
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	187	1998
Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007	186	2007
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	185	1995
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	177	2001
Uppaal2k P Pettersson, KG Larsen Bulletin of the European Association for Theoretical Computer Science 70 (40 …, 2000	171	2000
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	164	2002
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	161*	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	156	2007
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	156	2001
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	154	1996
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	148	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors