default search action
Gerald Lüttgen
Person information
- affiliation: University of Bamberg, Faculty Information Systems and Applied Computer Sciences
- affiliation: University of York, Department of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [i2]Daniel Hallmann, Kerstin Jacob, Gerald Lüttgen, Ute Schmid, Rüdiger von der Weth:
USeR: A Web-based User Story eReviewer for Assisted Quality Optimizations. CoRR abs/2503.02049 (2025) - 2024
- [c63]Jan H. Boockmann
, Gerald Lüttgen
Comprehending Object State via Dynamic Class Invariant Learning. FASE 2024: 143-164 - [c62]Bernhard M. Luedtke, Eugene Yip
SWTbahn: An Embedded Software Demonstrator in Symbiosis with Embedded Software Education. SEUH 2024: 77-82 - [c61]Jan H. Boockmann, Gerald Lüttgen:
On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants. SANER 2024: 711-716 - 2023
- [c60]Kerstin Jacob, Daniel Hallmann
On Developing an E-Assessment Tool for Agile Practices. SEUH 2023 - 2022
- [j35]Ayleen Schinko, Walter Vogler, Johannes Gareis, N. Tri Nguyen, Gerald Lüttgen
Interface Automata for Shared Memory. Acta Informatica 59(5): 521-556 (2022) - [j34]Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen:
Model-driven Engineering for Dynamic Data Structures. Softwaretechnik-Trends 42(4): 2-7 (2022) - [c59]Jin Woo Ro, Gerald Lüttgen, Diedrich Wolter:
Reinforcement Learning With Imperfect Safety Constraints. SafeAI@AAAI 2022 - [c58]Jan H. Boockmann, Gerald Lüttgen:
Shape-analysis driven memory graph visualization. ICPC 2022: 298-308 - [c57]Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen:
Throw Away Student Software At Semester End? Better Not! SEUH 2022: 23-28 - [c56]Jan H. Boockmann, Gerald Lüttgen:
Heap Patterns for Memory Graph Visualization. VISSOFT 2022: 162-166 - 2021
- [j33]Walter Vogler, Gerald Lüttgen:
Correction to: A linear-time branching-time perspective on interface automata. Acta Informatica 58(6): 677 (2021) - 2020
- [j32]Walter Vogler, Gerald Lüttgen:
A linear-time branching-time perspective on interface automata. Acta Informatica 57(3-5): 513-550 (2020) - [c55]Jan H. Boockmann
Learning Data Structure Shapes from Memory Graphs. LPAR 2020: 151-168
2010 – 2019
- 2019
- [j31]Sascha Fendrich, Gerald Lüttgen:
A generalised theory of Interface Automata, component compatibility and error. Acta Informatica 56(4): 287-319 (2019) - [c54]Eugene Yip
Lightweight Semantics-Preserving Communication for Real-Time Automotive Software. MCSoC 2019: 372-379 - 2018
- [c53]Johannes Gareis, Gerald Lüttgen, Ayleen Schinko, Walter Vogler:
Interface Automata for Shared Memory. Models, Mindsets, Meta 2018: 151-166 - [c52]Gerald Lüttgen:
A Note on Refinement in Hierarchical Transition Systems. FMICS 2018: 211-222 - [c51]Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. ISoLA (2) 2018: 64-74 - 2017
- [c50]Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann
DSIbin: identifying dynamic data structures in C/C++ binaries. ASE 2017: 331-341 - [c49]Andreas Sailer, Michael Deubzer, Gerald Lüttgen, Jürgen Mottok:
Comparing trace recordings of automotive real-time software. RTNS 2017: 118-127 - 2016
- [j30]Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler:
Nondeterministic Modal Interfaces. Theor. Comput. Sci. 642: 24-53 (2016) - [c48]Thomas Rupprecht, Xi Chen, David H. White, Jan Tobias Mühlberg
POSTER: Identifying Dynamic Data Structures in Malware. CCS 2016: 1772-1774 - [c47]Sascha Fendrich, Gerald Lüttgen:
A Generalised Theory of Interface Automata, Component Compatibility and Error. IFM 2016: 160-175 - [c46]David H. White, Thomas Rupprecht, Gerald Lüttgen:
DSI: an evidence-based approach to identify dynamic data structures in C programs. ISSTA 2016: 259-269 - [c45]Andreas Sailer, Michael Deubzer, Gerald Lüttgen, Jürgen Mottok:
CoreTAna: A Trace Analyzer for Reverse Engineering Real-Time Software. SANER 2016: 657-660 - 2015
- [j29]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): 107-108 (2015) - [j28]Gerald Lüttgen, Walter Vogler, Sascha Fendrich:
Richer interface automata with optimistic and pessimistic compatibility. Acta Informatica 52(4-5): 305-336 (2015) - [c44]Jan Tobias Mühlberg
Learning Assertions to Verify Linked-List Programs. SEFM 2015: 37-52 - [c43]Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler:
Nondeterministic Modal Interfaces. SOFSEM 2015: 152-163 - 2014
- [j27]Gerald Lüttgen, Stephan Merz:
Special issue on Automated Verification of Critical Systems (AVoCS'12). Sci. Comput. Program. 96: 277-278 (2014) - [j26]Jan Tobias Mühlberg
Symbolic object code analysis. Int. J. Softw. Tools Technol. Transf. 16(1): 81-102 (2014) - 2013
- [j25]Gerald Lüttgen, Walter Vogler:
Modal Interface Automata. Log. Methods Comput. Sci. 9(3) (2013) - [j24]Gerald Lüttgen, Walter Vogler:
Richer Interface Automata with Optimistic and Pessimistic Compatibility. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [c42]David H. White, Gerald Lüttgen:
Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory. TACAS 2013: 354-369 - 2012
- [j23]Gerald Lüttgen, Stephan Merz:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012) - [j22]Jan Tobias Mühlberg
Verifying compiled file system code. Formal Aspects Comput. 24(3): 375-391 (2012) - [c41]Antti Siirtola
Introducing Fairness into Compositional Verification via Unidirectional Counters. ACSD 2012: 32-41 - [c40]Gerald Lüttgen, Walter Vogler:
Modal Interface Automata. IFIP TCS 2012: 265-279 - [c39]Alexander Ditter, Milan Ceska
On Parallel Software Verification Using Boolean Equation Systems. SPIN 2012: 80-97 - 2011
- [j21]Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu:
To Parallelize or to Optimize? J. Log. Comput. 21(1): 85-120 (2011) - [j20]Gerald Lüttgen, Walter Vogler:
Safe reasoning with Logic LTS. Theor. Comput. Sci. 412(28): 3337-3357 (2011) - 2010
- [j19]Michael Mendler, Gerald Lüttgen:
Is observational congruence on µ-expressions axiomatisable in equational Horn logic? Inf. Comput. 208(6): 634-651 (2010) - [j18]Gerald Lüttgen, Walter Vogler:
Ready simulation for concurrency: It's logical! Inf. Comput. 208(7): 845-867 (2010) - [c38]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: 370-399 - [c37]Jan Tobias Mühlberg
Symbolic Object Code Analysis. SPIN 2010: 4-21
2000 – 2009
- 2009
- [j17]Robert M. Hierons
Using formal specifications to support testing. ACM Comput. Surv. 41(2): 9:1-9:76 (2009) - [j16]Andy Jinqing Yu, Gianfranco Ciardo
Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. Int. J. Softw. Tools Technol. Transf. 11(2): 117-131 (2009) - [c36]Harald Fecher, David de Frutos-Escrig
On the Expressiveness of Refinement Settings. FSEN 2009: 276-291 - [c35]Jan Tobias Mühlberg
Verifying Compiled File System Code. SBMF 2009: 306-320 - [c34]Gerald Lüttgen, Walter Vogler:
Safe Reasoning with Logic LTS. SOFSEM 2009: 376-387 - [c33]Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg
Model-Checking the Linux Virtual File System. VMCAI 2009: 74-88 - 2008
- [j15]David H. White, Gerald Lüttgen:
Embedded Systems Programming: Accessing Databases from Esterel. EURASIP J. Embed. Syst. 2008 (2008) - [j14]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): 189-190 (2008) - [c32]Ivana Cerná, Gerald Lüttgen:
Preface. PDMC@ETAPS 2008: 1-2 - [e2]Ivana Cerná, Gerald Lüttgen:
Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March 29, 2008. Electronic Notes in Theoretical Computer Science 220(2), Elsevier 2008 [contents] - 2007
- [j13]Gianfranco Ciardo
Exploiting interleaving semantics in symbolic state-space generation. Formal Methods Syst. Des. 31(1): 63-100 (2007) - [j12]Rance Cleaveland, Gerald Lüttgen, V. Natarajan:
Priority and abstraction in process algebra. Inf. Comput. 205(9): 1426-1458 (2007) - [j11]Gerald Lüttgen, Walter Vogler:
Conjunction on processes: Full abstraction via ready-tree semantics. Theor. Comput. Sci. 373(1-2): 19-40 (2007) - [c31]Gianfranco Ciardo
Improving Static Variable Orders Via Invariants. ICATPN 2007: 83-103 - [c30]Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo
Parallelising Symbolic State-Space Generators. CAV 2007: 268-280 - [c29]Michael Mendler, Gerald Lüttgen:
Is Observational Congruence Axiomatisable in Equational Horn Logic? CONCUR 2007: 197-211 - [c28]Gerald Lüttgen, Walter Vogler:
Ready Simulation for Concurrency: It's Logical! ICALP 2007: 752-763 - [c27]Andy Jinqing Yu, Gianfranco Ciardo
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. TACAS 2007: 648-663 - [c26]Jonathan Ezekiel, Gerald Lüttgen:
Measuring and Evaluating Parallel State-Space Exploration Algorithms. PDMC@CAV 2007: 47-61 - 2006
- [j10]Gerald Lüttgen, Walter Vogler:
Bisimulation on speed: A unified approach. Theor. Comput. Sci. 360(1-3): 209-227 (2006) - [c25]Jan Tobias Mühlberg, Gerald Lüttgen:
Blasting Linux Code. FMICS/PDMC 2006: 211-226 - [c24]Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu:
Can Saturation Be Parallelised? FMICS/PDMC 2006: 331-346 - [c23]Gerald Lüttgen, Walter Vogler:
Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. FoSSaCS 2006: 261-276 - 2005
- [j9]Gerald Lüttgen, Walter Vogler:
Bisimulation on speed: Lower time bounds. RAIRO Theor. Informatics Appl. 39(3): 587-618 (2005) - [c22]Gerald Lüttgen, Walter Vogler:
Bisimulation on Speed: A Unified Approach. FoSSaCS 2005: 79-94 - [e1]Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler:
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 115, Elsevier 2005 [contents] - 2004
- [j8]Manfred Broy, Gerald Lüttgen, Michael Mendler:
Editorial. Formal Aspects Comput. 16(3): 165- (2004) - [j7]Gerald Lüttgen, Walter Vogler:
Bisimulation on speed: worst-case efficiency. Inf. Comput. 191(2): 105-144 (2004) - [c21]Gerald Lüttgen, Walter Vogler:
Bisimulation on Speed: Lower Time Bounds. FoSSaCS 2004: 333-347 - [c20]Gerald Lüttgen, Natividad Martínez Madrid
Preface. SFEDL@ETAPS 2004: 1-2 - [i1]David H. White, Gerald Lüttgen:
Accessing Databases within Esterel. SYNCHRON 2004 - 2003
- [j6]Manfred Broy, Gerald Lüttgen, Michael Mendler:
Editorial: Where Theory and Practice Meet. Formal Aspects Comput. 15(4): 297-298 (2003) - [c19]Barry Norton, Gerald Lüttgen, Michael Mendler:
A Compositional Semantic Theory for Synchronous Component-based Design. CONCUR 2003: 453-467 - [c18]Joaquín Aguado, Michael Mendler, Gerald Lüttgen:
A-maze-ing Esterel. SLAP 2003: 21-37 - 2002
- [j5]Gerald Lüttgen, Michael Mendler:
The intuitionism behind Statecharts steps. ACM Trans. Comput. Log. 3(1): 1-41 (2002) - [c17]Gerald Lüttgen, Michael Mendler:
Axiomatizing an Algebra of Step Reactions for Synchronous Languages. CONCUR 2002: 386-401 - [c16]Rance Cleaveland, Gerald Lüttgen:
A Logical Process Calculus. EXPRESS 2002: 33-50 - [c15]Gerald Lüttgen, Michael Mendler:
Towards a Model-Theory for Esterel. SLAP@ETAPS 2002: 95-109 - 2001
- [c14]Gerald Lüttgen, Walter Vogler:
A Faster-than Relation for Asynchronous Processes. CONCUR 2001: 262-276 - [c13]Gerald Lüttgen, Michael Mendler:
Statecharts: From Visual Syntax to Model-Theoretic Semantics. GI Jahrestagung (1) 2001: 615-621 - [c12]Gianfranco Ciardo
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. TACAS 2001: 328-342 - [p1]Rance Cleaveland, Gerald Lüttgen, V. Natarajan:
Priority in Process Algebra. Handbook of Process Algebra 2001: 711-765 - 2000
- [c11]Gianfranco Ciardo
Efficient Symbolic State-Space Construction for Asynchronous Systems. ICATPN 2000: 103-122 - [c10]Rance Cleaveland, Gerald Lüttgen:
A Semantic Theory for Heterogeneous System Design. FSTTCS 2000: 312-324 - [c9]Gerald Lüttgen, Michael Mendler:
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. ICALP 2000: 163-174 - [c8]Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland:
A compositional approach to statecharts semantics. SIGSOFT FSE 2000: 120-129
1990 – 1999
- 1999
- [j4]Girish Bhat, Rance Cleaveland, Gerald Lüttgen:
A Practical Approach to Implementing Real-Time Semantics. Ann. Softw. Eng. 7: 127-155 (1999) - [c7]Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland:
Statecharts Via Process Algebra. CONCUR 1999: 399-414 - [c6]Gerald Lüttgen, Victor Carreño:
Analyzing Mode Confusion via Model Checking. SPIN 1999: 120-135 - 1998
- [b1]Gerald Lüttgen:
Pre-emptive modeling of concurrent and distributed systems. University of Passau, Germany, Berichte aus der Informatik, Shaker 1998, ISBN 978-3-8265-3932-9, pp. I-VIII, 1-265 - [j3]Rance Cleaveland, Gerald Lüttgen, V. Natarajan:
A Process Algebra with Distributed Priorities. Theor. Comput. Sci. 195(2): 227-258 (1998) - 1997
- [c5]Rance Cleaveland, Gerald Lüttgen, Michael Mendler:
An Algebraic Theory of Multiple Clocks. CONCUR 1997: 166-180 - [c4]Girish Bhat, Rance Cleaveland, Gerald Lüttgen:
Dynamic Priorities for Modeling Real-Time. FORTE 1997: 321-336 - 1996
- [j2]Susanne Graf, Bernhard Steffen, Gerald Lüttgen:
Compositional Minimisation of Finite State Systems Using Interface Specifications. Formal Aspects Comput. 8(5): 607-616 (1996) - [j1]Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen:
Modeling and Verifying Distributed Systems Using Priorities: A Case Study. Softw. Concepts Tools 17(2): 50-62 (1996) - [c3]Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen:
Non-monotone Fixpoint Iterations to Resolve Second Order Effects. CC 1996: 106-120 - [c2]Rance Cleaveland, Gerald Lüttgen, V. Natarajan:
A Process Algebra with Distributed Priorities. CONCUR 1996: 34-49 - [c1]Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims:
Priorities for Modeling and Verifying Distributed Systems. TACAS 1996: 278-297
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-09 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: