BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Finland
1 × Greece
1 × Hungary
1 × Spain
1 × United Kingdom
2 × Germany
2 × USA
3 × France
Collaborated with:
K.S.Namjoshi D.Bošnački L.Holenderski M.Codish C.L.Conway R.Gerth W.Hesse G.J.Holzmann Y.Lakhnech M.Steffen O.Grumberg E.Yardeni C.Barrett S.A.Edwards N.Sidorova G.Filé M.Bruynooghe G.Döhmen R.Herrmann P.Kelb H.Pargmann
Talks about:
abstract (6) analysi (5) model (5) check (5) algorithm (2) safeti (2) scalarset (1) increment (1) transduc (1) symmetri (1)

Person: Dennis Dams

DBLP DBLP: Dams:Dennis

Facilitated 1 volumes:

FM 2009Ed

Contributed to:

SAS 20082008
CAV 20052005
VMCAI 20052005
LICS 20042004
VMCAI 20032003
CAV 20022002
CAV 20012001
FME 20012001
TACAS 20002000
CAV 19941994
CAV 19931993
ICLP 19931993
ICLP 19911991

Wrote 13 papers:

SAS-2008-ConwayDNB #analysis #fault #pointer #proving
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (CLC, DD, KSN, CB), pp. 62–77.
CAV-2005-ConwayNDE #algorithm #analysis #incremental #interprocedural #safety
Incremental Algorithms for Inter-procedural Analysis of Safety Properties (CLC, KSN, DD, SAE), pp. 449–461.
VMCAI-2005-DamsN #abstraction #automaton
Automata as Abstractions (DD, KSN), pp. 216–232.
LICS-2004-DamsN #abstraction #branch #finite #model checking
The Existence of Finite Abstractions for Branching Time Model Checking (DD, KSN), pp. 335–344.
VMCAI-2003-DamsN #abstraction #analysis #model checking
Shape Analysis through Predicate Abstraction and Model Checking (DD, KSN), pp. 310–324.
CAV-2002-DamsHH #c
Abstracting C with abC (DD, WH, GJH), pp. 515–520.
CAV-2001-DamsLS #transducer
Iterating Transducers (DD, YL, MS), pp. 286–297.
FME-2001-BosnackiDH #heuristic #reduction #symmetry
A Heuristic for Symmetry Reductions with Scalarsets (DB, DD, LH), pp. 518–533.
TACAS-2000-BosnackiDHS #model checking
Model Checking SDL with Spin (DB, DD, LH, NS), pp. 363–377.
CAV-1994-DamsGDHKP #abstraction #adaptation #model checking #using
Model Checking Using Adaptive State and Data Abstraction (DD, RG, GD, RH, PK, HP), pp. 455–467.
CAV-1993-DamsGG #generative #modelling
Generation of Reduced Models for Checking Fragments of CTL (DD, OG, RG), pp. 479–490.
ICLP-1993-CodishDFB #analysis #correctness #logic programming #question #source code
Freeness Analysis for Logic Programs — And Correctness? (MC, DD, GF, MB), pp. 116–131.
ICLP-1991-CodishDY #algorithm #alias #analysis #safety #unification
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis (MC, DD, EY), pp. 79–93.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.