| 2026 | DLT | Passive Learning of Symbolic Automata over Monotonic Algebras. | Peter Habermehl, Erwann Loulergue |
| 2025 | CAV | Data-Driven Verification of Procedural Programs with Integer Arrays. | Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl |
| 2024 | CAV | Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. | Peter Habermehl, Vojtech Havlena, Michal Hecko, Luks Holk, Ondrej Lengl |
| 2022 | CAV | Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes. | Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl |
| 2017 | CONCUR | Model-Checking Counting Temporal Logics on Flat Structures. | Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma |
| 2016 | FOSSACS | Regular Transformations of Data Words Through Origin Information. | Antoine Durand-Gasselin, Peter Habermehl |
| 2015 | FOSSACS | On Presburger Arithmetic Extended with Modulo Counting Quantifiers. | Peter Habermehl, Dietrich Kuske |
| 2014 | CONCUR | Ordered Navigation on Multi-attributed Data Words. | Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma |
| 2013 | DLT | A Fresh Approach to Learning Register Automata. | Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege |
| 2012 | STACS | Ehrenfeucht-Frass goes elementarily automatic for structures of bounded degree. | Antoine Durand-Gasselin, Peter Habermehl |
| 2011 | CAV | Forest Automata for Verification of Heap Manipulation. | Peter Habermehl, Luks Holk, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2010 | CONCUR | On the Use of Non-deterministic Automata for Presburger Arithmetic. | Antoine Durand-Gasselin, Peter Habermehl |
| 2010 | ICALP | The Downward-Closure of Petri Net Languages. | Peter Habermehl, Roland Meyer, Harro Wimmel |
| 2009 | CAV | Automatic Verification of Integer Array Programs. | Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecn, Toms Vojnar |
| 2009 | FOSSACS | Realizability of Concurrent Recursive Programs. | Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl |
| 2009 | IJCAI | Angluin-Style Learning of NFA. | Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker |
| 2008 | DLT | Emptiness of Multi-pushdown Automata Is 2ETIME-Complete. | Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl |
| 2008 | FOSSACS | What Else Is Decidable about Integer Arrays?. | Peter Habermehl, Radu Iosif, Toms Vojnar |
| 2008 | LPAR | A Logic of Singly Indexed Arrays. | Peter Habermehl, Radu Iosif, Toms Vojnar |
| 2007 | ATVA | Proving Termination of Tree Manipulating Programs. | Peter Habermehl, Radu Iosif, Adam Rogalewicz, Toms Vojnar |
| 2007 | FCT | Rewriting Systems with Data. | Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu |
| 2006 | CAV | Programs with Lists Are Counter Automata. | Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Toms Vojnar |
| 2006 | SAS | Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. | Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Toms Vojnar |
| 2006 | TACAS | Automata-Based Verification of Programs with Tree Updates. | Peter Habermehl, Radu Iosif, Toms Vojnar |
| 2005 | TACAS | Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. | Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Toms Vojnar |
| 2004 | CAV | Abstract Regular Model Checking. | Ahmed Bouajjani, Peter Habermehl, Toms Vojnar |
| 2004 | ICALP | Counting in Trees for Free. | Helmut Seidl, Thomas Schwentick, Anca Muscholl, Peter Habermehl |
| 2003 | CONCUR | Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. | Ahmed Bouajjani, Peter Habermehl, Toms Vojnar |
| 2001 | MFCS | Automatic Verification of Recursive Procedures with One Integer Parameter. | Ahmed Bouajjani, Peter Habermehl, Richard Mayr |
| 1999 | CAV | Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. | Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech |
| 1997 | ICALP | Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract). | Ahmed Bouajjani, Peter Habermehl |
| 1996 | CONCUR | Constrained Properties, Semilinear Systems, and Petri Nets. | Ahmed Bouajjani, Peter Habermehl |
| 1995 | LICS | On the Verification Problem of Nonregular Properties for Nonregular Processes | Ahmed Bouajjani, Rachid Echahed, Peter Habermehl |
| 1995 | POPL | Verifying Infinite State Processes with Sequential and Parallel Composition. | Ahmed Bouajjani, Rachid Echahed, Peter Habermehl |