Gerald Lüttgen

	2009
51		Jan Tobias Mühlberg, Gerald Lüttgen: Verifying Compiled File System Code. SBMF 2009: 306-320
50		Gerald Lüttgen, Walter Vogler: Safe Reasoning with Logic LTS. SOFSEM 2009: 376-387
49		Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu: Model-Checking the Linux Virtual File System. VMCAI 2009: 74-88
48		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)
47		Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen: Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. STTT 11(2): 117-131 (2009)
	2008
46		Jonathan Ezekiel, Gerald Lüttgen: Measuring and Evaluating Parallel State-Space Exploration Algorithms. Electr. Notes Theor. Comput. Sci. 198(1): 47-61 (2008)
45		Ivana Cerná, Gerald Lüttgen: Preface. Electr. Notes Theor. Comput. Sci. 220(2): 1-2 (2008)
44		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
43		Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo: Parallelising Symbolic State-Space Generators. CAV 2007: 268-280
42		Michael Mendler, Gerald Lüttgen: Is Observational Congruence Axiomatisable in Equational Horn Logic? CONCUR 2007: 197-211
41		Gerald Lüttgen, Walter Vogler: Ready Simulation for Concurrency: It's Logical! ICALP 2007: 752-763
40		Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu: Improving Static Variable Orders Via Invariants. ICATPN 2007: 83-103
39		Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen: Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. TACAS 2007: 648-663
38		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)
37		Rance Cleaveland, Gerald Lüttgen, V. Natarajan: Priority and abstraction in process algebra. Inf. Comput. 205(9): 1426-1458 (2007)
36		Gerald Lüttgen, Walter Vogler: Conjunction on processes: Full abstraction via ready-tree semantics. Theor. Comput. Sci. 373(1-2): 19-40 (2007)
	2006
35		Jan Tobias Mühlberg, Gerald Lüttgen: Blasting Linux Code. FMICS/PDMC 2006: 211-226
34		Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu: Can Saturation Be Parallelised? FMICS/PDMC 2006: 331-346
33		Gerald Lüttgen, Walter Vogler: Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. FoSSaCS 2006: 261-276
32		Gerald Lüttgen, Walter Vogler: Bisimulation on speed: A unified approach. Theor. Comput. Sci. 360(1-3): 209-227 (2006)
	2005
31		Gerald Lüttgen, Walter Vogler: Bisimulation on Speed: A Unified Approach. FoSSaCS 2005: 79-94
30		Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler: Preface. Electr. Notes Theor. Comput. Sci. 115: 1-2 (2005)
29		Gerald Lüttgen, Walter Vogler: Bisimulation on speed: Lower time bounds. ITA 39(3): 587-618 (2005)
	2004
28		Gerald Lüttgen, Walter Vogler: Bisimulation on Speed: Lower Time Bounds. FoSSaCS 2004: 333-347
27		Joaquin Aguado, Michael Mendler, Gerald Lüttgen: A-maze-ing Esterel. Electr. Notes Theor. Comput. Sci. 88: 21-37 (2004)
26		Manfred Broy, Gerald Lüttgen, Michael Mendler: Editorial. Formal Asp. Comput. 16(3): 165- (2004)
25		Gerald Lüttgen, Walter Vogler: Bisimulation on speed: worst-case efficiency. Inf. Comput. 191(2): 105-144 (2004)
	2003
24		Barry Norton, Gerald Lüttgen, Michael Mendler: A Compositional Semantic Theory for Synchronous Component-based Design. CONCUR 2003: 453-467
23		Manfred Broy, Gerald Lüttgen, Michael Mendler: Editorial: Where Theory and Practice Meet. Formal Asp. Comput. 15(4): 297-298 (2003)
	2002
22		Gerald Lüttgen, Michael Mendler: Axiomatizing an Algebra of Step Reactions for Synchronous Languages. CONCUR 2002: 386-401
21		Gerald Lüttgen, Michael Mendler: The intuitionism behind Statecharts steps. ACM Trans. Comput. Log. 3(1): 1-41 (2002)
20		Gerald Lüttgen, Michael Mendler: Towards a Model-Theory for Esterel. Electr. Notes Theor. Comput. Sci. 65(5): (2002)
19		Rance Cleaveland, Gerald Lüttgen: A Logical Process Calculus. Electr. Notes Theor. Comput. Sci. 68(2): (2002)
	2001
18		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		Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu: Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. TACAS 2001: 328-342
	2000
15		Rance Cleaveland, Gerald Lüttgen: A Semantic Theory for Heterogeneous System Design. FSTTCS 2000: 312-324
14		Gerald Lüttgen, Michael Mendler: Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. ICALP 2000: 163-174
13		Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu: Efficient Symbolic State-Space Construction for Asynchronous Systems. ICATPN 2000: 103-122
12		Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland: A compositional approach to statecharts semantics. SIGSOFT FSE 2000: 120-129
	1999
11		Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland: Statecharts Via Process Algebra. CONCUR 1999: 399-414
10		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		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)

Coauthor Index

1	Joaquin Aguado	[27]
2	Michael von der Beeck	[11] [12]
3	Girish Bhat	[6] [9]
4	Kirill Bogdanov	[48]
5	Jonathan P. Bowen	[48]
6	Manfred Broy	[23] [26]
7	Victor Carreño	[10]
8	Ivana Cerná (Ivana Cerna)	[45]
9	Gianfranco Ciardo	[13] [16] [38] [39] [40] [43] [47]
10	Rance Cleaveland	[1] [3] [4] [6] [7] [8] [9] [11] [12] [15] [19] [37] [48]
11	John Derrick	[48]
12	Jeremy Dick	[48]
13	Jonathan Ezekiel	[34] [43] [46]
14	Andy Galloway	[49]
15	Alfons Geser	[5]
16	Marian Gheorghe	[48]
17	Susanne Graf	[2]
18	Mark Harman	[48]
19	Robert M. Hierons	[48]
20	Kalpesh Kapoor	[48]
21	Jens Knoop	[5]
22	Paul Krause	[48]
23	Natividad Martínez Madrid	[30]
24	Michael Mendler	[7] [14] [17] [20] [21] [22] [23] [24] [26] [27] [30] [42]
25	Andrew S. Miner	[38]
26	Jan Tobias Mühlberg	[35] [49] [51]
27	V. Natarajan	[1] [3] [4] [8] [37]
28	Barry Norton	[24]
29	Oliver Rüthing	[5]
30	Radu Siminiceanu	[13] [16] [34] [49]
31	Anthony J. H. Simons	[48]
32	Steve Sims	[1] [3]
33	Bernhard Steffen	[2] [5]
34	Sergiy A. Vilkomir	[48]
35	Walter Vogler	[18] [25] [28] [29] [31] [32] [33] [36] [41] [50]
36	Martin R. Woodward	[48]
37	Andy Jinqing Yu	[39] [40] [47]
38	Hussein Zedan (Hussein S. M. Zedan)	[48]

Colors in the list of coauthors