Paul Pettersson
Paul Pettersson publishes mostly in Computational Theory and Mathematics, Software and Hardware and Architecture, on topics such as Formal Methods in Verification, Real-Time Systems Scheduling and Software Testing and Debugging Techniques.
- World rank
- #233,723 of 7,710,434 ranked researchers
- Rank in Sweden
- #2,597 of 71,437
- Works
- 201
- Citations
- 8.4k
- Citations per work
- 41.6
What does Paul Pettersson research?
Paul Pettersson's work is mostly in Computer Science (82%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences16481.7%
- Computer Science16481.7%
- Everything else3718.3%
- 1Computational Theory and Mathematics25% of their works
- 2Software22% of their works
- 3Hardware and Architecture18% of their works
- 4Artificial Intelligence10% of their works
- 5Computer Networks and Communications4% of their works
- 6Information Systems3% of their works
Research topics
Which keywords describe Paul Pettersson's research?
The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Embedded Systems, Hard Real-Time Systems, Scheduling Algorithms, Automated Testing, Software Fault Localization and Architecture-Based Approach.
- Deadlock Prevention
- Autonomic Computing
- Domain-Specific Languages
- High-Level Synthesis
- Architecture-Based Approach
- Automated Testing
- Hard Real-Time Systems
- Symbolic Model Checker
- Model Checking
- Embedded Systems
- Scheduling Algorithms
- Software Fault Localization
- Software Reliability Modeling
- Reconfigurable Computing
- Model-Driven Engineering
- Self-Adaptive Systems
- Petri Nets
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 17 words, with their numbers
- Model Checking1181 topic
- Symbolic Model Checker1181 topic
- Embedded Systems952 topics
- Hard Real-Time Systems571 topic
- Scheduling Algorithms571 topic
- Automated Testing481 topic
- Software Fault Localization481 topic
- Architecture-Based Approach421 topic
- Software Reliability Modeling421 topic
- High-Level Synthesis381 topic
- Reconfigurable Computing381 topic
- Domain-Specific Languages301 topic
- Model-Driven Engineering301 topic
- Autonomic Computing261 topic
- Self-Adaptive Systems261 topic
- Deadlock Prevention121 topic
- Petri Nets121 topic
Where does Paul Pettersson work?
Paul Pettersson's main affiliation in the publication record is Mälardalen University, Sweden.
How many publications and citations does Paul Pettersson have?
OpenAlex counts 201 works and 8,353 citations for Paul Pettersson, an h-index of 42, ranking #233,723 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Paul Pettersson. Posts are plain text and can be reported.