Benet Devereux

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Publications

Benet Devereux, Marsha Chechik
Automated Support for Building Behavioral Models of Event-Driven Systems. FASE (2006)
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook
Data structures for symbolic multi-valued model-checking. Formal Methods Syst. Des. 29 (3) (2006)
Benet Devereux, Marsha Chechik
Edge-Shifted Decision Diagrams for Multiple-Valued Logic. J. Multiple Valued Log. Soft Comput. 9 (1) (2003)
Arie Gurfinkel, Marsha Chechik, Benet Devereux
Temporal Logic Query Checking: A Tool for Model Exploration. IEEE Trans. Software Eng. 29 (10) (2003)
Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh
\chiChek: A Model Checker for Multi-Valued Reasoning. ICSE (2003)
Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel
Multi-valued symbolic model-checking. ACM Trans. Softw. Eng. Methodol. 12 (4) (2003)
Benet Devereux
Strong next-time operators for multiple-valued mu-calculus. FICS (2002)
Marsha Chechik, Arie Gurfinkel, Benet Devereux
chi-Chek: A Multi-valued Model-Checker. CAV (2002)
Arie Gurfinkel, Benet Devereux, Marsha Chechik
Model exploration with temporal logic query checking. SIGSOFT FSE (2002)
Marsha Chechik, Benet Devereux, Arie Gurfinkel
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. SPIN (2001)
Marsha Chechik, Steve M. Easterbrook, Benet Devereux
Model Checking with Multi-Valued Temporal Logics. ISMVL (2001)
Marsha Chechik, Benet Devereux, Steve M. Easterbrook
Implementing a Multi-valued Symbolic Model Checker. TACAS (2001)
Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh
Efficient Multiple-Valued Model-Checking Using Lattice Representations. CONCUR (2001)