The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John Hatcliff: [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. Venkatesh Prasad Ranganath, John Hatcliff
    Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
    CC, 2004, pp:39-56 [Conf]
  5. 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]
  6. John Hatcliff, Robert Glück
    Reasoning about Hierarchies of Online Program Specialization Systems. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:161-182 [Conf]
  7. 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]
  8. 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]
  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. Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff
    Kaveri: Delivering the Indus Java Program Slicer to Eclipse. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:269-272 [Conf]
  12. Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath
    A Correlation Framework for the CORBA Component Model. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:144-159 [Conf]
  13. 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]
  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, 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]
  18. 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]
  19. 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]
  20. 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]
  21. Robert Glück, John Hatcliff, Jesper Jørgensen
    Generalization in Hierarchies of Online Program Specialization Systems. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:179-198 [Conf]
  22. Olivier Danvy, John Hatcliff
    On the Transformation between Direct and Continuation Semantics. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:627-648 [Conf]
  23. 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]
  24. Matthew B. Dwyer, John Hatcliff
    Slicing Software for Model Construction. [Citation Graph (0, 0)][DBLP]
    PEPM, 1999, pp:105-118 [Conf]
  25. John Hatcliff
    An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language. [Citation Graph (0, 0)][DBLP]
    Partial Evaluation, 1998, pp:20-82 [Conf]
  26. 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]
  27. Gilles Barthe, John Hatcliff, Morten Heine Sørensen
    Reflections on Reflections. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:241-258 [Conf]
  28. John Hatcliff
    Mechanically Verifying the Correctness of an Offline Partial Evaluator [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:279-298 [Conf]
  29. 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]
  30. John Hatcliff, Olivier Danvy
    A Generic Account of Continuation-Passing Styles. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:458-471 [Conf]
  31. Olivier Danvy, John Hatcliff
    Thunks (Continued). [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:3-11 [Conf]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff
    CALM and Cadena: Metamodeling for Component-Based Product-Line Development. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:2, pp:42-50 [Journal]
  41. Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha
    High-Confidence Medical Device Software and Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:4, pp:33-38 [Journal]
  42. 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]
  43. John Hatcliff
    Foundations for Partial Evaluation of Functional Programs with Computational Effects. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:13- [Journal]
  44. Gilles Barthe, John Hatcliff, Morten Heine Sørensen
    A notion of classical pure type system. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:4-59 [Journal]
  45. Gilles Barthe, John Hatcliff, Peter Thiemann
    Monadic Type Systems: Pure Type Systems for Impure Settings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  46. 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]
  47. 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]
  48. 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]
  49. John Hatcliff, Olivier Danvy
    Thunks and the lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:3, pp:303-319 [Journal]
  50. Gilles Barthe, John Hatcliff, Morten Heine Sørensen
    CPS Translations and Applications: The Cube and Beyond. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:2, pp:125-170 [Journal]
  51. 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]
  52. Olivier Danvy, John Hatcliff
    CPS-Transformation After Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    LOPLAS, 1992, v:1, n:3, pp:195-212 [Journal]
  53. John Hatcliff, Olivier Danvy
    A Computational Formalization for Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:507-541 [Journal]
  54. Mark W. Bailey, John Hatcliff, Frank Tip
    PEPM 2006 paper abstracts. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2006, v:41, n:3, pp:4-8 [Journal]
  55. 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]
  56. 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]
  57. Hubert Garavel, John Hatcliff
    Why you should definitely read this special section. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:1, pp:1-3 [Journal]
  58. Gilles Barthe, John Hatcliff, Morten Heine Sørensen
    An induction principle for pure type systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:773-818 [Journal]
  59. Gilles Barthe, John Hatcliff, Morten Heine Sørensen
    Weak normalization implies strong normalization in a class of non-dependent pure type systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:269, n:1-2, pp:317-361 [Journal]
  60. Hubert Garavel, John Hatcliff
    TACAS 2003 Special Issue - Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:169-172 [Journal]
  61. 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]

  62. Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. [Citation Graph (, )][DBLP]


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


  64. A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. [Citation Graph (, )][DBLP]


  65. Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. [Citation Graph (, )][DBLP]


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


  67. An open test bed for medical device integration and coordination. [Citation Graph (, )][DBLP]


  68. Demonstration of a medical device integration and coordination framework. [Citation Graph (, )][DBLP]


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


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


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


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


  73. A Software Certification Consortium and its Top 9 Hurdles. [Citation Graph (, )][DBLP]


Search in 1.347secs, Finished in 1.353secs
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