Non-monotone Fixpoint Iterations to Resolve Second Order Effects. - Alfons Geser; Jens Knoop; Gerald Lüttgen; Oliver Rüthing; Bernhard Steffen (CC, 1996)

Priorities for Modeling and Verifying Distributed Systems. - Rance Cleaveland; Gerald Lüttgen; V. Natarajan 001; Steve Sims (TACAS, 1996)

Compositional Minimisation of Finite State Systems Using Interface Specifications. - Susanne Graf; Bernhard Steffen; Gerald Lüttgen (Formal Aspects Comput., 1996)

Modeling and Verifying Distributed Systems Using Priorities: A Case Study. - Rance Cleaveland; V. Natarajan 001; Steve Sims; Gerald Lüttgen (Softw. Concepts Tools, 1996)

An Algebraic Theory of Multiple Clocks. - Rance Cleaveland; Gerald Lüttgen; Michael Mendler (CONCUR, 1997)

Dynamic Priorities for Modeling Real-Time. - Girish Bhat; Rance Cleaveland; Gerald Lüttgen (FORTE, 1997)

Pre-emptive modeling of concurrent and distributed systems. - Gerald Lüttgen (Shaker, 1998)

A Process Algebra with Distributed Priorities. - Rance Cleaveland; Gerald Lüttgen; V. Natarajan 001 (Theor. Comput. Sci., 1998)

Statecharts Via Process Algebra. - Gerald Lüttgen; Michael von der Beeck; Rance Cleaveland (CONCUR, 1999)

Analyzing Mode Confusion via Model Checking. - Gerald Lüttgen; Victor Carreño (SPIN, 1999)

A Practical Approach to Implementing Real-Time Semantics. - Girish Bhat; Rance Cleaveland; Gerald Lüttgen (Ann. Softw. Eng., 1999)

Efficient Symbolic State-Space Construction for Asynchronous Systems. - Gianfranco Ciardo; Gerald Lüttgen; Radu Siminiceanu (ICATPN, 2000)

A Semantic Theory for Heterogeneous System Design. - Rance Cleaveland; Gerald Lüttgen (FSTTCS, 2000)

Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. - Gerald Lüttgen; Michael Mendler (ICALP, 2000)

A compositional approach to statecharts semantics. - Gerald Lüttgen; Michael von der Beeck; Rance Cleaveland (SIGSOFT FSE, 2000)

Priority in Process Algebra. - Rance Cleaveland; Gerald Lüttgen; V. Natarajan 001 (Handbook of Process Algebra, 2001)

A Faster-than Relation for Asynchronous Processes. - Gerald Lüttgen; Walter Vogler (CONCUR, 2001)

Statecharts: From Visual Syntax to Model-Theoretic Semantics. - Gerald Lüttgen; Michael Mendler (GI Jahrestagung (1), 2001)

Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. - Gianfranco Ciardo; Gerald Lüttgen; Radu Siminiceanu (TACAS, 2001)

Axiomatizing an Algebra of Step Reactions for Synchronous Languages. - Gerald Lüttgen; Michael Mendler (CONCUR, 2002)

A Logical Process Calculus. - Rance Cleaveland; Gerald Lüttgen (EXPRESS, 2002)

Towards a Model-Theory for Esterel. - Gerald Lüttgen; Michael Mendler (SLAP@ETAPS, 2002)

The intuitionism behind Statecharts steps. - Gerald Lüttgen; Michael Mendler (ACM Trans. Comput. Log., 2002)

A Compositional Semantic Theory for Synchronous Component-based Design. - Barry Norton; Gerald Lüttgen; Michael Mendler (CONCUR, 2003)

A-maze-ing Esterel. - Joaquín Aguado; Michael Mendler; Gerald Lüttgen (SLAP, 2003)

Editorial: Where Theory and Practice Meet. - Manfred Broy; Gerald Lüttgen; Michael Mendler (Formal Aspects Comput., 2003)

Accessing Databases within Esterel. - David H. White 001; Gerald Lüttgen (SYNCHRON, 2004)

Preface. - Gerald Lüttgen; Natividad Martínez Madrid; Michael Mendler (SFEDL@ETAPS, 2004)

Editorial. - Manfred Broy; Gerald Lüttgen; Michael Mendler (Formal Aspects Comput., 2004)

Bisimulation on speed: worst-case efficiency. - Gerald Lüttgen; Walter Vogler (Inf. Comput., 2004)

Bisimulation on speed: Lower time bounds. - Gerald Lüttgen; Walter Vogler (RAIRO Theor. Informatics Appl., 2005)

Can Saturation Be Parallelised? - Jonathan Ezekiel; Gerald Lüttgen; Radu Siminiceanu (FMICS/PDMC, 2006)

Blasting Linux Code. - Jan Tobias Mühlberg; Gerald Lüttgen (FMICS/PDMC, 2006)

Bisimulation on speed: A unified approach. - Gerald Lüttgen; Walter Vogler (Theor. Comput. Sci., 2006)

Improving Static Variable Orders Via Invariants. - Gianfranco Ciardo; Gerald Lüttgen; Andy Jinqing Yu (ICATPN, 2007)

Parallelising Symbolic State-Space Generators. - Jonathan Ezekiel; Gerald Lüttgen; Gianfranco Ciardo (CAV, 2007)

Is Observational Congruence Axiomatisable in Equational Horn Logic? - Michael Mendler; Gerald Lüttgen (CONCUR, 2007)

Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. - Andy Jinqing Yu; Gianfranco Ciardo; Gerald Lüttgen (TACAS, 2007)

Measuring and Evaluating Parallel State-Space Exploration Algorithms. - Jonathan Ezekiel; Gerald Lüttgen (PDMC@CAV, 2007)

Exploiting interleaving semantics in symbolic state-space generation. - Gianfranco Ciardo; Gerald Lüttgen; Andrew S. Miner (Formal Methods Syst. Des., 2007)

Priority and abstraction in process algebra. - Rance Cleaveland; Gerald Lüttgen; V. Natarajan 001 (Inf. Comput., 2007)

Conjunction on processes: Full abstraction via ready-tree semantics. - Gerald Lüttgen; Walter Vogler (Theor. Comput. Sci., 2007)

Embedded Systems Programming: Accessing Databases from Esterel. - David H. White 001; Gerald Lüttgen (EURASIP J. Embed. Syst., 2008)

Preface. - Ivana Cerná; Gerald Lüttgen (PDMC@ETAPS, 2008)

Modeling and verification using UML Statecharts. By Doron Drusinsky. Published by Newnes Publishers, 2006, ISBN 0-7506-7617-5, 306 pages. - Gerald Lüttgen (Softw. Test. Verification Reliab., 2008)

On the Expressiveness of Refinement Settings. - Harald Fecher; David de Frutos-Escrig; Gerald Lüttgen; Heiko Schmidt (FSEN, 2009)

Model-Checking the Linux Virtual File System. - Andy Galloway; Gerald Lüttgen; Jan Tobias Mühlberg; Radu Siminiceanu (VMCAI, 2009)

Using formal specifications to support testing. - Robert M. Hierons; Kirill Bogdanov 002; Jonathan P. Bowen; Rance Cleaveland; John Derrick; Jeremy Dick; Marian Gheorghe 001; Mark Harman; Kalpesh Kapoor; Paul J. Krause; Gerald Lüttgen; Anthony J. H. Simons; et al. (ACM Comput. Surv., 2009)

Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. - Andy Jinqing Yu; Gianfranco Ciardo; Gerald Lüttgen (Int. J. Softw. Tools Technol. Transf., 2009)

What Is in a Step: New Perspectives on a Classical Question. - Willem-Paul de Roever; Gerald Lüttgen; Michael Mendler (Essays in Memory of Amir Pnueli, 2010)

Ready simulation for concurrency: It's logical! - Gerald Lüttgen; Walter Vogler (Inf. Comput., 2010)

Is observational congruence on µ-expressions axiomatisable in equational Horn logic? - Michael Mendler; Gerald Lüttgen (Inf. Comput., 2010)

To Parallelize or to Optimize? - Jonathan Ezekiel; Gerald Lüttgen; Radu Siminiceanu (J. Log. Comput., 2011)

Safe reasoning with Logic LTS. - Gerald Lüttgen; Walter Vogler (Theor. Comput. Sci., 2011)

Introducing Fairness into Compositional Verification via Unidirectional Counters. - Antti Siirtola; Antti Puhakka; Gerald Lüttgen (ACSD, 2012)

On Parallel Software Verification Using Boolean Equation Systems. - Alexander Ditter; Milan Ceska 002; Gerald Lüttgen (SPIN, 2012)

Preface. - Gerald Lüttgen; Stephan Merz (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Verifying compiled file system code. - Jan Tobias Mühlberg; Gerald Lüttgen (Formal Aspects Comput., 2012)

Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory. - David H. White 001; Gerald Lüttgen (TACAS, 2013)

Modal Interface Automata. - Gerald Lüttgen; Walter Vogler (Log. Methods Comput. Sci., 2013)

Richer Interface Automata with Optimistic and Pessimistic Compatibility. - Gerald Lüttgen; Walter Vogler (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Special issue on Automated Verification of Critical Systems (AVoCS'12). - Gerald Lüttgen; Stephan Merz (Sci. Comput. Program., 2014)

Symbolic object code analysis. - Jan Tobias Mühlberg; Gerald Lüttgen (Int. J. Softw. Tools Technol. Transf., 2014)

Learning Assertions to Verify Linked-List Programs. - Jan Tobias Mühlberg; David H. White 001; Mike Dodds; Gerald Lüttgen; Frank Piessens (SEFM, 2015)

Special issue on "Comprehending asynchrony in specification and analysis" dedicated to Walter Vogler on the occasion of his 60th birthday. - Gerald Lüttgen; Flavio Corradini (Acta Informatica, 2015)

Richer interface automata with optimistic and pessimistic compatibility. - Gerald Lüttgen; Walter Vogler; Sascha Fendrich (Acta Informatica, 2015)

POSTER: Identifying Dynamic Data Structures in Malware. - Thomas Rupprecht; Xi Chen 038; David H. White 001; Jan Tobias Mühlberg; Herbert Bos; Gerald Lüttgen (CCS, 2016)

DSI: an evidence-based approach to identify dynamic data structures in C programs. - David H. White 001; Thomas Rupprecht; Gerald Lüttgen (ISSTA, 2016)

CoreTAna: A Trace Analyzer for Reverse Engineering Real-Time Software. - Andreas Sailer; Michael Deubzer; Gerald Lüttgen; Jürgen Mottok (SANER, 2016)

Nondeterministic Modal Interfaces. - Ferenc Bujtor; Sascha Fendrich; Gerald Lüttgen; Walter Vogler (Theor. Comput. Sci., 2016)

DSIbin: identifying dynamic data structures in C/C++ binaries. - Thomas Rupprecht; Xi Chen 038; David H. White 001; Jan H. Boockmann; Gerald Lüttgen; Herbert Bos (ASE, 2017)

Comparing trace recordings of automotive real-time software. - Andreas Sailer; Michael Deubzer; Gerald Lüttgen; Jürgen Mottok (RTNS, 2017)

Interface Automata for Shared Memory. - Johannes Gareis; Gerald Lüttgen; Ayleen Schinko; Walter Vogler (Models, Mindsets, Meta, 2018)

A Note on Refinement in Hierarchical Transition Systems. - Gerald Lüttgen (FMICS, 2018)

Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. - Jan H. Boockmann; Gerald Lüttgen; Jan Tobias Mühlberg (ISoLA (2), 2018)

Lightweight Semantics-Preserving Communication for Real-Time Automotive Software. - Eugene Yip; Erjola Lalo; Gerald Lüttgen; Andreas Sailer (MCSoC, 2019)

A generalised theory of Interface Automata, component compatibility and error. - Sascha Fendrich; Gerald Lüttgen (Acta Informatica, 2019)

Learning Data Structure Shapes from Memory Graphs. - Jan H. Boockmann; Gerald Lüttgen (LPAR, 2020)

A linear-time branching-time perspective on interface automata. - Walter Vogler; Gerald Lüttgen (Acta Informatica, 2020)

Correction to: A linear-time branching-time perspective on interface automata. - Walter Vogler; Gerald Lüttgen (Acta Informatica, 2021)

Reinforcement Learning With Imperfect Safety Constraints. - Jin Woo Ro; Gerald Lüttgen; Diedrich Wolter (SafeAI@AAAI, 2022)

Shape-analysis driven memory graph visualization. - Jan H. Boockmann; Gerald Lüttgen (ICPC, 2022)

Throw Away Student Software At Semester End? Better Not! - Jan H. Boockmann; Kerstin Jacob; Gerald Lüttgen (SEUH, 2022)

Heap Patterns for Memory Graph Visualization. - Jan H. Boockmann; Gerald Lüttgen (VISSOFT, 2022)

Interface Automata for Shared Memory. - Ayleen Schinko; Walter Vogler; Johannes Gareis; N. Tri Nguyen; Gerald Lüttgen (Acta Informatica, 2022)

Model-driven Engineering for Dynamic Data Structures. - Jan H. Boockmann; Kerstin Jacob; Gerald Lüttgen (Softwaretechnik-Trends, 2022)

On Developing an E-Assessment Tool for Agile Practices. - Kerstin Jacob; Daniel Hallmann; Gerald Lüttgen; Vanessa Völpel (SEUH, 2023)

Comprehending Object State via Dynamic Class Invariant Learning. - Jan H. Boockmann; Gerald Lüttgen (FASE, 2024)

SWTbahn: An Embedded Software Demonstrator in Symbiosis with Embedded Software Education. - Bernhard M. Luedtke; Eugene Yip; Gerald Lüttgen (SEUH, 2024)