Abstraction in software model checking: Principles and practiceDAMS, Dennis.Lecture notes in computer science. 2002, pp 14-21, issn 0302-9743, isbn 3-540-43477-1Conference Paper

An on-the-fly tableau construction for a real-time Temporal LogicGEILEN, Marc; DAMS, Dennis.Lecture notes in computer science. 2000, pp 276-290, issn 0302-9743, isbn 3-540-41055-4Conference Paper

Applicable Formal MethodsCAVALCANTI, Ana; DAMS, Dennis; GAUDEL, Marie-Claude et al.Formal aspects of computing. 2011, Vol 23, Num 6, issn 0934-5043, 125 p.Serial Issue

The existence of finite abstractions for branching time model checkingDAMS, Dennis; NAMJOSHI, Kedar S.Symposium on Logic in Computer Science. 2004, pp 335-344, isbn 0-7695-2192-4, 1Vol, 10 p.Conference Paper

Integrated formal verification : Using model checking with automated abstraction, invariant generation, and theorem provingRUSHBY, J.Lecture notes in computer science. 1999, pp 1-11, issn 0302-9743, isbn 3-540-66499-8Conference Paper

Embedding a dialect of SDL in PROMELATUOMINEN, H.Lecture notes in computer science. 1999, pp 245-260, issn 0302-9743, isbn 3-540-66499-8Conference Paper

Partial order reduction in presence of rendez-vous communications with unless constructs and weak fairnessBOSNACKI, D.Lecture notes in computer science. 1999, pp 40-56, issn 0302-9743, isbn 3-540-66499-8Conference Paper

Java Pathfinder a translator from Java to PromelaHAVELUND, K.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66499-8, p. 152Conference Paper

Formal methods adoption : What's working, what's not!CRAIGEN, D.Lecture notes in computer science. 1999, pp 77-91, issn 0302-9743, isbn 3-540-66499-8Conference Paper

Abstracting C with abCDAMS, Dennis; HESSE, William; HOLZMANN, Gerard et al.Lecture notes in computer science. 2002, pp 515-520, issn 0302-9743, isbn 3-540-43997-8, 6 p.Conference Paper

Shape analysis through predicate abstraction and model checkingDAMS, Dennis; NAMJOSHI, Kedar S.Lecture notes in computer science. 2003, pp 310-323, issn 0302-9743, isbn 3-540-00348-7, 14 p.Conference Paper

Compositional refinement in agent-based security protocolsMCIVER, A. K; MORGAN, C. C.Formal aspects of computing. 2011, Vol 23, Num 6, pp 711-737, issn 0934-5043, 27 p.Article

Symbolic predictive analysis for concurrent programsCHAO WANG; KUNDU, Sudipta; LIMAYE, Rhishikesh et al.Formal aspects of computing. 2011, Vol 23, Num 6, pp 781-805, issn 0934-5043, 25 p.Article

Incremental algorithms for inter-procedural analysis of safety propertiesCONWAY, Christopher L; NAMJOSHI, Kedar S; DAMS, Dennis et al.Lecture notes in computer science. 2005, pp 449-461, issn 0302-9743, isbn 3-540-27231-3, 13 p.Conference Paper

Iterating transducersDAMS, Dennis; LAKHNECH, Yassine; STEFFEN, Martin et al.Lecture notes in computer science. 2001, pp 286-297, issn 0302-9743, isbn 3-540-42345-1Conference Paper

Distributed-memory model checking with SPINLERDA, F; SISTO, R.Lecture notes in computer science. 1999, pp 22-39, issn 0302-9743, isbn 3-540-66499-8Conference Paper

Analyzing mode confusion via model checkingLÜTTGEN, G; CARRENO, V.Lecture notes in computer science. 1999, pp 120-135, issn 0302-9743, isbn 3-540-66499-8Conference Paper

A framework for automatic construction of abstract Promela modelsGALLARDO, M.-D.-M; MERINO, P.Lecture notes in computer science. 1999, pp 184-199, issn 0302-9743, isbn 3-540-66499-8Conference Paper

Xspin/Project : Integrated validation management for XspinRUYS, T. C.Lecture notes in computer science. 1999, pp 108-119, issn 0302-9743, isbn 3-540-66499-8Conference Paper

Applying model checking in Java verificationHAVELUND, K; SKAKKEBAEK, J. U.Lecture notes in computer science. 1999, pp 216-231, issn 0302-9743, isbn 3-540-66499-8Conference Paper

VIP: A visual interface for PromelaKAMEL, M; LEUE, S.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66499-8, p. 153Conference Paper

Runtime efficient state compaction in SPINGELDENHUYS, J; DE VILLIERS, P. J. A.Lecture notes in computer science. 1999, pp 12-21, issn 0302-9743, isbn 3-540-66499-8Conference Paper

Model checking for managersJANSSEN, W; MATEESCU, R; MAUW, S et al.Lecture notes in computer science. 1999, pp 92-107, issn 0302-9743, isbn 3-540-66499-8Conference Paper