Patrick Maeder
Papers
1
Total Citations
42
H-Index
1
About
Patrick Maeder’s research focuses on the rigorous verification and validation of high-assurance systems, particularly through the lens of safety requirements and traceability. His most-cited work, “Trace Queries for Safety Requirements in High Assurance Systems” (2012), has garnered 42 citations, establishing a foundational approach for linking formal safety specifications to system artifacts. This contribution addresses a critical gap in safety-critical domains such as aerospace and medical devices, where traceability is essential for certification and compliance. Maeder’s methodology enables engineers to systematically query and verify that safety requirements are upheld throughout the development lifecycle, reducing the risk of undetected hazards. His work is notable for bridging formal methods with practical software engineering, offering tools that enhance both reliability and auditability. By advancing trace-based verification, Maeder has provided a scalable solution for complex systems where failure is not an option. His research continues to influence practitioners and researchers seeking to integrate safety assurance into modern development processes, making him a key figure in the field of dependable systems engineering.
Research Focus
Key Achievements
Top Papers
- 1Trace Queries for Safety Requirements in High Assurance Systems42 citations · 2012