Gerald Lüttgen

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 25

Top Topics

Laplace Beltrami

Finite Automata

Automated Verification

Top Venues

Acta Informatica

Publications

Bernhard M. Luedtke, Eugene Yip, Gerald Lüttgen
SWTbahn: An Embedded Software Demonstrator in Symbiosis with Embedded Software Education. SEUH (2024)
Jan H. Boockmann, Gerald Lüttgen
On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants. SANER (2024)
Jan H. Boockmann, Gerald Lüttgen
Comprehending Object State via Dynamic Class Invariant Learning. FASE (2024)
Kerstin Jacob, Daniel Hallmann, Gerald Lüttgen, Vanessa Völpel
On Developing an E-Assessment Tool for Agile Practices. SEUH (2023)
Jan H. Boockmann, Gerald Lüttgen
Shape-analysis driven memory graph visualization. ICPC (2022)
Jin Woo Ro, Gerald Lüttgen, Diedrich Wolter
Reinforcement Learning With Imperfect Safety Constraints. SafeAI@AAAI (2022)
Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen
Throw Away Student Software At Semester End? Better Not! SEUH (2022)
Jan H. Boockmann, Gerald Lüttgen
Heap Patterns for Memory Graph Visualization. VISSOFT (2022)
Ayleen Schinko, Walter Vogler, Johannes Gareis, N. Tri Nguyen, Gerald Lüttgen
Interface Automata for Shared Memory. Acta Informatica 59 (5) (2022)
Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen
Model-driven Engineering for Dynamic Data Structures. Softwaretechnik-Trends 42 (4) (2022)
Walter Vogler, Gerald Lüttgen
Correction to: A linear-time branching-time perspective on interface automata. Acta Informatica 58 (6) (2021)
Walter Vogler, Gerald Lüttgen
A linear-time branching-time perspective on interface automata. Acta Informatica 57 (3-5) (2020)
Jan H. Boockmann, Gerald Lüttgen
Learning Data Structure Shapes from Memory Graphs. LPAR (2020)
Eugene Yip, Erjola Lalo, Gerald Lüttgen, Andreas Sailer
Lightweight Semantics-Preserving Communication for Real-Time Automotive Software. MCSoC (2019)
Sascha Fendrich, Gerald Lüttgen
A generalised theory of Interface Automata, component compatibility and error. Acta Informatica 56 (4) (2019)
Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. ISoLA (2) (2018)
Johannes Gareis, Gerald Lüttgen, Ayleen Schinko, Walter Vogler
Interface Automata for Shared Memory. Models, Mindsets, Meta (2018)
Gerald Lüttgen
A Note on Refinement in Hierarchical Transition Systems. FMICS (2018)
Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, Herbert Bos
DSIbin: identifying dynamic data structures in C/C++ binaries. ASE (2017)
Andreas Sailer, Michael Deubzer, Gerald Lüttgen, Jürgen Mottok
Comparing trace recordings of automotive real-time software. RTNS (2017)
Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler
Nondeterministic Modal Interfaces. Theor. Comput. Sci. 642 (2016)
Thomas Rupprecht, Xi Chen, David H. White, Jan Tobias Mühlberg, Herbert Bos, Gerald Lüttgen
POSTER: Identifying Dynamic Data Structures in Malware. CCS (2016)
Andreas Sailer, Michael Deubzer, Gerald Lüttgen, Jürgen Mottok
CoreTAna: A Trace Analyzer for Reverse Engineering Real-Time Software. SANER (2016)
David H. White, Thomas Rupprecht, Gerald Lüttgen
DSI: an evidence-based approach to identify dynamic data structures in C programs. ISSTA (2016)
Sascha Fendrich, Gerald Lüttgen
A Generalised Theory of Interface Automata, Component Compatibility and Error. IFM (2016)
Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens
Learning Assertions to Verify Linked-List Programs. SEFM (2015)
Gerald Lüttgen, Walter Vogler, Sascha Fendrich
Richer interface automata with optimistic and pessimistic compatibility. Acta Informatica 52 (4-5) (2015)
Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler
Nondeterministic Modal Interfaces. SOFSEM (2015)
Gerald Lüttgen, Flavio Corradini
Special issue on "Comprehending asynchrony in specification and analysis" dedicated to Walter Vogler on the occasion of his 60th birthday. Acta Informatica 52 (2-3) (2015)
Gerald Lüttgen, Stephan Merz
Special issue on Automated Verification of Critical Systems (AVoCS'12). Sci. Comput. Program. 96 (2014)
Jan Tobias Mühlberg, Gerald Lüttgen
Symbolic object code analysis. Int. J. Softw. Tools Technol. Transf. 16 (1) (2014)
David H. White, Gerald Lüttgen
Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory. TACAS (2013)
Gerald Lüttgen, Walter Vogler
Richer Interface Automata with Optimistic and Pessimistic Compatibility. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Gerald Lüttgen, Walter Vogler
Modal Interface Automata. Log. Methods Comput. Sci. 9 (3) (2013)
Gerald Lüttgen, Stephan Merz
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Alexander Ditter, Milan Ceska, Gerald Lüttgen
On Parallel Software Verification Using Boolean Equation Systems. SPIN (2012)
Gerald Lüttgen, Walter Vogler
Modal Interface Automata. IFIP TCS (2012)
Jan Tobias Mühlberg, Gerald Lüttgen
Verifying compiled file system code. Formal Aspects Comput. 24 (3) (2012)
Antti Siirtola, Antti Puhakka, Gerald Lüttgen
Introducing Fairness into Compositional Verification via Unidirectional Counters. ACSD (2012)
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu
To Parallelize or to Optimize? J. Log. Comput. 21 (1) (2011)
Gerald Lüttgen, Walter Vogler
Safe reasoning with Logic LTS. Theor. Comput. Sci. 412 (28) (2011)
Jan Tobias Mühlberg, Gerald Lüttgen
Symbolic Object Code Analysis. SPIN (2010)
Gerald Lüttgen, Walter Vogler
Ready simulation for concurrency: It's logical! Inf. Comput. 208 (7) (2010)
Michael Mendler, Gerald Lüttgen
Is observational congruence on µ-expressions axiomatisable in equational Horn logic? Inf. Comput. 208 (6) (2010)
Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler
What Is in a Step: New Perspectives on a Classical Question. Essays in Memory of Amir Pnueli (2010)
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan
Using formal specifications to support testing. ACM Comput. Surv. 41 (2) (2009)
Gerald Lüttgen, Walter Vogler
Safe Reasoning with Logic LTS. SOFSEM (2009)
Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt
On the Expressiveness of Refinement Settings. FSEN (2009)
Jan Tobias Mühlberg, Gerald Lüttgen
Verifying Compiled File System Code. SBMF (2009)
Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen
Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. Int. J. Softw. Tools Technol. Transf. 11 (2) (2009)
Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu
Model-Checking the Linux Virtual File System. VMCAI (2009)
Jonathan Ezekiel, Gerald Lüttgen
Measuring and Evaluating Parallel State-Space Exploration Algorithms. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Gerald Lüttgen
Modeling and verification using UML Statecharts. By Doron Drusinsky. Published by Newnes Publishers, 2006, ISBN 0-7506-7617-5, 306 pages. Softw. Test. Verification Reliab. 18 (3) (2008)
Ivana Cerná, Gerald Lüttgen
Preface. Electron. Notes Theor. Comput. Sci. 220 (2) (2008)
David H. White, Gerald Lüttgen
Embedded Systems Programming: Accessing Databases from Esterel. EURASIP J. Embed. Syst. 2008 (2008)
Rance Cleaveland, Gerald Lüttgen, V. Natarajan
Priority and abstraction in process algebra. Inf. Comput. 205 (9) (2007)
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner
Exploiting interleaving semantics in symbolic state-space generation. Formal Methods Syst. Des. 31 (1) (2007)
Gerald Lüttgen, Walter Vogler
Ready Simulation for Concurrency: It's Logical! ICALP (2007)
Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. TACAS (2007)
Michael Mendler, Gerald Lüttgen
Is Observational Congruence Axiomatisable in Equational Horn Logic? CONCUR (2007)
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu
Improving Static Variable Orders Via Invariants. ICATPN (2007)
Gerald Lüttgen, Walter Vogler
Conjunction on processes: Full abstraction via ready-tree semantics. Theor. Comput. Sci. 373 (1-2) (2007)
Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo
Parallelising Symbolic State-Space Generators. CAV (2007)
Jan Tobias Mühlberg, Gerald Lüttgen
Blasting Linux Code. FMICS/PDMC (2006)
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu
Can Saturation Be Parallelised? FMICS/PDMC (2006)
Gerald Lüttgen, Walter Vogler
Bisimulation on speed: A unified approach. Theor. Comput. Sci. 360 (1-3) (2006)
Gerald Lüttgen, Walter Vogler
Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. FoSSaCS (2006)
Gerald Lüttgen, Walter Vogler
Bisimulation on Speed: A Unified Approach. FoSSaCS (2005)
Gerald Lüttgen, Walter Vogler
Bisimulation on speed: Lower time bounds. RAIRO Theor. Informatics Appl. 39 (3) (2005)
Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler
Preface. Electron. Notes Theor. Comput. Sci. 115 (2005)
Gerald Lüttgen, Walter Vogler
Bisimulation on speed: worst-case efficiency. Inf. Comput. 191 (2) (2004)
Gerald Lüttgen, Walter Vogler
Bisimulation on Speed: Lower Time Bounds. FoSSaCS (2004)
Joaquín Aguado, Michael Mendler, Gerald Lüttgen
A-maze-ing Esterel. Electron. Notes Theor. Comput. Sci. 88 (2004)
Manfred Broy, Gerald Lüttgen, Michael Mendler
Editorial. Formal Aspects Comput. 16 (3) (2004)
David H. White, Gerald Lüttgen
Accessing Databases within Esterel. SYNCHRON (2004)
Manfred Broy, Gerald Lüttgen, Michael Mendler
Editorial: Where Theory and Practice Meet. Formal Aspects Comput. 15 (4) (2003)
Barry Norton, Gerald Lüttgen, Michael Mendler
A Compositional Semantic Theory for Synchronous Component-based Design. CONCUR (2003)
Gerald Lüttgen, Michael Mendler
Axiomatizing an Algebra of Step Reactions for Synchronous Languages. CONCUR (2002)
Gerald Lüttgen, Michael Mendler
The intuitionism behind Statecharts steps. ACM Trans. Comput. Log. 3 (1) (2002)
Gerald Lüttgen, Michael Mendler
Towards a Model-Theory for Esterel. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
Rance Cleaveland, Gerald Lüttgen
A Logical Process Calculus. EXPRESS (2002)
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. TACAS (2001)
Gerald Lüttgen, Michael Mendler
Statecharts: From Visual Syntax to Model-Theoretic Semantics. GI Jahrestagung (1) (2001)
Gerald Lüttgen, Walter Vogler
A Faster-than Relation for Asynchronous Processes. CONCUR (2001)
Gerald Lüttgen, Michael Mendler
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. ICALP (2000)
Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
A compositional approach to statecharts semantics. SIGSOFT FSE (2000)
Rance Cleaveland, Gerald Lüttgen
A Semantic Theory for Heterogeneous System Design. FSTTCS (2000)
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
Efficient Symbolic State-Space Construction for Asynchronous Systems. ICATPN (2000)
Gerald Lüttgen, Victor Carreño
Analyzing Mode Confusion via Model Checking. SPIN (1999)
Girish Bhat, Rance Cleaveland, Gerald Lüttgen
A Practical Approach to Implementing Real-Time Semantics. Ann. Softw. Eng. 7 (1999)
Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
Statecharts Via Process Algebra. CONCUR (1999)
Rance Cleaveland, Gerald Lüttgen, V. Natarajan
A Process Algebra with Distributed Priorities. Theor. Comput. Sci. 195 (2) (1998)
Rance Cleaveland, Gerald Lüttgen, Michael Mendler
An Algebraic Theory of Multiple Clocks. CONCUR (1997)
Girish Bhat, Rance Cleaveland, Gerald Lüttgen
Dynamic Priorities for Modeling Real-Time. FORTE (1997)
Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen
Modeling and Verifying Distributed Systems Using Priorities: A Case Study. Softw. Concepts Tools 17 (2) (1996)
Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen
Non-monotone Fixpoint Iterations to Resolve Second Order Effects. CC (1996)
Susanne Graf, Bernhard Steffen, Gerald Lüttgen
Compositional Minimisation of Finite State Systems Using Interface Specifications. Formal Aspects Comput. 8 (5) (1996)
Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims
Priorities for Modeling and Verifying Distributed Systems. TACAS (1996)
Rance Cleaveland, Gerald Lüttgen, V. Natarajan
A Process Algebra with Distributed Priorities. CONCUR (1996)