The SCEAS System
| |||||||

## 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.004secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |