Scholar
Hans Hansson
Google Scholar ID: 4Fs40ysAAAAJ
Professor of Real-Time Systems, Mälardalen University
Real-Time systems
Real-Time and Embedded Systems
Formal verification
Safety-critical systems
Dependability
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,943
H-index
22
i10-index
40
Publications
20
Co-authors
58
list available
Publications
2 items
Formalizing Operational Design Domains with the Pkl Language
2025
Cited
0
Methodology for Test Case Allocation based on a Formalized ODD
2025
Cited
0
Co-authors
7 total
Sasikumar Punnekkat
Professor, Mälardalen University, Sweden
Thomas Nolte
Professor of Computer Science, Mälardalen University/Scientific Advisor, ABB Robotics
Bengt Jonsson
Professor of Computer Systems, Uppsala University
Sigrid Eldh
Adj. Prof. (Carleton Uni.) PhD. Researcher at Ericsson AB, Snr Lecturer at Mälardalen University
Daniel Sundmark
Mälardalen University
Paul Pettersson
Professor of Real-time Systems, Mälardalen University
Lucia Lo Bello
Full Professor, University of Catania
