Michael Dierkes

According to our database, Michael Dierkes authored at least 7 papers between 1999 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

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

2014

Combining Test and Proof in MBAT - An Aerospace Case Study.

Michael Dierkes

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2013

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2012

Generating Property-Directed Potential Invariants By Backward Analysis

Adrien Champion, Rémi Delmas, Michael Dierkes

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

2011

Formal Analysis of a Triplex Sensor Voter in an Industrial Context.

Michael Dierkes

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2000

An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas.

Michael Dierkes

Proceedings of the Computational Logic, 2000

1999

Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas.

Michael Dierkes

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999