Benet Devereux

13 papers A* 2A 1B 2Journal 4Unranked 4

Year	Rank	Type	Title / 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

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz