| 2006 |
|---|
| 12 | EE | Benet Devereux,
Marsha Chechik:
Automated Support for Building Behavioral Models of Event-Driven Systems.
FASE 2006: 122-138 |
| 11 | EE | Marsha Chechik,
Arie Gurfinkel,
Benet Devereux,
Albert Y. C. Lai,
Steve M. Easterbrook:
Data structures for symbolic multi-valued model-checking.
Formal Methods in System Design 29(3): 295-344 (2006) |
| 2003 |
|---|
| 10 | EE | 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.
ICSE 2003: 804-805 |
| 9 | EE | Marsha Chechik,
Benet Devereux,
Steve M. Easterbrook,
Arie Gurfinkel:
Multi-valued symbolic model-checking.
ACM Trans. Softw. Eng. Methodol. 12(4): 371-408 (2003) |
| 8 | EE | Arie Gurfinkel,
Marsha Chechik,
Benet Devereux:
Temporal Logic Query Checking: A Tool for Model Exploration.
IEEE Trans. Software Eng. 29(10): 898-914 (2003) |
| 2002 |
|---|
| 7 | EE | Marsha Chechik,
Arie Gurfinkel,
Benet Devereux:
chi-Chek: A Multi-valued Model-Checker.
CAV 2002: 505-509 |
| 6 | | Benet Devereux:
Strong next-time operators for multiple-valued mu-calculus.
FICS 2002: 40-43 |
| 5 | EE | Arie Gurfinkel,
Benet Devereux,
Marsha Chechik:
Model exploration with temporal logic query checking.
SIGSOFT FSE 2002: 139-148 |
| 2001 |
|---|
| 4 | EE | Marsha Chechik,
Benet Devereux,
Steve M. Easterbrook,
Albert Y. C. Lai,
Victor Petrovykh:
Efficient Multiple-Valued Model-Checking Using Lattice Representations.
CONCUR 2001: 441-455 |
| 3 | | Marsha Chechik,
Steve M. Easterbrook,
Benet Devereux:
Model Checking with Multi-Valued Temporal Logics.
ISMVL 2001: 187-192 |
| 2 | EE | Marsha Chechik,
Benet Devereux,
Arie Gurfinkel:
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN.
SPIN 2001: 16-36 |
| 1 | EE | Marsha Chechik,
Benet Devereux,
Steve M. Easterbrook:
Implementing a Multi-valued Symbolic Model Checker.
TACAS 2001: 404-419 |
