| 2009 |
|---|
| 48 | EE | Gerald Lüttgen,
Walter Vogler:
Safe Reasoning with Logic LTS.
SOFSEM 2009: 376-387 |
| 47 | EE | Andy Galloway,
Gerald Lüttgen,
Jan Tobias Mühlberg,
Radu Siminiceanu:
Model-Checking the Linux Virtual File System.
VMCAI 2009: 74-88 |
| 46 | EE | Robert M. Hierons,
Kirill Bogdanov,
Jonathan P. Bowen,
Rance Cleaveland,
John Derrick,
Jeremy Dick,
Marian Gheorghe,
Mark Harman,
Kalpesh Kapoor,
Paul 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) |
| 2008 |
|---|
| 45 | EE | Jonathan Ezekiel,
Gerald Lüttgen:
Measuring and Evaluating Parallel State-Space Exploration Algorithms.
Electr. Notes Theor. Comput. Sci. 198(1): 47-61 (2008) |
| 44 | EE | Ivana Cerná,
Gerald Lüttgen:
Preface.
Electr. Notes Theor. Comput. Sci. 220(2): 1-2 (2008) |
| 43 | EE | 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., Verif. Reliab. 18(3): 189-190 (2008) |
| 2007 |
|---|
| 42 | EE | Jonathan Ezekiel,
Gerald Lüttgen,
Gianfranco Ciardo:
Parallelising Symbolic State-Space Generators.
CAV 2007: 268-280 |
| 41 | EE | Michael Mendler,
Gerald Lüttgen:
Is Observational Congruence Axiomatisable in Equational Horn Logic?
CONCUR 2007: 197-211 |
| 40 | EE | Gerald Lüttgen,
Walter Vogler:
Ready Simulation for Concurrency: It's Logical!
ICALP 2007: 752-763 |
| 39 | EE | Gianfranco Ciardo,
Gerald Lüttgen,
Andy Jinqing Yu:
Improving Static Variable Orders Via Invariants.
ICATPN 2007: 83-103 |
| 38 | EE | Andy Jinqing Yu,
Gianfranco Ciardo,
Gerald Lüttgen:
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams.
TACAS 2007: 648-663 |
| 37 | EE | Gianfranco Ciardo,
Gerald Lüttgen,
Andrew S. Miner:
Exploiting interleaving semantics in symbolic state-space generation.
Formal Methods in System Design 31(1): 63-100 (2007) |
| 36 | EE | Rance Cleaveland,
Gerald Lüttgen,
V. Natarajan:
Priority and abstraction in process algebra.
Inf. Comput. 205(9): 1426-1458 (2007) |
| 35 | EE | Gerald Lüttgen,
Walter Vogler:
Conjunction on processes: Full abstraction via ready-tree semantics.
Theor. Comput. Sci. 373(1-2): 19-40 (2007) |
| 2006 |
|---|
| 34 | EE | Jan Tobias Mühlberg,
Gerald Lüttgen:
Blasting Linux Code.
FMICS/PDMC 2006: 211-226 |
| 33 | EE | Jonathan Ezekiel,
Gerald Lüttgen,
Radu Siminiceanu:
Can Saturation Be Parallelised?
FMICS/PDMC 2006: 331-346 |
| 32 | EE | Gerald Lüttgen,
Walter Vogler:
Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics.
FoSSaCS 2006: 261-276 |
| 31 | EE | Gerald Lüttgen,
Walter Vogler:
Bisimulation on speed: A unified approach.
Theor. Comput. Sci. 360(1-3): 209-227 (2006) |
| 2005 |
|---|
| 30 | EE | Gerald Lüttgen,
Walter Vogler:
Bisimulation on Speed: A Unified Approach.
FoSSaCS 2005: 79-94 |
| 29 | EE | Gerald Lüttgen,
Natividad Martínez Madrid,
Michael Mendler:
Preface.
Electr. Notes Theor. Comput. Sci. 115: 1-2 (2005) |
| 2004 |
|---|
| 28 | EE | Gerald Lüttgen,
Walter Vogler:
Bisimulation on Speed: Lower Time Bounds.
FoSSaCS 2004: 333-347 |
| 27 | EE | Joaquin Aguado,
Michael Mendler,
Gerald Lüttgen:
A-maze-ing Esterel.
Electr. Notes Theor. Comput. Sci. 88: 21-37 (2004) |
| 26 | EE | Manfred Broy,
Gerald Lüttgen,
Michael Mendler:
Editorial.
Formal Asp. Comput. 16(3): 165- (2004) |
| 25 | EE | Gerald Lüttgen,
Walter Vogler:
Bisimulation on speed: worst-case efficiency.
Inf. Comput. 191(2): 105-144 (2004) |
| 2003 |
|---|
| 24 | EE | Barry Norton,
Gerald Lüttgen,
Michael Mendler:
A Compositional Semantic Theory for Synchronous Component-based Design.
CONCUR 2003: 453-467 |
| 23 | EE | Manfred Broy,
Gerald Lüttgen,
Michael Mendler:
Editorial: Where Theory and Practice Meet.
Formal Asp. Comput. 15(4): 297-298 (2003) |
| 2002 |
|---|
| 22 | EE | Gerald Lüttgen,
Michael Mendler:
Axiomatizing an Algebra of Step Reactions for Synchronous Languages.
CONCUR 2002: 386-401 |
| 21 | EE | Gerald Lüttgen,
Michael Mendler:
The intuitionism behind Statecharts steps.
ACM Trans. Comput. Log. 3(1): 1-41 (2002) |
| 20 | EE | Gerald Lüttgen,
Michael Mendler:
Towards a Model-Theory for Esterel.
Electr. Notes Theor. Comput. Sci. 65(5): (2002) |
| 19 | EE | Rance Cleaveland,
Gerald Lüttgen:
A Logical Process Calculus.
Electr. Notes Theor. Comput. Sci. 68(2): (2002) |
| 2001 |
|---|
| 18 | EE | Gerald Lüttgen,
Walter Vogler:
A Faster-than Relation for Asynchronous Processes.
CONCUR 2001: 262-276 |
| 17 | | Gerald Lüttgen,
Michael Mendler:
Statecharts: From Visual Syntax to Model-Theoretic Semantics.
GI Jahrestagung (1) 2001: 615-621 |
| 16 | EE | Gianfranco Ciardo,
Gerald Lüttgen,
Radu Siminiceanu:
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation.
TACAS 2001: 328-342 |
| 2000 |
|---|
| 15 | EE | Rance Cleaveland,
Gerald Lüttgen:
A Semantic Theory for Heterogeneous System Design.
FSTTCS 2000: 312-324 |
| 14 | EE | Gerald Lüttgen,
Michael Mendler:
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models.
ICALP 2000: 163-174 |
| 13 | EE | Gianfranco Ciardo,
Gerald Lüttgen,
Radu Siminiceanu:
Efficient Symbolic State-Space Construction for Asynchronous Systems.
ICATPN 2000: 103-122 |
| 12 | EE | Gerald Lüttgen,
Michael von der Beeck,
Rance Cleaveland:
A compositional approach to statecharts semantics.
SIGSOFT FSE 2000: 120-129 |
| 1999 |
|---|
| 11 | EE | Gerald Lüttgen,
Michael von der Beeck,
Rance Cleaveland:
Statecharts Via Process Algebra.
CONCUR 1999: 399-414 |
| 10 | EE | Gerald Lüttgen,
Victor Carreño:
Analyzing Mode Confusion via Model Checking.
SPIN 1999: 120-135 |
| 9 | | Girish Bhat,
Rance Cleaveland,
Gerald Lüttgen:
A Practical Approach to Implementing Real-Time Semantics.
Ann. Software Eng. 7: 127-155 (1999) |
| 1998 |
|---|
| 8 | EE | Rance Cleaveland,
Gerald Lüttgen,
V. Natarajan:
A Process Algebra with Distributed Priorities.
Theor. Comput. Sci. 195(2): 227-258 (1998) |
| 1997 |
|---|
| 7 | | Rance Cleaveland,
Gerald Lüttgen,
Michael Mendler:
An Algebraic Theory of Multiple Clocks.
CONCUR 1997: 166-180 |
| 6 | | Girish Bhat,
Rance Cleaveland,
Gerald Lüttgen:
Dynamic Priorities for Modeling Real-Time.
FORTE 1997: 321-336 |
| 1996 |
|---|
| 5 | | 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 |
| 4 | | Rance Cleaveland,
Gerald Lüttgen,
V. Natarajan:
A Process Algebra with Distributed Priorities.
CONCUR 1996: 34-49 |
| 3 | | Rance Cleaveland,
Gerald Lüttgen,
V. Natarajan,
Steve Sims:
Priorities for Modeling and Verifying Distributed Systems.
TACAS 1996: 278-297 |
| 2 | | Susanne Graf,
Bernhard Steffen,
Gerald Lüttgen:
Compositional Minimisation of Finite State Systems Using Interface Specifications.
Formal Asp. Comput. 8(5): 607-616 (1996) |
| 1 | | Rance Cleaveland,
V. Natarajan,
Steve Sims,
Gerald Lüttgen:
Modeling and Verifying Distributed Systems Using Priorities: A Case Study.
Software - Concepts and Tools 17(2): 50-62 (1996) |
