| 2020 | ESORICS | Integrated Analysis of Safety and Security Hazards in Automotive Systems. | Rhea C. Rinaldo, Dieter Hutter |
| 2016 | GI | Beherrschbarkeit komplexer Firmeninfrastrukturen durch eigenschaftsbasierte Sicherheit. | Helmar Hutschenreuter, Dieter Hutter |
| 2015 | LOPSTR | SHIP - A Logic-Based Language and Tool to Program Smart Environments. | Serge Autexier, Dieter Hutter |
| 2014 | SEC | Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS. | Thomas Bauereiss, Dieter Hutter |
| 2012 | ISoLA | SmartTies - Management of Safety-Critical Developments. | Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lth, Christian Maeder |
| 2007 | ESORICS | On the Automated Correction of Security Protocols Susceptible to a Replay Attack. | Juan Carlos Lpez Pimentel, Ral Monroy, Dieter Hutter |
| 2005 | FC | Audit File Reduction Using N-Gram Models. | Fernando Godnez, Dieter Hutter, Ral Monroy |
| 2004 | ESORICS | Possibilistic Information Flow Control in the Presence of Encrypted Communication. | Dieter Hutter, Axel Schairer |
| 2004 | WISA | Service Discrimination and Audit File Reduction for Effective Intrusion Detection. | Fernando Godnez, Dieter Hutter, Ral Monroy |
| 2002 | LPAR | Maintenance of Formal Software Developments by Stratified Verification. | Serge Autexier, Dieter Hutter |
| 2001 | FASE | Extending Development Graphs with Hiding. | Till Mossakowski, Serge Autexier, Dieter Hutter |
| 2000 | FlAIRS | Formal Software Development in the Verification Support Environment (VSE). | Dieter Hutter, Georg Rock, Jrg H. Siekmann, Werner Stephan, Roland Vogt |
| 1999 | CADE | System Description: inka 5.0 - A Logic Voyager. | Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer |
| 1999 | CADE | The Design of the CADE-16 Inductive Theorem Prover Contest. | Dieter Hutter, Alan Bundy |
| 1998 | FM | VSE: Controlling the Complexity in Formal Software Developments. | Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1998 | KI | Deductive Verification of Invariants of State-Transition Systems. | Dieter Hutter |
| 1997 | CADE | A Colored Version of the Lambda-Calculus. | Dieter Hutter, Michael Kohlhase |
| 1996 | CADE | INKA: The Next Generation. | Dieter Hutter, Claus Sengler |
| 1996 | FM | Deduction in the Verification Support Environment (VSE). | Dieter Hutter, Bruno Langenstein, Claus Sengler, Jrg H. Siekmann, Werner Stephan, Andreas Wolpers |
| 1996 | KI | Using Rippling for Equational Reasoning. | Dieter Hutter |
| 1994 | CADE | Synthesis of Induction Orderings for Existence Proofs. | Dieter Hutter |
| 1992 | ECAI | Adapting a Resolution Calculus for Inductive Proofs. | Dieter Hutter |
| 1990 | CADE | Guiding Induction Proofs. | Dieter Hutter |
| 1986 | CADE | The Karlsruhe Induction Theorem Proving System. | Susanne Biundo, Birgit Hummel, Dieter Hutter, Christoph Walther |
| 1986 | KI | Using Resolution and Paramodulation for Induction Proofs. | Dieter Hutter |