dblp.uni-trier.dewww.uni-trier.de

Dennis Dams Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
31EEChristopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett: Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. SAS 2008: 62-77
2007
30EEDennis Dams: StackSnuffer: Curing Orion's Unsoundness. SPIN 2007: 1
2005
29EEChristopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards: Incremental Algorithms for Inter-procedural Analysis of Safety Properties. CAV 2005: 449-461
28EEDennis Dams, Kedar S. Namjoshi: Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. FMCO 2005: 138-160
27EEDennis Dams, Kedar S. Namjoshi: Automata as Abstractions. VMCAI 2005: 216-232
2004
26EEDennis Dams, Kedar S. Namjoshi: The Existence of Finite Abstractions for Branching Time Model Checking. LICS 2004: 335-344
2003
25EEDennis Dams, Kedar S. Namjoshi: Shape Analysis through Predicate Abstraction and Model Checking. VMCAI 2003: 310-324
24EEDennis Dams: Comparing Abstraction Refinement Algorithms. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
2002
23EEDennis Dams, William Hesse, Gerard J. Holzmann: Abstracting C with abC. CAV 2002: 515-520
22EEDennis Dams: Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). SPIN 2002: 14-21
21EEDennis Dams, Yassine Lakhnech, Martin Steffen: Iterating transducers. J. Log. Algebr. Program. 52-53: 109-127 (2002)
20EEDragan Bosnacki, Dennis Dams, Leszek Holenderski: Symmetric Spin. STTT 4(1): 92-106 (2002)
2001
19EEDennis Dams, Yassine Lakhnech, Martin Steffen: Iterating Transducers. CAV 2001: 286-297
18EEDragan Bosnacki, Dennis Dams, Leszek Holenderski: A Heuristic for Symmetry Reductions with Scalarsets. FME 2001: 518-533
2000
17EEMarc 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
15EEDragan 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
13EEDennis 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
11EEDragan Bosnacki, Dennis Dams: Discrete-Time Promela and Spin. FTRTFT 1998: 307-310
10EEDennis 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
8EEDennis Dams, Rob Gerth, Orna Grumberg: Abstract Interpretation of Reactive Systems. ACM Trans. Program. Lang. Syst. 19(2): 253-291 (1997)
7EEDennis 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
5EEDennis 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
3EEDennis 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)