| 2025 | SANER | Recovering Test-To-Code Trace Links via Program Mutation. | Kerstin Jacob, Gerald Lttgen |
| 2025 | SEFM | On the Generation of Invalid Objects for Inferring More Precise Class Invariants. | Jan H. Boockmann, Kerstin Jacob, Gerald Lttgen |
| 2024 | FASE | Comprehending Object State via Dynamic Class Invariant Learning. | Jan H. Boockmann, Gerald Lttgen |
| 2022 | AAAI | Reinforcement Learning With Imperfect Safety Constraints. | Jin Woo Ro, Gerald Lttgen, Diedrich Wolter |
| 2022 | VISSOFT | Heap Patterns for Memory Graph Visualization. | Jan H. Boockmann, Gerald Lttgen |
| 2020 | LPAR | Learning Data Structure Shapes from Memory Graphs. | Jan H. Boockmann, Gerald Lttgen |
| 2018 | FMICS | A Note on Refinement in Hierarchical Transition Systems. | Gerald Lttgen |
| 2018 | ISoLA | Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. | Jan H. Boockmann, Gerald Lttgen, Jan Tobias Mhlberg |
| 2017 | RTNS | Comparing trace recordings of automotive real-time software. | Andreas Sailer, Michael Deubzer, Gerald Lttgen, Jrgen Mottok |
| 2016 | CCS | POSTER: Identifying Dynamic Data Structures in Malware. | Thomas Rupprecht, Xi Chen, David H. White, Jan Tobias Mhlberg, Herbert Bos, Gerald Lttgen |
| 2016 | IFM | A Generalised Theory of Interface Automata, Component Compatibility and Error. | Sascha Fendrich, Gerald Lttgen |
| 2016 | ISSTA | DSI: an evidence-based approach to identify dynamic data structures in C programs. | David H. White, Thomas Rupprecht, Gerald Lttgen |
| 2015 | SEFM | Learning Assertions to Verify Linked-List Programs. | Jan Tobias Mhlberg, David H. White, Mike Dodds, Gerald Lttgen, Frank Piessens |
| 2015 | SOFSEM | Nondeterministic Modal Interfaces. | Ferenc Bujtor, Sascha Fendrich, Gerald Lttgen, Walter Vogler |
| 2013 | TACAS | Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory. | David H. White, Gerald Lttgen |
| 2009 | SOFSEM | Safe Reasoning with Logic LTS. | Gerald Lttgen, Walter Vogler |
| 2009 | VMCAI | Model-Checking the Linux Virtual File System. | Andy Galloway, Gerald Lttgen, Jan Tobias Mhlberg, Radu Siminiceanu |
| 2007 | CAV | Parallelising Symbolic State-Space Generators. | Jonathan Ezekiel, Gerald Lttgen, Gianfranco Ciardo |
| 2007 | CONCUR | Is Observational Congruence Axiomatisable in Equational Horn Logic? | Michael Mendler, Gerald Lttgen |
| 2007 | ICALP | Ready Simulation for Concurrency: It's Logical! | Gerald Lttgen, Walter Vogler |
| 2007 | TACAS | Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. | Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lttgen |
| 2006 | FMICS | Can Saturation Be Parallelised? | Jonathan Ezekiel, Gerald Lttgen, Radu Siminiceanu |
| 2006 | FMICS | Blasting Linux Code. | Jan Tobias Mhlberg, Gerald Lttgen |
| 2006 | FOSSACS | Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. | Gerald Lttgen, Walter Vogler |
| 2005 | FOSSACS | Bisimulation on Speed: A Unified Approach. | Gerald Lttgen, Walter Vogler |
| 2004 | FOSSACS | Bisimulation on Speed: Lower Time Bounds. | Gerald Lttgen, Walter Vogler |
| 2003 | CONCUR | A Compositional Semantic Theory for Synchronous Component-based Design. | Barry Norton, Gerald Lttgen, Michael Mendler |
| 2002 | CONCUR | Axiomatizing an Algebra of Step Reactions for Synchronous Languages. | Gerald Lttgen, Michael Mendler |
| 2001 | CONCUR | A Faster-than Relation for Asynchronous Processes. | Gerald Lttgen, Walter Vogler |
| 2001 | GI | Statecharts: From Visual Syntax to Model-Theoretic Semantics. | Gerald Lttgen, Michael Mendler |
| 2001 | TACAS | Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. | Gianfranco Ciardo, Gerald Lttgen, Radu Siminiceanu |
| 2000 | ICALP | Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. | Gerald Lttgen, Michael Mendler |
| 1999 | CONCUR | Statecharts Via Process Algebra. | Gerald Lttgen, Michael von der Beeck, Rance Cleaveland |
| 1997 | CONCUR | An Algebraic Theory of Multiple Clocks. | Rance Cleaveland, Gerald Lttgen, Michael Mendler |
| 1997 | FORTE | Dynamic Priorities for Modeling Real-Time. | Girish Bhat, Rance Cleaveland, Gerald Lttgen |
| 1996 | CC | Non-monotone Fixpoint Iterations to Resolve Second Order Effects. | Alfons Geser, Jens Knoop, Gerald Lttgen, Oliver Rthing, Bernhard Steffen |
| 1996 | CONCUR | A Process Algebra with Distributed Priorities. | Rance Cleaveland, Gerald Lttgen, V. Natarajan |
| 1996 | TACAS | Priorities for Modeling and Verifying Distributed Systems. | Rance Cleaveland, Gerald Lttgen, V. Natarajan, Steve Sims |