Dennis Dams

2008
31	EE	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	EE	Dennis Dams: StackSnuffer: Curing Orion's Unsoundness. SPIN 2007: 1
2005
29	EE	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	EE	Dennis Dams, Kedar S. Namjoshi: Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. FMCO 2005: 138-160
27	EE	Dennis Dams, Kedar S. Namjoshi: Automata as Abstractions. VMCAI 2005: 216-232
2004
26	EE	Dennis Dams, Kedar S. Namjoshi: The Existence of Finite Abstractions for Branching Time Model Checking. LICS 2004: 335-344
2003
25	EE	Dennis Dams, Kedar S. Namjoshi: Shape Analysis through Predicate Abstraction and Model Checking. VMCAI 2003: 310-324
24	EE	Dennis Dams: Comparing Abstraction Refinement Algorithms. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
2002
23	EE	Dennis Dams, William Hesse, Gerard J. Holzmann: Abstracting C with abC. CAV 2002: 515-520
22	EE	Dennis Dams: Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). SPIN 2002: 14-21
21	EE	Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating transducers. J. Log. Algebr. Program. 52-53: 109-127 (2002)
20	EE	Dragan Bosnacki, Dennis Dams, Leszek Holenderski: Symmetric Spin. STTT 4(1): 92-106 (2002)
2001
19	EE	Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating Transducers. CAV 2001: 286-297
18	EE	Dragan Bosnacki, Dennis Dams, Leszek Holenderski: A Heuristic for Symmetry Reductions with Scalarsets. FME 2001: 518-533
2000
17	EE	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	EE	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	EE	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	EE	Dragan Bosnacki, Dennis Dams: Discrete-Time Promela and Spin. FTRTFT 1998: 307-310
10	EE	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	EE	Dennis Dams, Rob Gerth, Orna Grumberg: Abstract Interpretation of Reactive Systems. ACM Trans. Program. Lang. Syst. 19(2): 253-291 (1997)
7	EE	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	Michael Codish	[1] [2] [4] [6]
6	Christopher L. Conway	[29] [31]
7	Gert Döhmen	[5]
8	Stephen A. Edwards	[29]
9	Gilberto Filé	[2] [6] [9]
10	Marc Geilen	[17]
11	Rob Gerth	[3] [5] [7] [8] [10] [14]
12	Orna Grumberg	[3] [8]
13	Ronald Herrmann	[5]
14	William Hesse	[23]
15	Leszek Holenderski	[15] [16] [18] [20]
16	Gerard J. Holzmann	[23]
17	Peter Kelb	[5]
18	Bart Knaack	[10]
19	Ruurd Kuiper	[10]
20	Yassine Lakhnech	[19] [21]
21	Stefan Leue	[14]
22	Elena Marchiori	[9]
23	Mieke Massink	[14]
24	Kedar S. Namjoshi	[25] [26] [27] [28] [29] [31]
25	Hergen Pargmann	[5]
26	Natalia Sidorova	[15]
27	Martin Steffen	[19] [21]
28	Eyal Yardeni	[1] [4]

Colors in the list of coauthors