Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas. - Michael Dierkes (LPAR, 1999)

An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas. - Michael Dierkes (Computational Logic, 2000)

Formal Analysis of a Triplex Sensor Voter in an Industrial Context. - Michael Dierkes (FMICS, 2011)

Generating Property-Directed Potential Invariants By Backward Analysis - Adrien Champion; Rémi Delmas; Michael Dierkes (FTSCS, 2012)

Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. - Adrien Champion; Rémi Delmas; Michael Dierkes; Pierre-Loïc Garoche; Romain Jobredeaux; Pierre Roux 001 (FMICS, 2013)

Combining Test and Proof in MBAT - An Aerospace Case Study. - Michael Dierkes (MODELSWARD, 2014)

Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework. - Adrien Champion; Rémi Delmas; Michael Dierkes (Sci. Comput. Program., 2015)