Benet Devereux

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