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 |