Hans Hansson
X-Fab (Germany)(DE)Mälardalen University(SE)
Publications by Year
Research Areas
Real-Time Systems Scheduling, Embedded Systems Design Techniques, Formal Methods in Verification, Distributed systems and fault tolerance, Advanced Software Engineering Methodologies
Most-Cited Works
- → A logic for reasoning about time and reliability(1994)1,352 cited
- Time and Probability in Formal Design of Distributed Systems(1994)
- → A calculus for communicating systems with time and probabilities(1990)200 cited
- → Automotive Communications - Past, Current and Future(2006)142 cited
- → Worst-case execution-time analysis for embedded real-time systems(2003)114 cited
- → Reorganization and orientation of regenerating nerve fibres, perineurium, and epineurium in preformed mesothelial tubes – an experimental study on the sciatic nerve of rats(1981)110 cited
- → Improved response-time analysis calculations(2002)110 cited