BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Italy
2 × USA
Collaborated with:
M.Chechik A.Gurfinkel S.M.Easterbrook A.Y.C.Lai V.Petrovykh A.Tafliovich C.D.Thompson-Walsh
Talks about:
model (5) checker (3) multi (3) valu (3) chek (2) implement (1) behavior (1) support (1) tempor (1) system (1)

Person: Benet Devereux

DBLP DBLP: Devereux:Benet

Contributed to:

FASE 20062006
ICSE 20032003
CAV 20022002
FSE 20022002
TACAS 20012001

Wrote 5 papers:

FASE-2006-DevereuxC #automation #behaviour #modelling
Automated Support for Building Behavioral Models of Event-Driven Systems (BD, MC), pp. 122–138.
ICSE-2003-EasterbrookCDGLPTT #model checking #multi #named #reasoning
χChek: A Model Checker for Multi-Valued Reasoning (SME, MC, BD, AG, AYCL, VP, AT, CDTW), pp. 804–805.
CAV-2002-ChechikGD #model checking #multi #named
chi-Chek: A Multi-valued Model-Checker (MC, AG, BD), pp. 505–509.
FSE-2002-GurfinkelDC #logic #query
Model exploration with temporal logic query checking (AG, BD, MC), pp. 139–148.
TACAS-2001-ChechikDE #implementation #model checking #multi
Implementing a Multi-valued Symbolic Model Checker (MC, BD, SME), pp. 404–419.

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.