The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dennis Dams: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  30. A Bibliography of Willem-Paul de Roever. [Citation Graph (, )][DBLP]


  31. Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. [Citation Graph (, )][DBLP]


  32. Telco meets the Web: Programming shared-experience services. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002