David Charles Parker


Ontology type: schema:Person     


Person Info

NAME

David Charles

SURNAME

Parker

Publications in SciGraph latest 50 shown

  • 2021-08-05 On Correctness, Precision, and Performance in Quantitative Verification in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TOOLS AND TRENDS
  • 2021-02-05 Quantitative verification of Kalman filters in FORMAL ASPECTS OF COMPUTING
  • 2021-01-22 Automatic verification of concurrent stochastic systems in FORMAL METHODS IN SYSTEM DESIGN
  • 2020-11-03 Multi-player Equilibria Verification for Concurrent Stochastic Games in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2020-08-25 Probabilistic Guarantees for Safe Deep Reinforcement Learning in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2020-07-14 PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time in COMPUTER AIDED VERIFICATION
  • 2019-11-04 Verification and Control of Turn-Based Probabilistic Real-Time Games in THE ART OF MODELLING COMPUTATIONAL SYSTEMS: A JOURNEY FROM LOGIC AND CONCURRENCY TO SECURITY AND PRIVACY
  • 2019-09-23 Quantitative Verification of Numerical Stability for Kalman Filters in FORMAL METHODS – THE NEXT 30 YEARS
  • 2019-09-23 Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games in FORMAL METHODS – THE NEXT 30 YEARS
  • 2019-04-04 The Quantitative Verification Benchmark Set in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2019-04-04 The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2019-03-07 Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint in SCIENTIFIC REPORTS
  • 2018-08-15 Automated Verification of Concurrent Stochastic Games in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2017-11-29 PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2017-07-25 Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata in MODELS, ALGORITHMS, LOGICS AND TOOLS
  • 2017-07-13 Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes in COMPUTER AIDED VERIFICATION
  • 2017-06-22 Probabilistic Model Checking: Advances and Applications in FORMAL SYSTEM VERIFICATION
  • 2017-03-08 Verification and control of partially observable probabilistic systems in REAL-TIME SYSTEMS
  • 2016-09-04 Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2016-04-09 PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016-04-08 Finite-Horizon Bisimulation Minimisation for Probabilistic Systems in MODEL CHECKING SOFTWARE
  • 2015-08-22 Verification and Control of Partially Observable Probabilistic Real-Time Systems in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2015-07-16 The Hanoi Omega-Automata Format in COMPUTER AIDED VERIFICATION
  • 2014 Verification of Markov Decision Processes Using Learning Algorithms in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2014 Permissive Controller Synthesis for Probabilistic Systems in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2014 Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations in HORIZONS OF THE MIND. A TRIBUTE TO PRAKASH PANANGADEN
  • 2013-02-16 Automatic verification of competitive stochastic systems in FORMAL METHODS IN SYSTEM DESIGN
  • 2013 Automated Verification and Strategy Synthesis for Probabilistic Systems in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2013 SMT-Based Bisimulation Minimisation of Markov Models in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2013 Incremental Runtime Verification of Probabilistic Systems in RUNTIME VERIFICATION
  • 2013 PRISM-games: A Model Checker for Stochastic Multi-Player Games in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2012-10-12 Model checking for probabilistic timed automata in FORMAL METHODS IN SYSTEM DESIGN
  • 2012-06-29 Probabilistic verification of Herman’s self-stabilisation algorithm in FORMAL ASPECTS OF COMPUTING
  • 2012 Automatic Verification of Competitive Stochastic Systems in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2012 Pareto Curves for Probabilistic Model Checking in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2011 Automated Learning of Probabilistic Assumptions for Compositional Reasoning in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2011 Quantitative Multi-objective Verification for Probabilistic Systems in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2011 PRISM 4.0: Verification of Probabilistic Real-Time Systems in COMPUTER AIDED VERIFICATION
  • 2011 Automated Verification Techniques for Probabilistic Systems in FORMAL METHODS FOR ETERNAL NETWORKED SOFTWARE SYSTEMS
  • 2011 Learning-Based Compositional Verification for Synchronous Probabilistic Systems in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2011 Verifying Team Formation Protocols with Probabilistic Model Checking in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS
  • 2010-08-03 A game-based abstraction-refinement framework for Markov decision processes in FORMAL METHODS IN SYSTEM DESIGN
  • 2010 Assume-Guarantee Verification for Probabilistic Systems in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2010 A Framework for Verification of Software with Time and Probabilities in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2009-08-13 Quantitative Verification Techniques for Biological Processes in ALGORITHMIC BIOPROCESSES
  • 2009 Bisimulation for Demonic Schedulers in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2009 Stochastic Games for Verification of Probabilistic Timed Automata in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2008-01-01 Generating Compact MTBDD-Representations from Probmela Specifications in MODEL CHECKING SOFTWARE
  • 2008 Abstraction Refinement for Probabilistic Software in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2007-01-01 Stochastic Model Checking in FORMAL METHODS FOR PERFORMANCE EVALUATION
  • 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.6572.6", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4991.5", 
            "type": "Organization"
          }
        ], 
        "familyName": "Parker", 
        "givenName": "David Charles", 
        "id": "sg:person.014007552600.37", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0003-4137-8862"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014007552600.37", 
          "https://orcid.org/0000-0003-4137-8862"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:57", 
        "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_764.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.014007552600.37'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...