Dennis Dams

	2009
32		Ana Cavalcanti, Dennis Dams: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings Springer 2009
	2008
31		Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett: Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. SAS 2008: 62-77
	2007
30		Dennis Dams: StackSnuffer: Curing Orion's Unsoundness. SPIN 2007: 1
	2005
29		Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards: Incremental Algorithms for Inter-procedural Analysis of Safety Properties. CAV 2005: 449-461
28		Dennis Dams, Kedar S. Namjoshi: Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. FMCO 2005: 138-160
27		Dennis Dams, Kedar S. Namjoshi: Automata as Abstractions. VMCAI 2005: 216-232
	2004
26		Dennis Dams, Kedar S. Namjoshi: The Existence of Finite Abstractions for Branching Time Model Checking. LICS 2004: 335-344
	2003
25		Dennis Dams, Kedar S. Namjoshi: Shape Analysis through Predicate Abstraction and Model Checking. VMCAI 2003: 310-324
24		Dennis Dams: Comparing Abstraction Refinement Algorithms. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
	2002
23		Dennis Dams, William Hesse, Gerard J. Holzmann: Abstracting C with abC. CAV 2002: 515-520
22		Dennis Dams: Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). SPIN 2002: 14-21
21		Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating transducers. J. Log. Algebr. Program. 52-53: 109-127 (2002)
20		Dragan Bosnacki, Dennis Dams, Leszek Holenderski: Symmetric Spin. STTT 4(1): 92-106 (2002)
	2001
19		Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating Transducers. CAV 2001: 286-297
18		Dragan Bosnacki, Dennis Dams, Leszek Holenderski: A Heuristic for Symmetry Reductions with Scalarsets. FME 2001: 518-533
	2000
17		Marc Geilen, Dennis Dams: An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. FTRTFT 2000: 276-290
16		Dragan Bosnacki, Dennis Dams, Leszek Holenderski: Symmetric Spin. SPIN 2000: 1-19
15		Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova: Model Checking SDL with Spin. TACAS 2000: 363-377
	1999
14		Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings Springer 1999
13		Dennis Dams: Flat Fragments of CTL and CTL*: Separating the Expressive and Distinguishing Powers. Logic Journal of the IGPL 7(1): 55-78 (1999)
	1998
12		Dragan Bosnacki, Dennis Dams: Integrating Real Time into Spin: A Prototype Implementation. FORTE 1998: 423-438
11		Dragan Bosnacki, Dennis Dams: Discrete-Time Promela and Spin. FTRTFT 1998: 307-310
10		Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper: Partial-order Reduction Techniques for Real-time Model Checking. Formal Asp. Comput. 10(5-6): 469-482 (1998)
	1997
9		Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori: Verification, Model Checking and Abstract Interpretation (Workshop Overview). ILPS 1997: 421-422
8		Dennis Dams, Rob Gerth, Orna Grumberg: Abstract Interpretation of Reactive Systems. ACM Trans. Program. Lang. Syst. 19(2): 253-291 (1997)
7		Dennis Dams, Rob Gerth: The bounded retransmission protocol revisited. Electr. Notes Theor. Comput. Sci. 9: (1997)
	1996
6		Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe: On the Design of a Correct Freeness Analysis for Logic Programs. J. Log. Program. 28(3): 181-206 (1996)
	1994
5		Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann: Model Checking Using Adaptive State and Data Abstraction. CAV 1994: 455-467
4		Michael Codish, Dennis Dams, Eyal Yardeni: Bottom-up Abstract Interpretation of Logic Programs. Theor. Comput. Sci. 124(1): 93-125 (1994)
	1993
3		Dennis Dams, Orna Grumberg, Rob Gerth: Generation of Reduced Models for Checking Fragments of CTL. CAV 1993: 479-490
2		Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe: Freeness Analysis for Logic Programs - And Correctness? ICLP 1993: 116-131
	1991
1		Michael Codish, Dennis Dams, Eyal Yardeni: Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. ICLP 1991: 79-93

Coauthor Index

1	Clark W. Barrett (Clark Barrett)	[31]
2	Dragan Bosnacki	[11] [12] [15] [16] [18] [20]
3	Annalisa Bossi	[9]
4	Maurice Bruynooghe	[2] [6]
5	Ana Cavalcanti	[32]
6	Michael Codish	[1] [2] [4] [6]
7	Christopher L. Conway	[29] [31]
8	Gert Döhmen	[5]
9	Stephen A. Edwards	[29]
10	Gilberto Filé	[2] [6] [9]
11	Marc Geilen	[17]
12	Rob Gerth	[3] [5] [7] [8] [10] [14]
13	Orna Grumberg	[3] [8]
14	Ronald Herrmann	[5]
15	William Hesse	[23]
16	Leszek Holenderski	[15] [16] [18] [20]
17	Gerard J. Holzmann	[23]
18	Peter Kelb	[5]
19	Bart Knaack	[10]
20	Ruurd Kuiper	[10]
21	Yassine Lakhnech	[19] [21]
22	Stefan Leue	[14]
23	Elena Marchiori	[9]
24	Mieke Massink	[14]
25	Kedar S. Namjoshi	[25] [26] [27] [28] [29] [31]
26	Hergen Pargmann	[5]
27	Natalia Sidorova	[15]
28	Martin Steffen	[19] [21]
29	Eyal Yardeni	[1] [4]

Colors in the list of coauthors