← Back to directory
Hans Hansson
Researcher Next ID · RN-000918
Professor · Computer Science
Erfurt, Germany
Not currently recruitingFunding unknown
- Works count
- 229
- Citation count
- 5,257
- H-index
- 34
- i10-index
- 87
About
229 publications and 5,257 citations recorded on OpenAlex.
Research interests
Computer Science
Real-Time Systems Scheduling
Embedded Systems Design Techniques
Formal Methods in Verification
Distributed systems and fault tolerance
Advanced Software Engineering Methodologies
Publications
Automotive Communications - Past, Current and Future
Journal · 2006 · 10.1109/etfa.2005.1612631
Worst-case execution-time analysis for embedded real-time systems
International Journal on Software Tools for Technology Transfer · 2003 · 10.1007/s100090100054
A logic for reasoning about time and reliability
Formal Aspects of Computing · 1994 · 10.1007/bf01211866
Time and Probability in Formal Design of Distributed Systems
Medical Entomology and Zoology · 1994
A calculus for communicating systems with time and probabilities
Journal · 1990 · 10.1109/real.1990.128759
Current projects
No projects listed.