Robby, M. Dwyer and J. Hatcli#, Bogor: An extensible and highly-modular model checking framework, In FSE 03: Foundations of Software Engineering, pp. 267-276, ACM, 2003 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Analyzing Interaction Orderings with Model Checking - Matthew Dwyer Robby Self-citation (Robby Dwyer) (Correct)
No context found.
Robby, M. B. Dwyer, and J. Hatcliff. Bogor: An extensible and highly-modular model checking framework. In Proceedings of the 9th European Software Engineering Conference held jointly with the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2003.
Model-checking Middleware-based Event-driven.. - Deng, Dwyer.. (2003) Self-citation (Robby Dwyer) (Correct)
No context found.
Robby, M. B. Dwyer, and J. Hatcli#. Bogor: An extensible and highly-modular model checking framework. Technical Report SANTOS-TR2003-3, Kansas State University, 2003. (submitted for publication).
Exploiting Object Escape and Locking Information in.. - Dwyer, Hatcliff.. (2004) (2 citations) Self-citation (Robby Dwyer) (Correct)
No context found.
Robby, M. B. Dwyer, and J. Hatcli#. Bogor: An extensible and highly-modular model checking framework. In Proceedings of the 9th European Software Engineering Conference held jointly with the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2003.
A Flexible Framework for the Estimation of.. - Rodríguez, .. (2004) Self-citation (Robby Dwyer) (Correct)
No context found.
Robby, M. B. Dwyer, and J. Hatcliff. Bogor: An extensible and highly-modular model checking framework. In Proceedings of the 9th European Software Engineering Conference held jointly with the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2003.
Verifying Atomicity Specifications for Concurrent.. - Hatcliff, Robby, Dwyer (2003) (3 citations) Self-citation (Robby Dwyer) (Correct)
No context found.
Robby, M. B. Dwyer, and J. Hatcli#. Bogor: An extensible and highly-modular model checking framework. In Proceedings of the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2003.
Space-Reduction Strategies for Model Checking Dynamic.. - Robby, Dwyer, Hatcliff.. (2003) (2 citations) Self-citation (Robby Dwyer) (Correct)
No context found.
Robby, M. B. Dwyer, and J. Hatcli#. Bogor: An extensible and highly-modular model checking framework. In Proceedings of the 4th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2003. (to appear).
Space Reductions for Model Checking Quasi-Cyclic Systems - Dwyer, Robby, Deng, Hatcliff (2003) (2 citations) Self-citation (Robby Dwyer) (Correct)
No context found.
Robby, M. B. Dwyer, and J. Hatcli#. Bogor: An extensible and highly-modular model checking framework. In Proceedings of the 9th European Software Engineering Conference held jointly with the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2003.
Checking Strong Specifications Using an Extensible .. - Robby.. (2003) (1 citation) Self-citation (Robby Dwyer) (Correct)
No context found.
Robby, M. B. Dwyer, and J. Hatcliff. Bogor: An extensible and highly-modular model checking framework. In Proceedings of the 9th European Software Engineering Conference held jointly with the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2003.
Specification and Generation of Environment for Model.. - Parizek, Plasil (2006) (Correct)
No context found.
Robby, M. Dwyer and J. Hatcli#, Bogor: An extensible and highly-modular model checking framework, In FSE 03: Foundations of Software Engineering, pp. 267-276, ACM, 2003
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC