| 2023 | SAC | BlueCov: Integrating Test Coverage and Model Checking with JBMC. | Matthias Gdemann, Peter Schrammel |
| 2018 | DATE | Efficient verification of multi-property designs (The benefit of wrong assumptions). | Eugene Goldberg, Matthias Gdemann, Daniel Kroening, Rajdeep Mukherjee |
| 2015 | FMICS | Formal Verification of Industrial Critical Software. | Marielle Petit-Doche, Nicolas Breton, Romo Courbis, Yoann Fonteneau, Matthias Gdemann |
| 2013 | FASE | VerChor: A Framework for Verifying Choreographies. | Matthias Gdemann, Pascal Poizat, Gwen Salan, Alexandre Dumont |
| 2012 | ATVA | Counterexample Guided Synthesis of Monitors for Realizability Enforcement. | Matthias Gdemann, Gwen Salan, Meriem Ouederni |
| 2011 | PRDC | Tool Supported Model-Based Safety Analysis and Optimization. | Matthias Gdemann, Michael Lipaczewski, Frank Ortmeier |
| 2011 | PRDC | Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. | Matthias Gdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach |
| 2011 | SAFECOMP | Model-Based Multi-objective Safety Optimization. | Matthias Gdemann, Frank Ortmeier |
| 2007 | ISCAS | Modeling of self-adaptive systems with SCADE. | Matthias Gdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif |
| 2007 | SAFECOMP | Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. | Matthias Gdemann, Frank Ortmeier, Wolfgang Reif |
| 2006 | ATC | Formal Modeling and Verification of Systems with Self-x Properties. | Matthias Gdemann, Frank Ortmeier, Wolfgang Reif |
| 2006 | GI | Towards Safe and Secure Organic Computing Applications. | Matthias Gdemann, Florian Nafz, Wolfgang Reif, Hella Seebach |
| 2006 | ISoLA | Safety and Dependability Analysis of Self-Adaptive Systems. | Matthias Gdemann, Frank Ortmeier, Wolfgang Reif |