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: Devereux:Benet
Contributed to:
2006
2003
2002
2002
2001Wrote 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.