Michael Dierkes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1999–2014
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | MODELSWARD | Combining Test and Proof in MBAT - An Aerospace Case Study. | Michael Dierkes |
| 2013 | FMICS | Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. | Adrien Champion, Rmi Delmas, Michael Dierkes, Pierre-Loc Garoche, Romain Jobredeaux, Pierre Roux |
| 2011 | FMICS | Formal Analysis of a Triplex Sensor Voter in an Industrial Context. | Michael Dierkes |
| 1999 | LPAR | Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas. | Michael Dierkes |