Michaela Huhn

Papers

Total Citations

H-Index

About

Dr. Michaela Huhn is a leading researcher in formal verification and dependable systems engineering, with a particular focus on the intersection of model checking and complex cyber-physical systems. Her seminal work, "Vooduu: Verification of Object-Oriented Designs Using UPPAAL" (2004, 28 citations), pioneered the integration of object-oriented design principles with real-time system verification, providing a groundbreaking methodology for ensuring correctness in software-intensive systems. This contribution has been widely recognized as a foundational approach for bridging the gap between high-level software design and formal verification tools. Dr. Huhn has also made significant contributions to self-managing control architectures, as demonstrated in her work on parallel kinematic robots (2008, 7 citations), where she addressed critical challenges in maintainability, extendibility, and reusability for reconfigurable robotic systems. Her research has been instrumental in advancing the reliability and adaptability of autonomous systems, earning her recognition as a key figure in dependable computing. With a career spanning both theoretical foundations and practical applications, Dr. Huhn continues to influence the development of safe and resilient cyber-physical systems.