Search the dblp DataBase
Dennis Dams :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] Dennis Dams , William Hesse , Gerard J. Holzmann Abstracting C with abC. [Citation Graph (0, 0)][DBLP ] CAV, 2002, pp:515-520 [Conf ] Dennis Dams , Yassine Lakhnech , Martin Steffen Iterating Transducers. [Citation Graph (0, 0)][DBLP ] CAV, 2001, pp:286-297 [Conf ] Dragan Bosnacki , Dennis Dams , Leszek Holenderski A Heuristic for Symmetry Reductions with Scalarsets. [Citation Graph (0, 0)][DBLP ] FME, 2001, pp:518-533 [Conf ] 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 ] Dragan Bosnacki , Dennis Dams Integrating Real Time into Spin: A Prototype Implementation. [Citation Graph (0, 0)][DBLP ] FORTE, 1998, pp:423-438 [Conf ] Dragan Bosnacki , Dennis Dams Discrete-Time Promela and Spin. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1998, pp:307-310 [Conf ] 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 ] 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 ] 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 ] 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 ] Dragan Bosnacki , Dennis Dams , Leszek Holenderski Symmetric Spin. [Citation Graph (0, 0)][DBLP ] SPIN, 2000, pp:1-19 [Conf ] 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 ] Dragan Bosnacki , Dennis Dams , Leszek Holenderski , Natalia Sidorova Model Checking SDL with Spin. [Citation Graph (0, 0)][DBLP ] TACAS, 2000, pp:363-377 [Conf ] Dennis Dams , Kedar S. Namjoshi Shape Analysis through Predicate Abstraction and Model Checking. [Citation Graph (0, 0)][DBLP ] VMCAI, 2003, pp:310-324 [Conf ] Dennis Dams , Kedar S. Namjoshi Automata as Abstractions. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:216-232 [Conf ] Dennis Dams Comparing Abstraction Refinement Algorithms. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] Dragan Bosnacki , Dennis Dams , Leszek Holenderski Symmetric Spin. [Citation Graph (0, 0)][DBLP ] STTT, 2002, v:4, n:1, pp:92-106 [Journal ] 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 ] Dennis Dams StackSnuffer: Curing Orion's Unsoundness. [Citation Graph (0, 0)][DBLP ] SPIN, 2007, pp:1- [Conf ] A Bibliography of Willem-Paul de Roever. [Citation Graph (, )][DBLP ] Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. [Citation Graph (, )][DBLP ] Telco meets the Web: Programming shared-experience services. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.005secs