D
Detlef Schwier
Researcher at University of Ulm
Publications - 6
Citations - 138
Detlef Schwier is an academic researcher from University of Ulm. The author has contributed to research in topics: Formal methods & Formal verification. The author has an hindex of 5, co-authored 6 publications receiving 136 citations.
Papers
More filters
Proceedings ArticleDOI
Formal verification for time-triggered clock synchronization
TL;DR: The paper reports on the formal analysis of the clock synchronization service provided as an integral feature by the Time-Triggered Protocol, a communication protocol particularly suitable for safety-critical control applications, such as in automotive "by-wire" systems.
Book ChapterDOI
Mechanical Verification of Clock Synchronization Algorithms
TL;DR: A formal generic theory of clock synchronization algorithms is developed which extracts the commonalities of specific algorithms and their correctness arguments, and generalizes previous work by Shankar and Miner by covering non-averaging adjustment functions, in addition to averaging algorithms.
Comparison of Object-Oriented Formal Methods
Nicolas Guelfi,Olivier Biberstein,Didier Buchs,E. Canver,Marie-Claude Gaudel,F. von Henke,Detlef Schwier +6 more
Book ChapterDOI
Construction and Deduction Methods for the Formal Development of Software
TL;DR: An approach towards a framework based on the type theory ECC (Extended Calculus of Constructions) in which specifications, programs and operators for modular development by stepwise refinement can be formally described and reasoned about.
Coordinated Atomic Actions: Formal Model, Case Study and System Implementation
Brian Randell,Alexander Romanovsky,Robert J. Stroud,Jie Xu,Avelino F. Zorzo,Detlef Schwier,F. von Henke +6 more
TL;DR: This paper first presents a formal description of the CA action concept based on a linear-time temporal logic system and then demonstrates the practical utility of CA actions through an industrial safety-critical application - the Fault-Tolerant Production Cell case study.