|
Search the dblp DataBase
Benet Devereux:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marsha Chechik, Arie Gurfinkel, Benet Devereux
chi-Chek: A Multi-valued Model-Checker. [Citation Graph (0, 0)][DBLP] CAV, 2002, pp:505-509 [Conf]
- Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh
Efficient Multiple-Valued Model-Checking Using Lattice Representations. [Citation Graph (0, 0)][DBLP] CONCUR, 2001, pp:441-455 [Conf]
- Benet Devereux, Marsha Chechik
Automated Support for Building Behavioral Models of Event-Driven Systems. [Citation Graph (0, 0)][DBLP] FASE, 2006, pp:122-138 [Conf]
- Benet Devereux
Strong next-time operators for multiple-valued mu-calculus. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:40-43 [Conf]
- Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher Thompson-Walsh
\chiChek: A Model Checker for Multi-Valued Reasoning. [Citation Graph (0, 0)][DBLP] ICSE, 2003, pp:804-805 [Conf]
- Marsha Chechik, Steve M. Easterbrook, Benet Devereux
Model Checking with Multi-Valued Temporal Logics. [Citation Graph (0, 0)][DBLP] ISMVL, 2001, pp:187-192 [Conf]
- Arie Gurfinkel, Benet Devereux, Marsha Chechik
Model exploration with temporal logic query checking. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 2002, pp:139-148 [Conf]
- Marsha Chechik, Benet Devereux, Arie Gurfinkel
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. [Citation Graph (0, 0)][DBLP] SPIN, 2001, pp:16-36 [Conf]
- Marsha Chechik, Benet Devereux, Steve M. Easterbrook
Implementing a Multi-valued Symbolic Model Checker. [Citation Graph (0, 0)][DBLP] TACAS, 2001, pp:404-419 [Conf]
- Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook
Data structures for symbolic multi-valued model-checking. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:3, pp:295-344 [Journal]
- Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel
Multi-valued symbolic model-checking. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:4, pp:371-408 [Journal]
- Arie Gurfinkel, Marsha Chechik, Benet Devereux
Temporal Logic Query Checking: A Tool for Model Exploration. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2003, v:29, n:10, pp:898-914 [Journal]
Search in 0.003secs, Finished in 0.003secs
|