default search action
John Hatcliff
Person information
- affiliation: Kansas State Uniersity, Manhattan, KS, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c96]Robby, John Hatcliff, Jason Belt:
Logika: The Sireum Verification Framework. FMICS 2024: 97-116 - [c95]John Hatcliff, Jason Belt, Robby, David S. Hardin:
Integrated Contract-Based Unit and System Testing for Component-Based Systems. NFM 2024: 406-426 - [c94]Stefan Hallerstede
, John Hatcliff
Teaching with Logika: Conceiving and Constructing Correct Software. FMTea 2024: 106-123 - 2023
- [j34]Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod:
Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134: 102789 (2023) - [c93]Stefan Hallerstede, John Hatcliff:
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. FACS 2023: 45-64 - [c92]John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter:
Automated Property-Based Testing from AADL Component Contracts. FMICS 2023: 131-150 - [i3]Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa:
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). Dagstuhl Reports 13(1): 155-183 (2023) - 2022
- [j33]Darren D. Cofer
Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 20(3): 52-64 (2022) - [j32]Hariharan Thiagarajan, John Hatcliff, Robby:
Awas: AADL information flow and error propagation analysis framework. Innov. Syst. Softw. Eng. 18(4): 485-504 (2022) - [j31]Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff:
Specification and Verification of Timing Properties in Interoperable Medical Systems. Log. Methods Comput. Sci. 18(2) (2022) - [c91]John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage:
Formalization of the AADL Run-Time Services. ISoLA (2) 2022: 105-134 - [c90]Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart:
Mechanization of a Large DSML: An Experiment with AADL and Coq. MEMOCODE 2022: 1-9 - 2021
- [c89]Robby, John Hatcliff:
Slang: The Sireum Programming Language. ISoLA 2021: 253-273 - [c88]John Hatcliff, Jason Belt, Robby, Todd Carpenter:
HAMR: An AADL Multi-platform Code Generation Toolset. ISoLA 2021: 274-295 - 2020
- [c87]Hariharan Thiagarajan, John Hatcliff, Robby:
Awas: AADL Information Flow and Error Propagation Analysis Framework. ECSA Companion 2020: 294-310 - [c86]Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling. IMBSA 2020: 34-50 - [i2]Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff:
Specification and Verification of Timing Properties in Interoperable Medical Systems. CoRR abs/2012.04025 (2020)
2010 – 2019
- 2019
- [j30]John Hatcliff, Brian R. Larson, Todd Carpenter, Paul L. Jones, Yi Zhang
The open PCA pump project: an exemplar open source medical device as a community resource. SIGBED Rev. 16(2): 8-13 (2019) - 2018
- [c85]John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang
A Unified Approach for Modeling, Developing, and Assuring Critical Systems. ISoLA (1) 2018: 225-245 - [c84]Robby, John Hatcliff, Jason Belt:
Model-Based Development for High-Assurance Embedded Systems. ISoLA (1) 2018: 539-545 - [c83]Yi Zhang
Assurance Case Considerations for Interoperable Medical Systems. SAFECOMP Workshops 2018: 42-48 - 2017
- [c82]Sam Procter
SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis. ARES 2017: 66:1-66:10 - [c81]Xiaolong Wang, Richard Habeeb, Xinming Ou, Siddharth Amaravadi, John Hatcliff, Masaaki Mizuno, Mitchell L. Neilsen, S. Raj Rajagopalan, Srivatsan Varadarajan:
Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. ICDCS Workshops 2017: 37-44 - [c80]Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu:
Focused Certification of an Industrial Compilation and Static Verification Toolchain. SEFM 2017: 17-34 - [c79]Todd Carpenter, John Hatcliff, Eugene Y. Vasserman
A Reference Separation Architecture for Mixed-Criticality Medical and IoT Devices. SafeThings@SenSys 2017: 14-19 - 2015
- [j29]Brian R. Larson, Yi Zhang
Enabling Safe Interoperation by Medical Device Virtual Integration. IEEE Des. Test 32(5): 74-88 (2015) - [c78]Venkatesh-Prasad Ranganath
Communication patterns for interconnecting and composing medical systems. EMBC 2015: 1711-1716 - [c77]Yu Jin Kim, Sam Procter
Ecosphere Principles for Medical Application Platforms. ICHI 2015: 193-198 - [c76]Sam Procter
Error Type Refinement for Assurance of Families of Platform-Based Systems. SAFECOMP Workshops 2015: 95-106 - [c75]Andrew L. King, Lu Feng, Sam Procter
Towards Assurance for Plug & Play Medical Systems. SAFECOMP 2015: 228-242 - 2014
- [c74]Sam Procter
Towards an AADL-Based Definition of App Architecture for Medical Application Platforms. FHIES/SEHC 2014: 26-43 - [c73]John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones:
Certifiably safe software-dependent systems: challenges and directions. FOSE 2014: 182-200 - [c72]Sam Procter
An architecturally-integrated, systems-based hazard analysis for medical applications. MEMOCODE 2014: 124-133 - 2013
- [c71]Brian R. Larson, John Hatcliff, Patrice Chalin:
Open source patient-controlled analgesic pump requirements documentation. SEHC@ICSE 2013: 28-34 - [c70]John Hatcliff, Robby, Patrice Chalin, Jason Belt:
Explicating symbolic execution (xSymExe): an evidence-based verification framework. ICSE 2013: 222-231 - [c69]Brian R. Larson, Patrice Chalin, John Hatcliff:
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software. NASA Formal Methods 2013: 276-290 - [c68]Pierre 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 - [c67]Brian 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 - [c66]Eugene Y. Vasserman
Foundational Security Principles for Medical Application Platforms - (Extended Abstract). WISA 2013: 213-217 - [e6]Anindya 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 [contents] - [i1]Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford:
Software Certification: Methods and Tools (Dagstuhl Seminar 13051). Dagstuhl Reports 3(1): 111-148 (2013) - 2012
- [j28]John 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) - [j27]Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim
Challenges and Research Directions in Medical Cyber-Physical Systems. Proc. IEEE 100(1): 75-90 (2012) - [c65]John Hatcliff, Andrew L. King, Insup Lee, Alasdair Macdonald, Anura Fernando, Michael Robkin, Eugene Y. Vasserman
Rationale and Architecture Principles for Medical Application Platforms. ICCPS 2012: 3-12 - [c64]Brian R. Larson, John Hatcliff, Sam Procter
Requirements specification for apps in medical application platforms. SEHC@ICSE 2012: 26-32 - [c63]Kejia Li, Steve Warren, John Hatcliff:
Component-based app design for platform-oriented devices in a medical device coordination framework. IHI 2012: 343-352 - [c62]Jason 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 - [c61]Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew W. Appel
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow. POST 2012: 369-389 - [c60]Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby:
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK. SCAM 2012: 132-137 - [c59]Jason Belt, Patrice Chalin, John Hatcliff, Robby:
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. HILT 2012: 3-4 - [e5]Ruth 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 [contents] - 2011
- [c58]Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng:
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods 2011: 58-72 - [c57]Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng:
Enhancing spark's contract checking facilities using symbolic execution. SIGAda 2011: 47-60 - 2010
- [j26]Georg Jung, John Hatcliff:
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. Sci. Comput. Program. 75(7): 615-637 (2010) - [c56]Alan 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 - [c55]Torben 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 - [c54]Andrew 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 - [p2]Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve:
Specification and Checking of Software Contracts for Conditional Information Flow. Design and Verification of Microprocessor Systems for High-Assurance Applications 2010: 341-379 - [e4]John 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 [contents]
2000 – 2009
- 2009
- [j25]Andrew L. King, Sam Procter
A publish-subscribe architecture and component-based programming model for medical device interoperability. SIGBED Rev. 6(2): 7 (2009) - [c53]Andrew L. King, Sam Procter
An open test bed for medical device integration and coordination. ICSE Companion 2009: 141-151 - [c52]Andrew L. King, Sam Procter
Demonstration of a medical device integration and coordination framework. ICSE Companion 2009: 433-434 - 2008
- [c51]Torben 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 - [c50]John Hatcliff:
Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. ICFEM 2008: 3-4 - [c49]John 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. SafeCert@ETAPS 2008: 11-17 - 2007
- [j24]Georg Jung, John Hatcliff:
A correlation framework for the CORBA component model. Int. J. Softw. Tools Technol. Transf. 9(5-6): 417-427 (2007) - [j23]Venkatesh Prasad Ranganath
Slicing concurrent Java programs using Indus and Kaveri. Int. J. Softw. Tools Technol. Transf. 9(5-6): 489-504 (2007) - [j22]Venkatesh Prasad Ranganath
A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. 29(5): 27 (2007) - [c48]Georg Jung, John Hatcliff:
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. GPCE 2007: 33-42 - [c47]Matthew B. Dwyer
Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136 - [c46]Xianghua Deng, Robby, John Hatcliff:
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. SEFM 2007: 273-282 - 2006
- [j21]Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff:
CALM and Cadena: Metamodeling for Component-Based Product-Line Development. Computer 39(2): 42-50 (2006) - [j20]Insup Lee, George J. Pappas
High-Confidence Medical Device Software and Systems. Computer 39(4): 33-38 (2006) - [j19]Arvind S. Krishna, Aniruddha S. Gokhale, Douglas C. Schmidt, Venkatesh Prasad Ranganath
Towards highly optimized real-time middleware for software product-line architectures. SIGBED Rev. 3(1): 13-16 (2006) - [j18]John Hatcliff, Insup Lee, Oleg Sokolsky:
Introduction to special issue. SIGBED Rev. 3(4) (2006) - [j17]Mark W. Bailey, John Hatcliff, Frank Tip:
PEPM 2006 paper abstracts. ACM SIGPLAN Notices 41(3): 4-8 (2006) - [j16]Hubert Garavel, John Hatcliff:
Why you should definitely read this special section. Int. J. Softw. Tools Technol. Transf. 8(1): 1-3 (2006) - [j15]Robby, Edwin Rodríguez, Matthew B. Dwyer
Checking JML specifications using an extensible software model checking framework. Int. J. Softw. Tools Technol. Transf. 8(3): 280-299 (2006) - [j14]Hubert Garavel, John Hatcliff:
TACAS 2003 Special Issue - Preface. Theor. Comput. Sci. 354(2): 169-172 (2006) - [c45]Xianghua Deng, Robby, John Hatcliff:
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. ISoLA 2006: 137 - [c44]Robby, Matthew B. Dwyer
Domain-specific Model Checking Using The Bogor Framework. ASE 2006: 369-370 - [c43]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. TACAS 2006: 73-89 - [c42]Robby, Matthew B. Dwyer
Bogor: A Flexible Framework for Creating Software Model Checkers. TAIC PART 2006: 3-22 - [e3]John 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 [contents] - 2005
- [j13]Radu Iosif, Matthew B. Dwyer
Translating Java for Multiple Model Checkers: The Bandera Back-End. Formal Methods Syst. Des. 26(2): 137-180 (2005) - [c41]Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby:
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. CAV 2005: 148-152 - [c40]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. ECOOP 2005: 551-576 - [c39]Venkatesh Prasad Ranganath
A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP 2005: 77-93 - [c38]Ganeshan Jayaraman, Venkatesh Prasad Ranganath
Kaveri: Delivering the Indus Java Program Slicer to Eclipse. FASE 2005: 269-272 - [p1]Gabriele Trombetti
An Integrated Model-Driven Development Environment for Composing and Validating Distributed Real-Time and Embedded Systems. Model-Driven Software Development 2005: 329-361 - 2004
- [j12]Matthew B. Dwyer
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods Syst. Des. 25(2-3): 199-240 (2004) - [c37]Edwin 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 - [c36]Venkatesh Prasad Ranganath
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. CC 2004: 39-56 - [c35]Matthew B. Dwyer
Supporting model checking education using BOGOR/Eclipse. eTX 2004: 88-92 - [c34]Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath
A Correlation Framework for the CORBA Component Model. FASE 2004: 144-159 - [c33]Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. FASE 2004: 160-164 - [c32]Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff:
A Case Study in Domain-Customized Model Checking for Real-Time Component Software. ISoLA 2004: 161-180 - [c31]Matthew 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 - [c30]Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno:
SyncGen: An Aspect-Oriented Framework for Synchronization. TACAS 2004: 158-162 - [c29]Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff:
Checking Strong Specifications Using an Extensible Software Model Checking Framework. TACAS 2004: 404-420 - [c28]John Hatcliff, Robby, Matthew B. Dwyer:
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. VMCAI 2004: 175-190 - 2003
- [c27]Matthew B. Dwyer
Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT 2003: 173-189 - [c26]John Hatcliff, Xianghua Deng, Matthew B. Dwyer
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. ICSE 2003: 160-173 - [c25]Venkatesh Prasad Ranganath
Cadena: enabling CCM-based application development in Eclipse. eTX 2003: 20-24 - [c24]John Hatcliff, William Deng, Matthew B. Dwyer
Slicing and partial evaluation of CORBA component model designs for avionics system. PEPM 2003: 1-2 - [c23]Robby, Matthew B. Dwyer
Bogor: an extensible and highly-modular software model checking framework. ESEC / SIGSOFT FSE 2003: 267-276 - [c22]Robby, Matthew B. Dwyer
Space-Reduction Strategies for Model Checking Dynamic Software. SoftMC@CAV 2003: 499-517 - [e2]Hubert 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 [contents] - 2002
- [j11]James C. Corbett, Matthew B. Dwyer
Expressing checkable properties of dynamic systems: the Bandera Specification Language. Int. J. Softw. Tools Technol. Transf. 4(1): 34-56 (2002) - [c21]John Hatcliff, Matthew B. Dwyer
Foundations of the Bandera Abstraction Tools. The Essence of Computation 2002: 172-203 - [c20]Xianghua 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 - [c19]Xianghua Deng, Matthew B. Dwyer
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. ICSE 2002: 442-452 - 2001
- [j10]Gilles Barthe
An induction principle for pure type systems. Theor. Comput. Sci. 266(1-2): 773-818 (2001) - [j9]Gilles Barthe
Weak normalization implies strong normalization in a class of non-dependent pure type systems. Theor. Comput. Sci. 269(1-2): 317-361 (2001) - [c18]John Hatcliff, Matthew B. Dwyer:
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. CONCUR 2001: 39-58 - [c17]Matthew B. Dwyer
Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187 - 2000
- [j8]John Hatcliff, Matthew B. Dwyer
Slicing Software for Model Construction. High. Order Symb. Comput. 13(4): 315-353 (2000) - [j7]Matthew B. Dwyer
Adapting programming languages technologies for finite-state verification. ACM SIGSOFT Softw. Eng. Notes 25(1): 46-49 (2000) - [c16]James C. Corbett, Matthew B. Dwyer
Bandera: extracting finite-state models from Java source code. ICSE 2000: 439-448 - [c15]James C. Corbett, Matthew B. Dwyer
Bandera: a source-level interface for model checking Java programs. ICSE 2000: 762-765 - [c14]James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN 2000: 205-223
1990 – 1999
- 1999
- [j6]Gilles Barthe
CPS Translations and Applications: The Cube and Beyond. High. Order Symb. Comput. 12(2): 125-170 (1999) - [c13]Matthew B. Dwyer, John Hatcliff:
Slicing Software for Model Construction. PEPM 1999: 105-118 - [c12]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. SAS 1999: 1-18 - [e1]John 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 [contents] - 1998
- [j5]John Hatcliff:
Foundations for Partial Evaluation of Functional Programs with Computational Effects. ACM Comput. Surv. 30(3es): 13 (1998) - [j4]Matthew B. Dwyer
Using Partial Evaluation to Enable Verification of Concurrent Software. ACM Comput. Surv. 30(3es): 22 (1998) - [c11]Robert Glück, John Hatcliff, Jesper Jørgensen:
Generalization in Hierarchies of Online Program Specialization Systems. LOPSTR 1998: 179-198 - [c10]John Hatcliff:
An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language. Partial Evaluation 1998: 20-82 - [c9]John Hatcliff, Matthew B. Dwyer
Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP 1998: 134-151 - 1997
- [j3]John Hatcliff, Olivier Danvy
Thunks and the lambda-Calculus. J. Funct. Program. 7(3): 303-319 (1997) - [j2]John Hatcliff, Olivier Danvy
A Computational Formalization for Partial Evaluation. Math. Struct. Comput. Sci. 7(5): 507-541 (1997) - [c8]Gilles Barthe
Reflections on Reflections. PLILP 1997: 241-258 - [c7]Gilles Barthe
A notion of classical pure type system. MFPS 1997: 4-59 - [c6]Gilles Barthe
Monadic Type Systems: Pure Type Systems for Impure Settings. HOOTS 1997: 54-120 - 1996
- [c5]John Hatcliff, Robert Glück
Reasoning about Hierarchies of Online Program Specialization Systems. Dagstuhl Seminar on Partial Evaluation 1996: 161-182 - 1995
- [c4]John Hatcliff:
Mechanically Verifying the Correctness of an Offline Partial Evaluator. PLILP 1995: 279-298 - 1994
- [c3]John Hatcliff, Olivier Danvy:
A Generic Account of Continuation-Passing Styles. POPL 1994: 458-471 - 1993
- [c2]Olivier Danvy
On the Transformation between Direct and Continuation Semantics. MFPS 1993: 627-648 - 1992
- [j1]Olivier Danvy
CPS-Transformation After Strictness Analysis. LOPLAS 1(3): 195-212 (1992) - [c1]Olivier Danvy, John Hatcliff:
Thunks (Continued). WSA 1992: 3-11
Coauthor Index
Venkatesh Prasad Ranganath
aka: Venkatesh-Prasad Ranganath
aka: Venkatesh-Prasad Ranganath
[c96] [c95] [c94] [j34] [c92] [j33] [j32] [c89] [c88] [c87] [c85] [c84] [c80] [c78] [c77] [c74] [c70] [c68] [c62] [c60] [c59] [c58] [c57] [p2] [c51] [c47] [c46] [j15] [c45] [c44] [c43] [c42] [c41] [c40] [j12] [c37] [c32] [c31] [c29] [c28] [c27] [c24] [c23] [c22] [j11] [c21] [c20] [c17] [c16] [c15] [c14]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 20:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: