Paul Pettersson - Google Scholar Citations

Cited by

	All	Since 2015
Citations	10794	2741
h-index	45	26
i10-index	86	52

660

330

165

495

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202041 83 105 182 232 234 326 425 473 424 511 550 582 660 549 658 581 655 653 644 542 572 543 408 31

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 MokrushinSenior 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 Paul 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 RomijnMovares NLVerified 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 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	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	2150	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	862	1995
Wang Yi KG Larsen, P Pettersson Uppaal in a nutshell. STTT 1 (1-2), 134-152, 1997	672	1997
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	404	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	391	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	272	2008
Model-checking for real-time systems KG Larsen, P Pettersson, W Yi International Symposium on Fundamentals of Computation Theory, 62-88, 1995	257	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	225	2003
Automatic verification of real-time communicating systems by constraint-solving W Yi, P Pettersson, M Daniels Formal Description Techniques VII, 243-258, 1995	222	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	199	1997
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	184	1995
Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007	182	2007
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	176	1998
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	174	2001
Uppaal2k P Pettersson, KG Larsen Bulletin of the European Association for Theoretical Computer Science 70 (40 …, 2000	169	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	158	2002
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	155	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	154	2007
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	151*	1996
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	148	2001

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