Dietmar Schreiner
Papers
1
Total Citations
9
H-Index
1
About
Dietmar Schreiner is a researcher whose work lies at the intersection of formal methods, verification, and validation—critical disciplines for ensuring the reliability and safety of complex software systems. His contributions are particularly significant in the context of embedded and cyber-physical systems, where rigorous analysis is essential. His most-cited paper, "Leveraging Applications of Formal Methods, Verification, and Validation" (2012), has garnered 9 citations, reflecting its role in advancing the practical application of formal techniques. Schreiner’s research emphasizes bridging the gap between theoretical formalisms and real-world engineering challenges, helping to make verification tools more accessible and effective for industry use. His work has implications for safety-critical domains such as automotive and aerospace systems, where formal methods can prevent costly and dangerous errors. By focusing on the leverage of these methods, Schreiner has contributed to a growing body of knowledge that supports the development of trustworthy software, making his research a valuable resource for students and practitioners seeking to integrate formal verification into their workflows.
Research Focus
Key Achievements
Top Papers
- 1Leveraging Applications of Formal Methods, Verification, and Validation9 citations · 2012