Scholar
Paul Pettersson
Google Scholar ID: vyDB-GoAAAAJ
Professor of Real-time Systems, Mälardalen University
Computer Science
Embedded Systems
Real-time Systems
Model-Checking
Model-based Testing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,818
H-index
19
i10-index
36
Publications
20
Co-authors
52
list available
Publications
1 items
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
2025
Cited
0
Co-authors
9 total
Wang Yi
Professor of Embedded Systems, Uppsala University
Kim G. Larsen
Director, Professor Aalborg University
Elena Fersman
VP, Head of Global AI Accelerator at Ericsson, Adjunct Professor at Royal Institute of Technology
Leonid Mokrushin
Principal Researcher at Ericsson AB
Eduard Paul Enoiu
Associate Professor, Mälardalen University
Daniel Sundmark
Mälardalen University
Hans Hansson
Professor of Real-Time Systems, Mälardalen University
Thomas Nolte
Professor of Computer Science, Mälardalen University/Scientific Advisor, ABB Robotics
