|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 50 occurrences of 43 keywords
|
|
|
|
|
Results
Found 87 publication records. Showing 87 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Insup 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  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino |
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng |
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kejia Li, Steve Warren, John Hatcliff |
Component-based app design for platform-oriented devices in a medical device coordination framework. |
IHI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng |
Enhancing spark's contract checking facilities using symbolic execution. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Jung, John Hatcliff |
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Elena Zucca (eds.) |
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 |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff |
Software certification consortium: certification methods for safety-critical software. |
CASCON |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew 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 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff |
Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve |
Specification and Checking of Software Contracts for Conditional Information Flow. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh 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. |
2007 |
DBLP DOI BibTeX RDF |
Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence |
| 1 | Venkatesh Prasad Ranganath, John Hatcliff |
Slicing concurrent Java programs using Indus and Kaveri. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
Concurrent Java, Indus, Kaveri, Program slicing, Program dependences |
| 1 | Georg Jung, John Hatcliff |
A correlation framework for the CORBA component model. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
Event communication, Event filtering, Event type transformation, Event correlation, CORBA component model (CCM), Component system |
| 1 | Xianghua Deng, Robby, John Hatcliff |
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Jung, John Hatcliff |
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
CADENA, component oriented development, type system, CALM |
| 1 | Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser |
Formal Software Analysis Emerging Trends in Software Model Checking. |
FOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, John Hatcliff |
TACAS 2003 Special Issue - Preface. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark W. Bailey, John Hatcliff, Frank Tip |
PEPM 2006 paper abstracts. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff |
CALM and Cadena: Metamodeling for Component-Based Product-Line Development. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
Cadena, Software development, Programming languages, System design, Metamodeling, Model-driven engineering, MDE tools, CALM |
| 1 | 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. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
Healthcare technology, Medical software, Clinical software engineering |
| 1 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking JML specifications using an extensible software model checking framework. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, John Hatcliff |
Why you should definitely read this special section. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Matthew B. Dwyer, John Hatcliff |
Domain-specific Model Checking Using The Bogor Framework. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Frank Tip (eds.) |
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006 |
PEPM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Robby, Matthew B. Dwyer, John Hatcliff |
Bogor: A Flexible Framework for Creating Software Model Checkers. |
TAIC PART |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianghua Deng, Robby, John Hatcliff |
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Iosif, Matthew B. Dwyer, John Hatcliff |
Translating Java for Multiple Model Checkers: The Bandera Back-End. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff |
Kaveri: Delivering the Indus Java Program Slicer to Eclipse. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby |
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew 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 |
2004 |
DBLP DOI BibTeX RDF |
software verifcation, locking discipline, software model checking, partial order reduction, escape analysis |
| 1 | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno |
SyncGen: An Aspect-Oriented Framework for Synchronization. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking Strong Specifications Using an Extensible Software Model Checking Framework. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier |
Supporting model checking education using BOGOR/Eclipse. |
ETX |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath |
A Correlation Framework for the CORBA Component Model. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh Prasad Ranganath, John Hatcliff |
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff |
A Case Study in Domain-Customized Model Checking for Real-Time Component Software. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | John Hatcliff, Robby, Matthew B. Dwyer |
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif |
Space-Reduction Strategies for Model Checking Dynamic Software. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff |
Space Reductions for Model Checking Quasi-Cyclic Systems. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, John Hatcliff (eds.) |
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 |
TACAS |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
distributed systems, designs, real-time systems, model-checking, embedded systems, verification, components, CORBA, partial evaluation, slicing |
| 1 | Venkatesh 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 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath |
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Matthew B. Dwyer, John Hatcliff |
Bogor: an extensible and highly-modular software model checking framework. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
modular, extensible, domain-specific, model checker |
| 1 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
Expressing checkable properties of dynamic systems: the Bandera Specification Language. |
STTT |
2002 |
DBLP DOI BibTeX RDF |
Model checking, Object-oriented programs, Temporal specification |
| 1 | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh |
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby |
Foundations of the Bandera Abstraction Tools. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno |
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, John Hatcliff, Morten Heine Sørensen |
Weak normalization implies strong normalization in a class of non-dependent pure type systems. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, John Hatcliff, Morten Heine Sørensen |
An induction principle for pure type systems. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Matthew B. Dwyer |
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Matthew B. Dwyer, Hongjun Zheng |
Slicing Software for Model Construction. |
Higher-Order and Symbolic Computation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
A Language Framework for Expressing Checkable Properties of Dynamic Software. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
Bandera: a source-level interface for model checking Java programs. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
debugging and testing, Java, Java, model checking, program analysis |
| 1 | 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. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
Java, model checking, abstract interpretation, program verification, slicing, program specialization, model extraction |
| 1 | Gilles Barthe, John Hatcliff, Morten Heine Sørensen |
CPS Translations and Applications: The Cube and Beyond. |
Higher-Order and Symbolic Computation |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Torben Æ. Mogensen, Peter Thiemann (eds.) |
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 |
Partial Evaluation |
1999 |
DBLP BibTeX RDF |
|
| 1 | Matthew B. Dwyer, John Hatcliff |
Slicing Software for Model Construction. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, John Hatcliff, Muhammad Nanda |
Using Partial Evaluation to Enable Verification of Concurrent Software. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff |
Foundations for Partial Evaluation of Functional Programs with Computational Effects. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff |
An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language. |
Partial Evaluation |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Matthew B. Dwyer, Shawn Laubach |
Staging Static Analyses Using Abstraction-Based Program Specialization. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Glück, John Hatcliff, Jesper Jørgensen |
Generalization in Hierarchies of Online Program Specialization Systems. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Olivier Danvy |
A Computational Formalization for Partial Evaluation. |
Mathematical Structures in Computer Science |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, John Hatcliff, Peter Thiemann |
Monadic Type Systems: Pure Type Systems for Impure Settings. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, John Hatcliff, Morten Heine Sørensen |
A notion of classical pure type system. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Olivier Danvy |
Thunks and the lambda-Calculus. |
J. Funct. Program. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Gilles Barthe, John Hatcliff, Morten Heine Sørensen |
Reflections on Reflections. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Robert Glück |
Reasoning about Hierarchies of Online Program Specialization Systems. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff |
Mechanically Verifying the Correctness of an Offline Partial Evaluator |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Olivier Danvy |
A Generic Account of Continuation-Passing Styles. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, John Hatcliff |
On the Transformation between Direct and Continuation Semantics. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, John Hatcliff |
CPS-Transformation After Strictness Analysis. |
LOPLAS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Olivier Danvy, John Hatcliff |
Thunks (Continued). |
WSA |
1992 |
DBLP BibTeX RDF |
|
Displaying result #1 - #87 of 87 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")