Skip to content
Computer Science

Paul Pettersson

Mälardalen University

Back to the university

Research

Specialisations

  • Computational Theory and Mathematics
  • Hardware and Architecture
  • Software

Research topics

  • Formal Methods in Verification
  • Real-Time Systems Scheduling
  • Software Testing and Debugging Techniques
  • Software Reliability and Analysis Research
  • Embedded Systems Design Techniques
Publications
192
Citations
8.4K
h-index
42
Papers, last 3 years
7

Members only · Free to join

Sign in to see the full profile

See their grants, open positions in their group, career history and colleagues — everything you need before you write to them.

  • Research funding
  • Affiliations
  • Similar professors

Free forever No credit card 30-second sign-up

Paul Pettersson — Mälardalen University