John Hatcliff Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2015
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones: Enabling Safe Interoperation by Medical Device Virtual Integration. IEEE Design & Test 32(5): 74-88 (2015)
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh-Prasad Ranganath, Yu Jin Kim, John Hatcliff, Robby: Communication patterns for interconnecting and composing medical systems. EMBC 2015: 1711-1716
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby: Ecosphere Principles for Medical Application Platforms. ICHI 2015: 193-198
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSam Procter, John Hatcliff, Sandy Weininger, Anura Fernando: Error Type Refinement for Assurance of Families of Platform-Based Systems. SAFECOMP Workshops 2015: 95-106
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee: Towards Assurance for Plug & Play Medical Systems. SAFECOMP 2015: 228-242
2014
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones: Certifiably safe software-dependent systems: challenges and directions. FOSE 2014: 182-200
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSam Procter, John Hatcliff: An architecturally-integrated, systems-based hazard analysis for medical applications. MEMOCODE 2014: 124-133
2013
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian R. Larson, John Hatcliff, Patrice Chalin: Open source patient-controlled analgesic pump requirements documentation. SEHC@ICSE 2013: 28-34
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Robby, Patrice Chalin, Jason Belt: Explicating symbolic execution (xSymExe): an evidence-based verification framework. ICSE 2013: 222-231
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian R. Larson, Patrice Chalin, John Hatcliff: BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software. NASA Formal Methods 2013: 276-290
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings: Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. HILT 2013: 21-22
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian R. Larson, John Hatcliff, Kim R. Fowler, Julien Delange: Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device. HILT 2013: 65-84
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugene Y. Vasserman, John Hatcliff: Foundational Security Principles for Medical Application Platforms - (Extended Abstract). WISA 2013: 213-217
e6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff: Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013. EPTCS 129, 2013
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDarren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford: Software Certification: Methods and Tools (Dagstuhl Seminar 13051). Dagstuhl Reports 3(1): 111-148 (2013)
2012
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, Matthew J. Parkinson: Behavioral interface specification languages. ACM Comput. Surv. 44(3): 16:1-16:58 (2012)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInsup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew L. King, Margaret Mullen-Fortino, Soojin Park, Alex Roederer, Krishna K. Venkatasubramanian: Challenges and Research Directions in Medical Cyber-Physical Systems. Proceedings of the IEEE 100(1): 75-90 (2012)
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Andrew L. King, Insup Lee, Alasdair Macdonald, Anura Fernando, Michael Robkin, Eugene Y. Vasserman, Sandy Weininger, Julian M. Goldman: Rationale and Architecture Principles for Medical Application Platforms. ICCPS 2012: 3-12
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin: Requirements specification for apps in medical application platforms. SEHC@ICSE 2012: 26-32
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKejia Li, Steve Warren, John Hatcliff: Component-based app design for platform-oriented devices in a medical device coordination framework. IHI 2012: 343-352
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng: Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods 2012: 295-309
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorben Amtoft, Josiah Dodds, Zhi Zhang, Andrew W. Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino: A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow. POST 2012: 369-389
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHariharan Thiagarajan, John Hatcliff, Jason Belt, Robby: Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK. SCAM 2012: 132-137
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason Belt, Patrice Chalin, John Hatcliff, Robby: Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. HILT 2012: 3-4
e5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuth Breu, John Hatcliff: Proceedings of the 4th International Workshop on Software Engineering in Health Care, SEHC 2012, Zurich, Switzerland, June 4-5, 2012 .IEEE Computer Society 2012, ISBN 978-1-4673-1843-3
2011
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng: Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods 2011: 58-72
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng: Enhancing spark's contract checking facilities using symbolic execution. SIGAda 2011: 47-60
2010
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Jung, John Hatcliff: A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. Sci. Comput. Program. 75(7): 615-637 (2010)
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff: Software certification consortium: certification methods for safety-critical software. CASCON 2010: 434-436
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorben Amtoft, John Hatcliff, Edwin Rodríguez: Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. ESOP 2010: 43-63
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter: Prototyping closed loop physiologic control with the medical device coordination framework. SEHC@ICSE 2010: 1-11
e4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Elena Zucca: Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings .Lecture Notes in Computer Science 6117, Springer 2010, ISBN 978-3-642-13463-0
2009
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden: A Software Certification Consortium and its Top 9 Hurdles. Electr. Notes Theor. Comput. Sci. 238(4): 11-17 (2009)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger: A publish-subscribe architecture and component-based programming model for medical device interoperability. SIGBED Review 6(2): 7 (2009)
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger: An open test bed for medical device integration and coordination. ICSE Companion 2009: 141-151
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger: Demonstration of a medical device integration and coordination framework. ICSE Companion 2009: 433-434
2008
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve: Specification and Checking of Software Contracts for Conditional Information Flow. FM 2008: 229-245
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff: Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. ICFEM 2008: 3-4
2007
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Jung, John Hatcliff: A correlation framework for the CORBA component model. STTT 9(5-6): 417-427 (2007)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, John Hatcliff: Slicing concurrent Java programs using Indus and Kaveri. STTT 9(5-6): 489-504 (2007)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer: A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. 29(5): 27 (2007)
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Jung, John Hatcliff: A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. GPCE 2007: 33-42
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser: Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianghua Deng, Robby, John Hatcliff: Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. SEFM 2007: 273-282
2006
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff: CALM and Cadena: Metamodeling for Component-Based Product-Line Development. IEEE Computer 39(2): 42-50 (2006)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInsup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha: High-Confidence Medical Device Software and Systems. IEEE Computer 39(4): 33-38 (2006)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArvind S. Krishna, Aniruddha S. Gokhale, Douglas C. Schmidt, Venkatesh Prasad Ranganath, John Hatcliff: Towards highly optimized real-time middleware for software product-line architectures. SIGBED Review 3(1): 13-16 (2006)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Insup Lee, Oleg Sokolsky: Introduction to special issue. SIGBED Review 3(4) (2006)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark W. Bailey, John Hatcliff, Frank Tip: PEPM 2006 paper abstracts. SIGPLAN Notices 41(3): 4-8 (2006)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert Garavel, John Hatcliff: Why you should definitely read this special section. STTT 8(1): 1-3 (2006)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff: Checking JML specifications using an extensible software model checking framework. STTT 8(3): 280-299 (2006)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert Garavel, John Hatcliff: TACAS 2003 Special Issue - Preface. Theor. Comput. Sci. 354(2): 169-172 (2006)
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianghua Deng, Robby, John Hatcliff: Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. ISoLA 2006: 137
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobby, Matthew B. Dwyer, John Hatcliff: Domain-specific Model Checking Using The Bogor Framework. ASE 2006: 369-370
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew 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. TACAS 2006: 73-89
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobby, Matthew B. Dwyer, John Hatcliff: Bogor: A Flexible Framework for Creating Software Model Checkers. TAIC PART 2006: 3-22
e3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Frank Tip: Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006 .ACM 2006, ISBN 1-59593-196-1
2005
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Iosif, Matthew B. Dwyer, John Hatcliff: Translating Java for Multiple Model Checkers: The Bandera Back-End. Formal Methods in System Design 26(2): 137-180 (2005)
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby: Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. CAV 2005: 148-152
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby: Extending JML for Modular Specification and Verification of Multi-threaded Programs. ECOOP 2005: 551-576
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff: A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP 2005: 77-93
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGaneshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff: Kaveri: Delivering the Indus Java Program Slicer to Eclipse. FASE 2005: 269-272
2004
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath: Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods in System Design 25(2-3): 199-240 (2004)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby: A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. CASSIS 2004: 210-228
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, John Hatcliff: Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. CC 2004: 39-56
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew B. Dwyer, John Hatcliff, Matthew Hoosier: Supporting model checking education using BOGOR/Eclipse. ETX 2004: 88-92
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Jung, John Hatcliff, Venkatesh Prasad Ranganath: A Correlation Framework for the CORBA Component Model. FASE 2004: 144-159
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam 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. FASE 2004: 160-164
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff: A Case Study in Domain-Customized Model Checking for Real-Time Component Software. ISoLA 2004: 161-180
c28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer: A Case Study in Domain-customized Model Checking for Real-time Component Software. ISoLA (Preliminary proceedings) 2004: 261-267
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno: SyncGen: An Aspect-Oriented Framework for Synchronization. TACAS 2004: 158-162
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff: Checking Strong Specifications Using an Extensible Software Model Checking Framework. TACAS 2004: 404-420
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Robby, Matthew B. Dwyer: Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. VMCAI 2004: 175-190
2003
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobby, Matthew B. Dwyer, John Hatcliff, Radu Iosif: Space-Reduction Strategies for Model Checking Dynamic Software. Electr. Notes Theor. Comput. Sci. 89(3): 499-517 (2003)
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff: Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT 2003: 173-189
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath: Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. ICSE 2003: 160-173
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh: Cadena: enabling CCM-based application development in Eclipse. OOPSLA Workshop on Eclipse Technology eXchange 2003: 20-24
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby: Slicing and partial evaluation of CORBA component model designs for avionics system. PEPM 2003: 1-2
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobby, Matthew B. Dwyer, John Hatcliff: Bogor: an extensible and highly-modular software model checking framework. ESEC / SIGSOFT FSE 2003: 267-276
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert Garavel, John Hatcliff: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings .Lecture Notes in Computer Science 2619, Springer 2003, ISBN 3-540-00898-5
2002
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: Expressing checkable properties of dynamic systems: the Bandera Specification Language. STTT 4(1): 34-56 (2002)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby: Foundations of the Bandera Abstraction Tools. The Essence of Computation 2002: 172-203
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh: Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. FMCO 2002: 154-181
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno: Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. ICSE 2002: 442-452
2001
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, John Hatcliff, Morten Heine Sørensen: An induction principle for pure type systems. Theor. Comput. Sci. 266(1-2): 773-818 (2001)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, John Hatcliff, Morten Heine Sørensen: Weak normalization implies strong normalization in a class of non-dependent pure type systems. Theor. Comput. Sci. 269(1-2): 317-361 (2001)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Matthew B. Dwyer: Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. CONCUR 2001: 39-58
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser: Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187
2000
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Matthew B. Dwyer, Hongjun Zheng: Slicing Software for Model Construction. Higher-Order and Symbolic Computation 13(4): 315-353 (2000)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew B. Dwyer, John Hatcliff: Adapting programming languages technologies for finite-state verification. ACM SIGSOFT Software Engineering Notes 25(1): 46-49 (2000)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng: Bandera: extracting finite-state models from Java source code. ICSE 2000: 439-448
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: Bandera: a source-level interface for model checking Java programs. ICSE 2000: 762-765
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN 2000: 205-223
1999
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, John Hatcliff, Morten Heine Sørensen: CPS Translations and Applications: The Cube and Beyond. Higher-Order and Symbolic Computation 12(2): 125-170 (1999)
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew B. Dwyer, John Hatcliff: Slicing Software for Model Construction. PEPM 1999: 105-118
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng: A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. SAS 1999: 1-18
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Torben Æ. Mogensen, Peter Thiemann: Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 .Lecture Notes in Computer Science 1706, Springer 1999, ISBN 3-540-66710-5
1998
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff: Foundations for Partial Evaluation of Functional Programs with Computational Effects. ACM Comput. Surv. 30(3es): 13 (1998)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew B. Dwyer, John Hatcliff, Muhammad Nanda: Using Partial Evaluation to Enable Verification of Concurrent Software. ACM Comput. Surv. 30(3es): 22 (1998)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Glück, John Hatcliff, Jesper Jørgensen: Generalization in Hierarchies of Online Program Specialization Systems. LOPSTR 1998: 179-198
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff: An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language. Partial Evaluation 1998: 20-82
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Matthew B. Dwyer, Shawn Laubach: Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP 1998: 134-151
1997
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, John Hatcliff, Morten Heine Sørensen: A notion of classical pure type system. Electr. Notes Theor. Comput. Sci. 6: 4-59 (1997)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, John Hatcliff, Peter Thiemann: Monadic Type Systems: Pure Type Systems for Impure Settings. Electr. Notes Theor. Comput. Sci. 10: 54-120 (1997)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Olivier Danvy: Thunks and the lambda-Calculus. J. Funct. Program. 7(3): 303-319 (1997)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Olivier Danvy: A Computational Formalization for Partial Evaluation. Mathematical Structures in Computer Science 7(5): 507-541 (1997)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, John Hatcliff, Morten Heine Sørensen: Reflections on Reflections. PLILP 1997: 241-258
1996
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Robert Glück: Reasoning about Hierarchies of Online Program Specialization Systems. Dagstuhl Seminar on Partial Evaluation 1996: 161-182
1995
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff: Mechanically Verifying the Correctness of an Offline Partial Evaluator .PLILP 1995: 279-298
1994
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Olivier Danvy: A Generic Account of Continuation-Passing Styles. POPL 1994: 458-471
1993
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Danvy, John Hatcliff: On the Transformation between Direct and Continuation Semantics. MFPS 1993: 627-648
1992
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Danvy, John Hatcliff: CPS-Transformation After Strictness Analysis. LOPLAS 1(3): 195-212 (1992)
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Danvy, John Hatcliff: Thunks (Continued). WSA 1992: 3-11

Coauthor Index

1Torben Amtoft[c57] [c51] [c47] [j25] [c36]
2Daniel Andresen[j28] [c49] [c48]
3Maria-Virginia Aponte[c64]
4Andrew W. Appel[c57]
5David Arney[c50]
6Mark W. Bailey[j20]
7Anindya Banerjee[e6] [j25] [c36]
8Stephen C. Barrett[j33]
9Gilles Barthe[j12] [j11] [j8] [j5] [j4] [c6]
10Jason Belt[c66] [c64] [c58] [c56] [c55] [c54] [c53]
11Lennart Beringer[c57]
12Ruth Breu[e5]
13Patrice Chalin[c67] [c66] [c65] [c60] [c58] [c55] [c54] [c53]
14Sanjian Chen[c70] [j31]
15Adam Childs[j24] [c30] [c22]
16Rance Cleaveland[j23]
17Darren D. Cofer[i1]
18Cyrille Comar[c69]
19James C. Corbett[j13] [c14] [c13] [c12] [c10]
20Pierre Courtieu[c64]
21Andrew Cousino[c57]
22Tristan Crolard[c64]
23Olivier Danvy[e6] [j3] [j2] [c3] [c2] [j1] [c1]
24Julien Delange[c63]
25William Deng[c21]
26Xianghua Deng[c58] [c54] [c53] [c43] [c42] [c30] [c27] [c24] [c23] [c18] [c17]
27Josiah Dodds[c57]
28Kyung-Goo Doh[e6]
29Matthew B. Dwyer[j25] [c44] [j18] [c41] [c40] [c39] [j16] [c38] [c37] [c36] [j15] [c34] [c32] [c30] [c29] [c28] [c27] [c26] [c25] [j14] [c24] [c23] [c22] [c21] [c20] [j13] [c19] [c18] [c17] [c16] [c15] [j10] [j9] [c14] [c13] [c12] [c11] [c10] [j6] [c7]
30Lu Feng[c70]
31Anura Fernando[c71] [c61]
32Cormac Flanagan[c37]
33Kim R. Fowler[c63]
34Hubert Garavel[j19] [j17] [e2]
35Robert Glück[c9] [c5]
36Aniruddha S. Gokhale[j22]
37Julian M. Goldman[c61]
38Jesse Greenwald[j24] [c30] [c22]
39David A. Greve[c47]
40Jérôme Guitton[c64]
41David Hardin[c54] [c53]
42Mats Per Erik Heimdahl[j29]
43Jonathan Hoag[c47]
44Matthew Hoosier[j24] [c40] [c38] [c32] [c29] [c28]
45Michaela Huhn[i1]
46Radu Iosif[j16] [j14]
47Ganeshan Jayaraman[c35]
48Eunkyoung Jee[j31]
49Trevor Jennings[c64]
50Raoul Praful Jetley[j28] [c49] [c48]
51Roby Joehanes[c15]
52Paul L. Jones[j33] [c69] [j28] [c49] [c48]
53Jesper Jørgensen[c9]
54Georg Jung[j30] [j27] [c45] [j24] [c31] [c30] [c23] [c21] [c18]
55Tim Kelly[c69]
56BaekGyu Kim[j31]
57Yu Jin Kim[c73] [c72]
58Andrew L. King[c70] [j31] [c61] [c50] [j28] [c49] [c48]
59Arvind S. Krishna[j22]
60Bruce H. Krogh[j23]
61Brian R. Larson[j33] [c67] [c65] [c63] [c60]
62Shawn Laubach[c15] [c14] [c7]
63Mark Lawford[i1] [c52] [j29]
64Gary T. Leavens[j32] [c37]
65Insup Lee[c70] [j31] [c61] [c50] [j23] [j21]
66Peter Lee 0001[j23]
67K. Rustan M. Leino[j32]
68Kejia Li[c59]
69Alasdair Macdonald[c61]
70T. S. E. Maibaum[c52] [j29]
71Masaaki Mizuno[c27] [c17]
72Torben Æ. Mogensen[e1]
73Margaret Mullen-Fortino[j31]
74Peter Müller 0001[j32]
75Muhammad Nanda[j6]
76Xinming Ou[c57]
77George J. Pappas[j23]
78Soojin Park[j31]
79Matthew J. Parkinson[j32]
80Corina S. Pasareanu[c44] [c19] [c15] [c14]
81Sam Procter[c72] [c71] [c70] [c68] [c60] [c50] [j28] [c49] [c48]
82Venkatesh Prasad Ranganath
Venkatesh-Prasad Ranganath
[c73] [c72] [j26] [j25] [j22] [c40] [c36] [c35] [j15] [c33] [c31] [c30] [c23] [c22] [c21]
83Robby[c73] [c72] [c66] [c64] [c58] [c56] [c55] [c54] [c53] [c47] [c44] [c43] [j18] [c42] [c41] [c40] [c39] [c38] [c37] [j15] [c34] [c29] [c28] [c26] [c25] [j14] [c24] [c21] [c20] [j13] [c19] [c18] [c15] [c14] [c13] [c12]
84Michael Robkin[c61]
85Edwin Rodríguez[c51] [c47] [j18] [c37] [c34] [c26]
86Alex Roederer[j31]
87Harvey Rubin[j23]
88Douglas C. Schmidt[j22]
89Lui Sha[j23]
90Prashant Shanti[c30]
91Gurdip Singh[c30] [c22] [c18]
92Stefan Sokolowski[c10]
93Oleg Sokolsky[c70] [j31] [c50] [j21]
94Morten Heine Sørensen[j12] [j11] [j8] [j5] [c6]
95William Spees[j28] [c49] [c48]
96Hariharan Thiagarajan[c56]
97Peter Thiemann[e1] [j4]
98Frank Tip[j20] [e3]
99Eugene Y. Vasserman[c62] [c61]
100Krishna K. Venkatasubramanian[j31]
101Willem Visser[c44] [c15]
102Todd Wallentine[c40]
103Steve Warren[c59] [j28] [c49] [c48]
104Alan Wassyng[c69] [c52] [j29]
105Jens H. Weber[c52]
106Sandy Weininger[c71] [c61] [j28] [c49] [c48]
107Fred L. Wurden[j29]
108Yi Zhang[j33]
109Zhi Zhang[c64] [c57]
110Hongjun Zheng[c15] [j10] [c14] [c10]
111Elena Zucca[e4]

 

Last update 2017-04-13 05:28 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page