John Hatcliff


Ontology type: schema:Person     


Person Info

NAME

John

SURNAME

Hatcliff

Publications in SciGraph latest 50 shown

  • 2021-10-12 Slang: The Sireum Programming Language in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION
  • 2021-10-12 HAMR: An AADL Multi-platform Code Generation Toolset in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION
  • 2021-07-19 Awas: AADL information flow and error propagation analysis framework in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING
  • 2020-09-07 Awas: AADL Information Flow and Error Propagation Analysis Framework in SOFTWARE ARCHITECTURE
  • 2020-09-04 Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling in MODEL-BASED SAFETY AND ASSESSMENT
  • 2018-10-29 Model-Based Development for High-Assurance Embedded Systems in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. MODELING
  • 2018-10-29 A Unified Approach for Modeling, Developing, and Assuring Critical Systems in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. MODELING
  • 2018-08-21 Assurance Case Considerations for Interoperable Medical Systems in DEVELOPMENTS IN LANGUAGE THEORY
  • 2017-08-13 Focused Certification of an Industrial Compilation and Static Verification Toolchain in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2017-07-27 Towards an AADL-Based Definition of App Architecture for Medical Application Platforms in SOFTWARE ENGINEERING IN HEALTH CARE
  • 2015-12-09 Error Type Refinement for Assurance of Families of Platform-Based Systems in COMPUTER SAFETY, RELIABILITY, AND SECURITY
  • 2015-11-25 Towards Assurance for Plug & Play Medical Systems in COMPUTER SAFETY, RELIABILITY, AND SECURITY
  • 2014-03-08 Foundational Security Principles for Medical Application Platforms in INFORMATION SECURITY APPLICATIONS
  • 2013 BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software in NASA FORMAL METHODS
  • 2012 Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems in NASA FORMAL METHODS
  • 2012 A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow in PRINCIPLES OF SECURITY AND TRUST
  • 2011 Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution in NASA FORMAL METHODS
  • 2010-01-23 Specification and Checking of Software Contracts for Conditional Information Flow in DESIGN AND VERIFICATION OF MICROPROCESSOR SYSTEMS FOR HIGH-ASSURANCE APPLICATIONS
  • 2010 Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2008 Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2008 Specification and Checking of Software Contracts for Conditional Information Flow in FM 2008: FORMAL METHODS
  • 2007-08-23 A correlation framework for the CORBA component model in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2007-07-25 Slicing concurrent Java programs using Indus and Kaveri in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2006-02-16 Checking JML specifications using an extensible software model checking framework in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2006 A Case Study in Domain-Customized Model Checking for Real-Time Component Software in LEVERAGING APPLICATIONS OF FORMAL METHODS
  • 2006 Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2005-11-09 Why you should definitely read this special section in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2005-03 Translating Java for Multiple Model Checkers: The Bandera Back-End in FORMAL METHODS IN SYSTEM DESIGN
  • 2005 Extending JML for Modular Specification and Verification of Multi-threaded Programs in ECOOP 2005 - OBJECT-ORIENTED PROGRAMMING
  • 2005 Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework in COMPUTER AIDED VERIFICATION
  • 2005 A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking in CONSTRUCTION AND ANALYSIS OF SAFE, SECURE, AND INTEROPERABLE SMART DEVICES
  • 2005 Kaveri: Delivering the Indus Java Program Slicer to Eclipse in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2005-01-01 An Integrated Model-Driven Development Environment for Composing and Validating Distributed Real-Time and Embedded Systems in MODEL-DRIVEN SOFTWARE DEVELOPMENT
  • 2005 A New Foundation for Control-Dependence and Slicing for Modern Program Structures in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2004-09 Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs in FORMAL METHODS IN SYSTEM DESIGN
  • 2004 Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs in COMPILER CONSTRUCTION
  • 2004 Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2004 SyncGen: An Aspect-Oriented Framework for Synchronization in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2004 Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2004 A Correlation Framework for the CORBA Component Model in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2004 Checking Strong Specifications Using an Extensible Software Model Checking Framework in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2003 Space Reductions for Model Checking Quasi-Cyclic Systems in EMBEDDED SOFTWARE
  • 2003 Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 2002-12-16 Foundations of the Bandera Abstraction Tools in THE ESSENCE OF COMPUTATION
  • 2002-10 Expressing checkable properties of dynamic systems: the Bandera Specification Language in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2001-08-22 Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software in CONCUR 2001 — CONCURRENCY THEORY
  • 2000-12 Slicing Software for Model Construction in HIGHER-ORDER AND SYMBOLIC COMPUTATION
  • 2000 A Language Framework for Expressing Checkable Properties of Dynamic Software in SPIN MODEL CHECKING AND SOFTWARE VERIFICATION
  • 1999-10-01 A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives in STATIC ANALYSIS
  • 1999-09 CPS Translations and Applications: The Cube and Beyond in HIGHER-ORDER AND SYMBOLIC COMPUTATION
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.36567.31", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.411363.2", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7048.b", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5254.6", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.65519.3e", 
            "type": "Organization"
          }
        ], 
        "familyName": "Hatcliff", 
        "givenName": "John", 
        "id": "sg:person.014635222727.02", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014635222727.02"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:56", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/person/person_729.jsonl", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.014635222727.02'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.014635222727.02'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.014635222727.02'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.014635222727.02'


     




    Preview window. Press ESC to close (or click here)


    ...