The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Matthew B. Dwyer: [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. John Hatcliff, Matthew B. Dwyer
    Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:39-58 [Conf]
  5. Matthew B. Dwyer, Corina S. Pasareanu
    Model Checking Generic Container Implementations. [Citation Graph (0, 0)][DBLP]
    Generic Programming, 1998, pp:162-177 [Conf]
  6. 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]
  7. 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]
  8. Matthew B. Dwyer, Vicki Carr, Laura Hines
    Model Checking Graphical User Interfaces Using Abstractions. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:244-261 [Conf]
  9. Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff
    A New Foundation for Control-Dependence and Slicing for Modern Program Structures. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:77-93 [Conf]
  10. Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh
    Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:160-164 [Conf]
  11. 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]
  12. Matthew B. Dwyer
    Software Model Checking: The Bandera approach. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:3-4 [Conf]
  13. Matthew B. Dwyer, George S. Avrunin, James C. Corbett
    Property specification patterns for finite-state verification. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:7-15 [Conf]
  14. 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]
  15. 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]
  16. Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno
    Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:442-452 [Conf]
  17. Matthew B. Dwyer, George S. Avrunin, James C. Corbett
    Patterns in Property Specifications for Finite-State Verification. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:411-420 [Conf]
  18. Matthew B. Dwyer, Lori A. Clarke
    A Flexible Architecture for Building Data Flow Analyzers. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:554-564 [Conf]
  19. Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies
    A Compact Petri Net Representation for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 1995, pp:147-157 [Conf]
  20. 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]
  21. John Hatcliff, Xinghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath
    Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:160-173 [Conf]
  22. Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer
    Verification of Concurrent Software with FLAVERS. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:594-595 [Conf]
  23. Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare
    Parallel Randomized State-Space Search. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:3-12 [Conf]
  24. Matthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum
    Adaptive Online Program Analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:220-229 [Conf]
  25. 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]
  26. Matthew B. Dwyer
    Modular Flow Analysis for Concurrent Software. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:264-273 [Conf]
  27. 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]
  28. 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]
  29. Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu
    Automated Environment Generation for Software Model Checking. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:116-129 [Conf]
  30. Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh
    Cadena: enabling CCM-based application development in Eclipse. [Citation Graph (0, 0)][DBLP]
    OOPSLA Workshop on Eclipse Technology eXchange, 2003, pp:20-24 [Conf]
  31. Matthew B. Dwyer, Virgil Wallentine
    Object-Oriented Coordination Abstractions for Parallel Software. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1997, pp:1034-1043 [Conf]
  32. Matthew B. Dwyer, John Hatcliff
    Slicing Software for Model Construction. [Citation Graph (0, 0)][DBLP]
    PEPM, 1999, pp:105-118 [Conf]
  33. 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]
  34. John Hatcliff, Matthew B. Dwyer, Shawn Laubach
    Staging Static Analyses Using Abstraction-Based Program Specialization. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:134-151 [Conf]
  35. John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng
    A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:1-18 [Conf]
  36. Matthew B. Dwyer, Matthew J. Craig, Eric Runquist
    An Application-Independent Concurrency Skeleton in Ada 95. [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1996, pp:179-192 [Conf]
  37. Matthew B. Dwyer, Lori A. Clarke
    Data Flow Analysis for Verifying Properties of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:62-75 [Conf]
  38. Matthew B. Dwyer, Corina S. Pasareanu
    Filter-Based Model Checking of Partial Systems. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1998, pp:189-202 [Conf]
  39. 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]
  40. Oksana Tkachuk, Matthew B. Dwyer
    Adapting side effects analysis for modular program model checking. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:188-197 [Conf]
  41. Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Jonathan Dokulil
    Carving differential unit test cases from system test cases. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:253-264 [Conf]
  42. Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum
    Controlling factors in evaluating path-sensitive error detection techniques. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:92-104 [Conf]
  43. Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth
    Assume-Guarantee Model Checking of Software: A Comparative Case Study. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:168-183 [Conf]
  44. 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]
  45. Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno
    SyncGen: An Aspect-Oriented Framework for Synchronization. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:158-162 [Conf]
  46. 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]
  47. Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
    Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:284-298 [Conf]
  48. 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]
  49. 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]
  50. 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]
  51. Matthew B. Dwyer, Virgil Wallentine
    A Framework for Parallel Adaptive Grid Simulations. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 1997, v:9, n:11, pp:1293-1310 [Journal]
  52. Matthew B. Dwyer, John Hatcliff, Muhammad Nanda
    Using Partial Evaluation to Enable Verification of Concurrent Software. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:22- [Journal]
  53. 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]
  54. 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]
  55. Radu Iosif, Matthew B. Dwyer, John Hatcliff
    Translating Java for Multiple Model Checkers: The Bandera Back-End. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:2, pp:137-180 [Journal]
  56. John Hatcliff, Matthew B. Dwyer, Hongjun Zheng
    Slicing Software for Model Construction. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:4, pp:315-353 [Journal]
  57. 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]
  58. George S. Avrunin, James C. Corbett, Matthew B. Dwyer
    Benchmarking Finite-State Verifiers. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:2, n:4, pp:317-320 [Journal]
  59. Matthew B. Dwyer, Stefan Leue
    Introductory paper. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:4, pp:257-259 [Journal]
  60. Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
    Finding feasible abstract counter-examples. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:5, n:1, pp:34-48 [Journal]
  61. 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]
  62. Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich
    Flow analysis for verifying properties of concurrent software systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2004, v:13, n:4, pp:359-430 [Journal]
  63. Matthew B. Dwyer, Lori A. Clarke
    A Compact Petri Net Representation and Its Implications for Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:11, pp:794-811 [Journal]
  64. Alex Kinneer, Matthew B. Dwyer, Gregg Rothermel
    Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:51-52 [Conf]
  65. Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi
    Interaction testing of highly-configurable systems in the presence of constraints. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2007, pp:129-139 [Conf]
  66. Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer
    A new foundation for control dependence and slicing for modern program structures. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]

  67. A Slice-Based Decision Procedure for Type-Based Partial Orders. [Citation Graph (, )][DBLP]


  68. Predictable Runtime Monitoring. [Citation Graph (, )][DBLP]


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


  70. Regression model checking. [Citation Graph (, )][DBLP]


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


  72. Trace Normalization. [Citation Graph (, )][DBLP]


  73. Coverage and adequacy in software product line testing. [Citation Graph (, )][DBLP]


  74. Increasing Test Granularity by Aggregating Unit Tests. [Citation Graph (, )][DBLP]


  75. Reducing the Cost of Path Property Monitoring Through Sampling. [Citation Graph (, )][DBLP]


  76. Reducing irrelevant trace variations. [Citation Graph (, )][DBLP]


  77. Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. [Citation Graph (, )][DBLP]


  78. Selecting Server Parameters for Predictable Runtime Monitoring. [Citation Graph (, )][DBLP]


  79. Differential symbolic execution. [Citation Graph (, )][DBLP]


  80. Saturation-based testing of concurrent programs. [Citation Graph (, )][DBLP]


  81. Residual Checking of Safety Properties. [Citation Graph (, )][DBLP]


  82. Supporting model checking education using BOGOR/Eclipse. [Citation Graph (, )][DBLP]


Search in 0.028secs, Finished in 0.031secs
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