Benet Devereux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2001–2006
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | FASE | Automated Support for Building Behavioral Models of Event-Driven Systems. | Benet Devereux, Marsha Chechik |
| 2003 | ICSE | \chiChek: A Model Checker for Multi-Valued Reasoning. | Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh |
| 2002 | CAV | chi-Chek: A Multi-valued Model-Checker. | Marsha Chechik, Arie Gurfinkel, Benet Devereux |
| 2001 | CONCUR | Efficient Multiple-Valued Model-Checking Using Lattice Representations. | Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh |
| 2001 | TACAS | Implementing a Multi-valued Symbolic Model Checker. | Marsha Chechik, Benet Devereux, Steve M. Easterbrook |