Gerald Lüttgen

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