Gerald Lüttgen

	2012
60		Jan Tobias Mühlberg, Gerald Lüttgen: Verifying compiled file system code. Formal Asp. Comput. 24(3): 375-391 (2012)
	2011
59		Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu: To Parallelize or to Optimize? J. Log. Comput. 21(1): 85-120 (2011)
58		Gerald Lüttgen, Walter Vogler: Safe reasoning with Logic LTS. Theor. Comput. Sci. 412(28): 3337-3357 (2011)
	2010
57		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
56		Jan Tobias Mühlberg, Gerald Lüttgen: Symbolic Object Code Analysis. SPIN 2010: 4-21
55		Michael Mendler, Gerald Lüttgen: Is observational congruence on µ-expressions axiomatisable in equational Horn logic? Inf. Comput. 208(6): 634-651 (2010)
54		Gerald Lüttgen, Walter Vogler: Ready simulation for concurrency: It's logical! Inf. Comput. 208(7): 845-867 (2010)
	2009
53		Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt: On the Expressiveness of Refinement Settings. FSEN 2009: 276-291
52		Jan Tobias Mühlberg, Gerald Lüttgen: Verifying Compiled File System Code. SBMF 2009: 306-320
51		Gerald Lüttgen, Walter Vogler: Safe Reasoning with Logic LTS. SOFSEM 2009: 376-387
50		Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu: Model-Checking the Linux Virtual File System. VMCAI 2009: 74-88
49		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)
48		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
47		Jonathan Ezekiel, Gerald Lüttgen: Measuring and Evaluating Parallel State-Space Exploration Algorithms. Electr. Notes Theor. Comput. Sci. 198(1): 47-61 (2008)
46		Ivana Cerná, Gerald Lüttgen: Preface. Electr. Notes Theor. Comput. Sci. 220(2): 1-2 (2008)
45		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
44		Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo: Parallelising Symbolic State-Space Generators. CAV 2007: 268-280
43		Michael Mendler, Gerald Lüttgen: Is Observational Congruence Axiomatisable in Equational Horn Logic? CONCUR 2007: 197-211
42		Gerald Lüttgen, Walter Vogler: Ready Simulation for Concurrency: It's Logical! ICALP 2007: 752-763
41		Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu: Improving Static Variable Orders Via Invariants. ICATPN 2007: 83-103
40		Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen: Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. TACAS 2007: 648-663
39		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)
38		Rance Cleaveland, Gerald Lüttgen, V. Natarajan: Priority and abstraction in process algebra. Inf. Comput. 205(9): 1426-1458 (2007)
37		Gerald Lüttgen, Walter Vogler: Conjunction on processes: Full abstraction via ready-tree semantics. Theor. Comput. Sci. 373(1-2): 19-40 (2007)
	2006
36		Jan Tobias Mühlberg, Gerald Lüttgen: Blasting Linux Code. FMICS/PDMC 2006: 211-226
35		Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu: Can Saturation Be Parallelised? FMICS/PDMC 2006: 331-346
34		Gerald Lüttgen, Walter Vogler: Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. FoSSaCS 2006: 261-276
33		Gerald Lüttgen, Walter Vogler: Bisimulation on speed: A unified approach. Theor. Comput. Sci. 360(1-3): 209-227 (2006)
	2005
32		Gerald Lüttgen, Walter Vogler: Bisimulation on Speed: A Unified Approach. FoSSaCS 2005: 79-94
31		Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler: Preface. Electr. Notes Theor. Comput. Sci. 115: 1-2 (2005)
30		Gerald Lüttgen, Walter Vogler: Bisimulation on speed: Lower time bounds. ITA 39(3): 587-618 (2005)
	2004
29		Gerald Lüttgen, Walter Vogler: Bisimulation on Speed: Lower Time Bounds. FoSSaCS 2004: 333-347
28		Joaquin Aguado, Michael Mendler, Gerald Lüttgen: A-maze-ing Esterel. Electr. Notes Theor. Comput. Sci. 88: 21-37 (2004)
27		Manfred Broy, Gerald Lüttgen, Michael Mendler: Editorial. Formal Asp. Comput. 16(3): 165- (2004)
26		Gerald Lüttgen, Walter Vogler: Bisimulation on speed: worst-case efficiency. Inf. Comput. 191(2): 105-144 (2004)
	2003
25		Barry Norton, Gerald Lüttgen, Michael Mendler: A Compositional Semantic Theory for Synchronous Component-based Design. CONCUR 2003: 453-467
24		Manfred Broy, Gerald Lüttgen, Michael Mendler: Editorial: Where Theory and Practice Meet. Formal Asp. Comput. 15(4): 297-298 (2003)
	2002
23		Gerald Lüttgen, Michael Mendler: Axiomatizing an Algebra of Step Reactions for Synchronous Languages. CONCUR 2002: 386-401
22		Gerald Lüttgen, Michael Mendler: The intuitionism behind Statecharts steps. ACM Trans. Comput. Log. 3(1): 1-41 (2002)
21		Gerald Lüttgen, Michael Mendler: Towards a Model-Theory for Esterel. Electr. Notes Theor. Comput. Sci. 65(5): 95-109 (2002)
20		Rance Cleaveland, Gerald Lüttgen: A Logical Process Calculus. Electr. Notes Theor. Comput. Sci. 68(2): 33-50 (2002)
	2001
19		Gerald Lüttgen, Walter Vogler: A Faster-than Relation for Asynchronous Processes. CONCUR 2001: 262-276
18		Gerald Lüttgen, Michael Mendler: Statecharts: From Visual Syntax to Model-Theoretic Semantics. GI Jahrestagung (1) 2001: 615-621
17		Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu: Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. TACAS 2001: 328-342
	2000
16		Rance Cleaveland, Gerald Lüttgen: A Semantic Theory for Heterogeneous System Design. FSTTCS 2000: 312-324
15		Gerald Lüttgen, Michael Mendler: Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. ICALP 2000: 163-174
14		Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu: Efficient Symbolic State-Space Construction for Asynchronous Systems. ICATPN 2000: 103-122
13		Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland: A compositional approach to statecharts semantics. SIGSOFT FSE 2000: 120-129
	1999
12		Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland: Statecharts Via Process Algebra. CONCUR 1999: 399-414
11		Gerald Lüttgen, Victor Carreño: Analyzing Mode Confusion via Model Checking. SPIN 1999: 120-135
10		Girish Bhat, Rance Cleaveland, Gerald Lüttgen: A Practical Approach to Implementing Real-Time Semantics. Ann. Software Eng. 7: 127-155 (1999)
	1998
9		Gerald Lüttgen: Pre-emptive modeling of concurrent and distributed systems. Shaker 1998: I-VIII, 1-265
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	[28]
2	Michael von der Beeck	[12] [13]
3	Girish Bhat	[6] [10]
4	Kirill Bogdanov	[49]
5	Jonathan P. Bowen	[49]
6	Manfred Broy	[24] [27]
7	Victor Carreño	[11]
8	Ivana Cerná (Ivana Cerna)	[46]
9	Gianfranco Ciardo	[14] [17] [39] [40] [41] [44] [48]
10	Rance Cleaveland	[1] [3] [4] [6] [7] [8] [10] [12] [13] [16] [20] [38] [49]
11	John Derrick	[49]
12	Jeremy Dick	[49]
13	Jonathan Ezekiel	[35] [44] [47] [59]
14	Harald Fecher	[53]
15	David de Frutos-Escrig	[53]
16	Andy Galloway	[50]
17	Alfons Geser	[5]
18	Marian Gheorghe	[49]
19	Susanne Graf	[2]
20	Mark Harman	[49]
21	Robert M. Hierons	[49]
22	Kalpesh Kapoor	[49]
23	Jens Knoop	[5]
24	Paul Krause	[49]
25	Natividad Martínez Madrid	[31]
26	Michael Mendler	[7] [15] [18] [21] [22] [23] [24] [25] [27] [28] [31] [43] [55] [57]
27	Andrew S. Miner	[39]
28	Jan Tobias Mühlberg	[36] [50] [52] [56] [60]
29	V. Natarajan	[1] [3] [4] [8] [38]
30	Barry Norton	[25]
31	Willem P. de Roever (Willem-Paul de Roever)	[57]
32	Oliver Rüthing	[5]
33	Heiko Schmidt	[53]
34	Radu Siminiceanu	[14] [17] [35] [50] [59]
35	Anthony J. H. Simons	[49]
36	Steve Sims	[1] [3]
37	Bernhard Steffen	[2] [5]
38	Sergiy A. Vilkomir	[49]
39	Walter Vogler	[19] [26] [29] [30] [32] [33] [34] [37] [42] [51] [54] [58]
40	Martin R. Woodward	[49]
41	Andy Jinqing Yu	[40] [41] [48]
42	Hussein Zedan (Hussein S. M. Zedan)	[49]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page