Gerald Lüttgen

According to our database, Gerald Lüttgen authored at least 89 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

SWTbahn: An Embedded Software Demonstrator in Symbiosis with Embedded Software Education.

Bernhard M. Luedtke, Eugene Yip, Gerald Lüttgen

Proceedings of the Software Engineering im Unterricht der Hochschulen, 2024

Comprehending Object State via Dynamic Class Invariant Learning.

Jan H. Boockmann, Gerald Lüttgen

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

On Developing an E-Assessment Tool for Agile Practices.

Kerstin Jacob, Daniel Hallmann, Gerald Lüttgen, Vanessa Völpel

Proceedings of the Software Engineering im Unterricht der Hochschulen, 2023

2022

Model-driven Engineering for Dynamic Data Structures.

Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen

Softwaretechnik-Trends, 2022

Interface Automata for Shared Memory.

Ayleen Schinko, Walter Vogler, Johannes Gareis, N. Tri Nguyen, Gerald Lüttgen

Acta Informatica, 2022

Heap Patterns for Memory Graph Visualization.

Jan H. Boockmann, Gerald Lüttgen

Proceedings of the Working Conference on Software Visualization, 2022

Throw Away Student Software At Semester End? Better Not!

Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen

Proceedings of the Software Engineering im Unterricht der Hochschulen, 2022

Shape-analysis driven memory graph visualization.

Jan H. Boockmann, Gerald Lüttgen

Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension, 2022

Reinforcement Learning With Imperfect Safety Constraints.

Jin Woo Ro, Gerald Lüttgen, Diedrich Wolter

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

Correction to: A linear-time branching-time perspective on interface automata.

Walter Vogler, Gerald Lüttgen

Acta Informatica, 2021

2020

A linear-time branching-time perspective on interface automata.

Walter Vogler, Gerald Lüttgen

Acta Informatica, 2020

Learning Data Structure Shapes from Memory Graphs.

Jan H. Boockmann, Gerald Lüttgen

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

2019

A generalised theory of Interface Automata, component compatibility and error.

Sascha Fendrich, Gerald Lüttgen

Acta Informatica, 2019

Lightweight Semantics-Preserving Communication for Real-Time Automotive Software.

Eugene Yip, Erjola Lalo, Gerald Lüttgen, Andreas Sailer

Proceedings of the 13th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2019

2018

Generating Inductive Shape Predicates for Runtime Checking and Formal Verification.

Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

A Note on Refinement in Hierarchical Transition Systems.

Gerald Lüttgen

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Interface Automata for Shared Memory.

Johannes Gareis, Gerald Lüttgen, Ayleen Schinko, Walter Vogler

Proceedings of the Models, Mindsets, 2018

2017

Comparing trace recordings of automotive real-time software.

Andreas Sailer, Michael Deubzer, Gerald Lüttgen, Jürgen Mottok

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

DSIbin: identifying dynamic data structures in C/C++ binaries.

Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, Herbert Bos

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Nondeterministic Modal Interfaces.

Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler

Theor. Comput. Sci., 2016

CoreTAna: A Trace Analyzer for Reverse Engineering Real-Time Software.

Andreas Sailer, Michael Deubzer, Gerald Lüttgen, Jürgen Mottok

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

DSI: an evidence-based approach to identify dynamic data structures in C programs.

David H. White, Thomas Rupprecht, Gerald Lüttgen

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

POSTER: Identifying Dynamic Data Structures in Malware.

Thomas Rupprecht, Xi Chen, David H. White, Jan Tobias Mühlberg, Herbert Bos, Gerald Lüttgen

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Richer interface automata with optimistic and pessimistic compatibility.

Gerald Lüttgen, Walter Vogler, Sascha Fendrich

Acta Informatica, 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

Learning Assertions to Verify Linked-List Programs.

Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014

Symbolic object code analysis.

Jan Tobias Mühlberg, Gerald Lüttgen

Int. J. Softw. Tools Technol. Transf., 2014

Special issue on Automated Verification of Critical Systems (AVoCS'12).

Gerald Lüttgen, Stephan Merz

Sci. Comput. Program., 2014

2013

Richer Interface Automata with Optimistic and Pessimistic Compatibility.

Gerald Lüttgen, Walter Vogler

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Modal Interface Automata.

Gerald Lüttgen, Walter Vogler

Log. Methods Comput. Sci., 2013

Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory.

David H. White, Gerald Lüttgen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Verifying compiled file system code.

Jan Tobias Mühlberg, Gerald Lüttgen

Formal Aspects Comput., 2012

Preface.

Gerald Lüttgen, Stephan Merz

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

On Parallel Software Verification Using Boolean Equation Systems.

Alexander Ditter, Milan Ceska, Gerald Lüttgen

Proceedings of the Model Checking Software - 19th International Workshop, 2012

Introducing Fairness into Compositional Verification via Unidirectional Counters.

Antti Siirtola, Antti Puhakka, Gerald Lüttgen

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Safe reasoning with Logic LTS.

Gerald Lüttgen, Walter Vogler

Theor. Comput. Sci., 2011

To Parallelize or to Optimize?

Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu

J. Log. Comput., 2011

2010

Is observational congruence on µ-expressions axiomatisable in equational Horn logic?

Michael Mendler, Gerald Lüttgen

Inf. Comput., 2010

Ready simulation for concurrency: It's logical!

Gerald Lüttgen, Walter Vogler

Inf. Comput., 2010

What Is in a Step: New Perspectives on a Classical Question.

Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler

Proceedings of the Time for Verification, 2010

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

Using formal specifications to support testing.

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

ACM Comput. Surv., 2009

Model-Checking the Linux Virtual File System.

Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu

Proceedings of the Verification, 2009

On the Expressiveness of Refinement Settings.

Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt

Proceedings of the Fundamentals of Software Engineering, 2009

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

Preface.

Ivana Cerná, Gerald Lüttgen

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

Embedded Systems Programming: Accessing Databases from Esterel.

David H. White, Gerald Lüttgen

EURASIP J. Embed. Syst., 2008

2007

Conjunction on processes: Full abstraction via ready-tree semantics.

Gerald Lüttgen, Walter Vogler

Theor. Comput. Sci., 2007

Priority and abstraction in process algebra.

Rance Cleaveland, Gerald Lüttgen, V. Natarajan

Inf. Comput., 2007

Exploiting interleaving semantics in symbolic state-space generation.

Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner

Formal Methods Syst. Des., 2007

Measuring and Evaluating Parallel State-Space Exploration Algorithms.

Jonathan Ezekiel, Gerald Lüttgen

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007

Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams.

Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Is Observational Congruence Axiomatisable in Equational Horn Logic?

Michael Mendler, Gerald Lüttgen

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Parallelising Symbolic State-Space Generators.

Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Improving Static Variable Orders Via Invariants.

Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Bisimulation on speed: A unified approach.

Gerald Lüttgen, Walter Vogler

Theor. Comput. Sci., 2006

Blasting Linux Code.

Jan Tobias Mühlberg, Gerald Lüttgen

Proceedings of the Formal Methods: Applications and Technology, 2006

Can Saturation Be Parallelised?

Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu

Proceedings of the Formal Methods: Applications and Technology, 2006

2005

Bisimulation on speed: Lower time bounds.

Gerald Lüttgen, Walter Vogler

RAIRO Theor. Informatics Appl., 2005

2004

Bisimulation on speed: worst-case efficiency.

Gerald Lüttgen, Walter Vogler

Inf. Comput., 2004

Editorial.

Manfred Broy, Gerald Lüttgen, Michael Mendler

Formal Aspects Comput., 2004

Preface.

Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Accessing Databases within Esterel.

David H. White, Gerald Lüttgen

Proceedings of the Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004

2003

Editorial: Where Theory and Practice Meet.

Manfred Broy, Gerald Lüttgen, Michael Mendler

Formal Aspects Comput., 2003

A-maze-ing Esterel.

Joaquín Aguado, Michael Mendler, Gerald Lüttgen

Proceedings of the Synchronous Languages, Applications and Programming, 2003

A Compositional Semantic Theory for Synchronous Component-based Design.

Barry Norton, Gerald Lüttgen, Michael Mendler

Proceedings of the CONCUR 2003, 2003

2002

The intuitionism behind Statecharts steps.

Gerald Lüttgen, Michael Mendler

ACM Trans. Comput. Log., 2002

Towards a Model-Theory for Esterel.

Gerald Lüttgen, Michael Mendler

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

A Logical Process Calculus.

Rance Cleaveland, Gerald Lüttgen

Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002

Axiomatizing an Algebra of Step Reactions for Synchronous Languages.

Gerald Lüttgen, Michael Mendler

Proceedings of the CONCUR 2002, 2002

2001

Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation.

Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Statecharts: From Visual Syntax to Model-Theoretic Semantics.

Gerald Lüttgen, Michael Mendler

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

A Faster-than Relation for Asynchronous Processes.

Gerald Lüttgen, Walter Vogler

Proceedings of the CONCUR 2001, 2001

Priority in Process Algebra.

Rance Cleaveland, Gerald Lüttgen, V. Natarajan

Proceedings of the Handbook of Process Algebra, 2001

2000

A compositional approach to statecharts semantics.

Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models.

Gerald Lüttgen, Michael Mendler

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

A Semantic Theory for Heterogeneous System Design.

Rance Cleaveland, Gerald Lüttgen

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

Efficient Symbolic State-Space Construction for Asynchronous Systems.

Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

A Practical Approach to Implementing Real-Time Semantics.

Girish Bhat, Rance Cleaveland, Gerald Lüttgen

Ann. Softw. Eng., 1999

Analyzing Mode Confusion via Model Checking.

Gerald Lüttgen, Victor Carreño

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

Statecharts Via Process Algebra.

Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

A Process Algebra with Distributed Priorities.

Rance Cleaveland, Gerald Lüttgen, V. Natarajan

Theor. Comput. Sci., 1998

Pre-emptive modeling of concurrent and distributed systems.

Gerald Lüttgen

Berichte aus der Informatik, Shaker, ISBN: 978-3-8265-3932-9, 1998

1997

Dynamic Priorities for Modeling Real-Time.

Girish Bhat, Rance Cleaveland, Gerald Lüttgen

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

An Algebraic Theory of Multiple Clocks.

Rance Cleaveland, Gerald Lüttgen, Michael Mendler

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Modeling and Verifying Distributed Systems Using Priorities: A Case Study.

Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen

Softw. Concepts Tools, 1996

Compositional Minimisation of Finite State Systems Using Interface Specifications.

Susanne Graf, Bernhard Steffen, Gerald Lüttgen

Formal Aspects Comput., 1996

Priorities for Modeling and Verifying Distributed Systems.

Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Non-monotone Fixpoint Iterations to Resolve Second Order Effects.

Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen

Proceedings of the Compiler Construction, 6th International Conference, 1996