|
Search the dblp DataBase
Robby:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby
Foundations of the Bandera Abstraction Tools. [Citation Graph (0, 0)][DBLP] The Essence of Computation, 2002, pp:172-203 [Conf]
- Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby
A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. [Citation Graph (0, 0)][DBLP] CASSIS, 2004, pp:210-228 [Conf]
- Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:148-152 [Conf]
- Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby
Extending JML for Modular Specification and Verification of Multi-threaded Programs. [Citation Graph (0, 0)][DBLP] ECOOP, 2005, pp:551-576 [Conf]
- Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff
Space Reductions for Model Checking Quasi-Cyclic Systems. [Citation Graph (0, 0)][DBLP] EMSOFT, 2003, pp:173-189 [Conf]
- Robby, Scott A. DeLoach, Valeriy A. Kolesnikov
Using Design Metrics for Predicting System Flexibility. [Citation Graph (0, 0)][DBLP] FASE, 2006, pp:184-198 [Conf]
- Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. [Citation Graph (0, 0)][DBLP] FMCO, 2002, pp:154-181 [Conf]
- James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng
Bandera: extracting finite-state models from Java source code. [Citation Graph (0, 0)][DBLP] ICSE, 2000, pp:439-448 [Conf]
- James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
Bandera: a source-level interface for model checking Java programs. [Citation Graph (0, 0)][DBLP] ICSE, 2000, pp:762-765 [Conf]
- Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser
Tool-Supported Program Abstraction for Finite-State Verification. [Citation Graph (0, 0)][DBLP] ICSE, 2001, pp:177-187 [Conf]
- Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff
A Case Study in Domain-Customized Model Checking for Real-Time Component Software. [Citation Graph (0, 0)][DBLP] ISoLA, 2004, pp:161-180 [Conf]
- Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser
Analyzing Interaction Orderings with Model Checking. [Citation Graph (0, 0)][DBLP] ASE, 2004, pp:154-163 [Conf]
- Xianghua Deng, Jooyong Lee, Robby
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. [Citation Graph (0, 0)][DBLP] ASE, 2006, pp:157-166 [Conf]
- Robby, Matthew B. Dwyer, John Hatcliff
Domain-specific Model Checking Using The Bogor Framework. [Citation Graph (0, 0)][DBLP] ASE, 2006, pp:369-370 [Conf]
- John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby
Slicing and partial evaluation of CORBA component model designs for avionics system. [Citation Graph (0, 0)][DBLP] PEPM, 2003, pp:1-2 [Conf]
- Robby, Matthew B. Dwyer, John Hatcliff
Bogor: an extensible and highly-modular software model checking framework. [Citation Graph (0, 0)][DBLP] ESEC / SIGSOFT FSE, 2003, pp:267-276 [Conf]
- James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
A Language Framework for Expressing Checkable Properties of Dynamic Software. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:205-223 [Conf]
- Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP] TACAS, 2006, pp:73-89 [Conf]
- Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff
Checking Strong Specifications Using an Extensible Software Model Checking Framework. [Citation Graph (0, 0)][DBLP] TACAS, 2004, pp:404-420 [Conf]
- Robby, Matthew B. Dwyer, John Hatcliff
Bogor: A Flexible Framework for Creating Software Model Checkers. [Citation Graph (0, 0)][DBLP] TAIC PART, 2006, pp:3-22 [Conf]
- John Hatcliff, Robby, Matthew B. Dwyer
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. [Citation Graph (0, 0)][DBLP] VMCAI, 2004, pp:175-190 [Conf]
- Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif
Space-Reduction Strategies for Model Checking Dynamic Software. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
- Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:25, n:2-3, pp:199-240 [Journal]
- James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
Expressing checkable properties of dynamic systems: the Bandera Specification Language. [Citation Graph (0, 0)][DBLP] STTT, 2002, v:4, n:1, pp:34-56 [Journal]
- Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff
Checking JML specifications using an extensible software model checking framework. [Citation Graph (0, 0)][DBLP] STTT, 2006, v:8, n:3, pp:280-299 [Journal]
O-MaSE: A Customizable Approach to Developing Multiagent Development Processes. [Citation Graph (, )][DBLP]
From abstract qualities to concrete specification using guidance policies. [Citation Graph (, )][DBLP]
agentTool III: from process definition to code generation. [Citation Graph (, )][DBLP]
Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems. [Citation Graph (, )][DBLP]
Specification and Checking of Software Contracts for Conditional Information Flow. [Citation Graph (, )][DBLP]
Abstract Requirement Analysis in Multiagent System Design. [Citation Graph (, )][DBLP]
Formal Software Analysis Emerging Trends in Software Model Checking. [Citation Graph (, )][DBLP]
A Case Study in Domain-customized Model Checking for Real-time Component Software. [Citation Graph (, )][DBLP]
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. [Citation Graph (, )][DBLP]
agentTool process editor: supporting the design of tailored agent-based processes. [Citation Graph (, )][DBLP]
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. [Citation Graph (, )][DBLP]
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. [Citation Graph (, )][DBLP]
Leveraging Organizational Guidance Policies with Learning to Self-Tune Multiagent Systems. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.308secs
|