Benet Devereux

According to our database, Benet Devereux authored at least 13 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Data structures for symbolic multi-valued model-checking.

Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook

Formal Methods Syst. Des., 2006

Automated Support for Building Behavioral Models of Event-Driven Systems.

Benet Devereux, Marsha Chechik

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2003

Temporal Logic Query Checking: A Tool for Model Exploration.

Arie Gurfinkel, Marsha Chechik, Benet Devereux

IEEE Trans. Software Eng., 2003

Multi-valued symbolic model-checking.

Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel

ACM Trans. Softw. Eng. Methodol., 2003

Edge-Shifted Decision Diagrams for Multiple-Valued Logic.

Benet Devereux, Marsha Chechik

J. Multiple Valued Log. Soft Comput., 2003

\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

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

Model exploration with temporal logic query checking.

Arie Gurfinkel, Benet Devereux, Marsha Chechik

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Strong next-time operators for multiple-valued mu-calculus.

Benet Devereux

Proceedings of the Fixed Points in Computer Science, 2002

chi-Chek: A Multi-valued Model-Checker.

Marsha Chechik, Arie Gurfinkel, Benet Devereux

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Implementing a Multi-valued Symbolic Model Checker.

Marsha Chechik, Benet Devereux, Steve M. Easterbrook

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN.

Marsha Chechik, Benet Devereux, Arie Gurfinkel

Proceedings of the Model Checking Software, 2001

Model Checking with Multi-Valued Temporal Logics.

Marsha Chechik, Steve M. Easterbrook, Benet Devereux

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

Efficient Multiple-Valued Model-Checking Using Lattice Representations.

Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh

Proceedings of the CONCUR 2001, 2001