Michael Dierkes

Publication Activity (10 Years)

Years Active: 1999-2015
Publications (10 Years): 0

Top Topics

Probabilistic Model

Top Venues

Sci. Comput. Program.

Publications

Adrien Champion, Rémi Delmas, Michael Dierkes
Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework. Sci. Comput. Program. 103 (2015)
Michael Dierkes
Combining Test and Proof in MBAT - An Aerospace Case Study. MODELSWARD (2014)
Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. FMICS (2013)
Adrien Champion, Rémi Delmas, Michael Dierkes
Generating Property-Directed Potential Invariants By Backward Analysis FTSCS (2012)
Michael Dierkes
Formal Analysis of a Triplex Sensor Voter in an Industrial Context. FMICS (2011)
Michael Dierkes
An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas. Computational Logic (2000)
Michael Dierkes
Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas. LPAR (1999)