World's Best Scientists 2026 revealed!
Paul Pettersson

Paul Pettersson

D-Index & Metrics

Computer Science

D-Index
47
Citations
11639
World Ranking
6379
National Ranking
43

Overview

Paul Pettersson is affiliated with Mälardalen University in Sweden. Their research spans multiple fields including Social Sciences, Computer Science, and Engineering. Within these broader areas, their subfields of study encompass Political Science and International Relations, Automotive Engineering, Electrical and Electronic Engineering, Hardware and Architecture, and Software.

The scientist's main topics of work include:

  • European Criminal Justice and Data Protection
  • Vehicle emissions and performance
  • Electric and Hybrid Vehicle Technologies
  • Electric Vehicles and Infrastructure
  • Diabetes Management and Research
  • Diabetes and associated disorders
  • Artificial Intelligence in Healthcare

Paul Pettersson has contributed to book publications with two publishers: Mohr Siebeck eBooks and the Centre National de la Recherche Scientifique. The books include Kollektive Gefährdungslagen im Asylrecht (2023) and Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (2024).

Their recent papers cover a variety of research topics and venues:

  • "Intrinsic differences between backward and forward vehicle simulation models", 2020, IFAC-PapersOnLine
  • "Assisting the implementation of screening for type 1 diabetes by using artificial intelligence on publicly available data", 2024, Diabetologia
  • "Nicht ganz so eindeutig: Der EuGH zu syrischen Wehrdienstentziehern", 2020, intR2Dok (Staatsbibliothek zu Berlin)
  • "Länderleitentscheidungen durch das Bundesverwaltungsgericht", 2022, DOAJ (DOAJ: Directory of Open Access Journals)

Publication venues where Paul Pettersson frequently appears include:

  • IFAC-PapersOnLine
  • Diabetologia
  • intR2Dok (Staatsbibliothek zu Berlin)
  • DOAJ (DOAJ: Directory of Open Access Journals)

Collaboration is evident in their frequent co-authors:

  • Susanne Graf
  • Bernhard Steffen
  • Bengt Jacobson
  • Fredrik Bruzelius
  • Pär Johannesson

Best Publications

  • UPPAAL in a Nutshell

    Kim Guldstrand Larsen;Paul Pettersson;Wang Yi

  • UPPAAL: a Tool Suite for Automatic Verification of Real Time Systems

    J. Bengtsson;Kim Guldstrand Larsen;F. Larsson;P. Pettersson

  • Minimum-Cost Reachability for Priced Timed Automata

    Gerd Behrmann;Ansgar Fehnker;Thomas Hune;Kim Guldstrand Larsen

  • Testing real-time systems using UPPAAL

    Anders Hessel;Kim G. Larsen;Marius Mikucionis;Brian Nielsen

  • Model Checking for Real Time Systems

    Kim Guldstrand Larsen;P. Pettersson;Wang Yi

  • Times: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems

    Tobias Amnell;Elena Fersman;Leonid Mokrushin;Paul Pettersson

  • Automatic verification of real-time communicating systems by constraint-solving

    Wang Yi;Paul Pettersson;Mats Daniels

  • Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction

    K.G. Larsen;F. Larsson;P. Pettersson;Wentao Yi

  • Task automata: Schedulability, decidability and undecidability

    Elena Fersman;Pavel Krcal;Paul Pettersson;Wang Yi

  • Time-Optimal Real-Time Test Case Generation using UPPAAL

    Anders Hessel;Kim Guldstrand Larsen;Brian Nielsen;Paul Pettersson

  • Formal Design and Analysis of a Gear Controller

    Magnus Lindahl;Paul Pettersson;Wang Yi

  • Compositional and symbolic model-checking of real-time systems

    K.G. Larsen;P. Pettersson;Wang Yi

  • Efficient Guiding Towards Cost-Optimality in UPPAAL

    Gerd Behrmann;Ansgar Fehnker;Thomas Hune;Kim G. Larsen

  • As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata

    Kim Guldstrand Larsen;Kim Guldstrand Larsen;Gerd Behrmann;Ed Brinksma;Ansgar Fehnker

  • TIMES - A Tool for Modelling and Implementation of Embedded Systems

    Tobias Amnell;Elena Fersman;Leonid Mokrushin;Paul Pettersson

  • The SAVE approach to component-based development of vehicular systems

    Mikael kerholm;Jan Carlson;Johan Fredriksson;Hans Hansson

  • Verification of an Audio Protocol with Bus Collision Using UPPAAL

    Johan Bengtsson;W. O. David Griffioen;W. O. David Griffioen;Kåre J. Kristoffersen;Kim Guldstrand Larsen

  • Timed Automata with Asynchronous Processes: Schedulability and Decidability

    Elena Fersman;Paul Pettersson;Wang Yi

  • UPPAAL: now, next, and future

    Tobias Amnell;Gerd Behrmann;Johan Bengtsson;Pedro R. D'Argenio

  • UPPAAL Implementation Secrets

    Gerd Behrmann;Johan Bengtsson;Alexandre David;Kim Guldstrand Larsen

  • As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automat

    Kim Guldstrand Larsen;Gerd Behrmann;E. Brinksma;A. Fehnker

Frequent Co-Authors

Kim Guldstrand Larsen
Kim Guldstrand Larsen Aalborg University
Wang Yi
Wang Yi Uppsala University
Alexandre David
Alexandre David Aalborg University
Hans Hansson
Hans Hansson Mälardalen University
Jeff Offutt
Jeff Offutt George Mason University
Ivica Crnkovic
Ivica Crnkovic Chalmers University of Technology
Bengt Jonsson
Bengt Jonsson Uppsala University
Tiziana Margaria
Tiziana Margaria University of Limerick
Stavros Tripakis
Stavros Tripakis Northeastern University
Antoine Girard
Antoine Girard University of Paris-Saclay

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees opens up new possibilities for students interested in Computer Science and related fields. Flexible online programs allow learners to balance studies with work or other commitments, making higher education more accessible.

For those interested in big data, a data science master online can lead to careers in analytics, machine learning, and artificial intelligence. Similarly, professionals who want to move into project leadership can consider a construction management degree to prepare for roles in technology-driven building and infrastructure projects.

Aspiring business leaders might seek out one of the cheapest mba programs online, which can provide management skills relevant across industries, including the fast-growing tech sector. For those looking for the fastest route to career advancement, enrolling in a 1 year masters degree online can provide a recognized credential in less time.

Whichever path you choose, online degrees offer diverse career pathways and enable students to gain in-demand skills from anywhere in the world.

Best Scientists Citing Paul Pettersson

Trending Scientists

Recently Published Articles