M. Rettelbach
Papers
1
Total Citations
26
H-Index
1
About
M. Rettelbach is a researcher whose work bridges the gap between formal verification and performance evaluation, with a primary focus on stochastic process algebras. Their most influential contribution, the 1996 paper "Specifications in stochastic process algebra for a robot control problem," pioneered an integrated approach to specifying dynamic systems that combines qualitative analysis with quantitative performance metrics. This work, which has accumulated 26 citations, introduced a novel stochastic extension of process algebra specifically designed to analyze unreliable systems, enabling researchers to investigate the impact of failures on system behavior. Rettelbach's approach was particularly innovative in its application to robot control problems, demonstrating how formal methods could be extended to handle real-world uncertainty and performance constraints. This foundational work has influenced subsequent research in performance modeling and formal verification, providing a framework that encourages the simultaneous consideration of correctness and efficiency in system design. Rettelbach's contributions remain relevant for researchers working at the intersection of formal methods, performance analysis, and robotics.
Research Focus
Key Achievements
Top Papers
- 1Specifications in stochastic process algebra for a robot control problem26 citations · 1996