The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robby: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]

  26. O-MaSE: A Customizable Approach to Developing Multiagent Development Processes. [Citation Graph (, )][DBLP]


  27. From abstract qualities to concrete specification using guidance policies. [Citation Graph (, )][DBLP]


  28. agentTool III: from process definition to code generation. [Citation Graph (, )][DBLP]


  29. Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems. [Citation Graph (, )][DBLP]


  30. Specification and Checking of Software Contracts for Conditional Information Flow. [Citation Graph (, )][DBLP]


  31. Abstract Requirement Analysis in Multiagent System Design. [Citation Graph (, )][DBLP]


  32. Formal Software Analysis Emerging Trends in Software Model Checking. [Citation Graph (, )][DBLP]


  33. A Case Study in Domain-customized Model Checking for Real-time Component Software. [Citation Graph (, )][DBLP]


  34. Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. [Citation Graph (, )][DBLP]


  35. agentTool process editor: supporting the design of tailored agent-based processes. [Citation Graph (, )][DBLP]


  36. Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. [Citation Graph (, )][DBLP]


  37. Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. [Citation Graph (, )][DBLP]


  38. Leveraging Organizational Guidance Policies with Learning to Self-Tune Multiagent Systems. [Citation Graph (, )][DBLP]


Search in 0.123secs, Finished in 0.126secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002