Gethin Norman


Ontology type: schema:Person     


Person Info

NAME

Gethin

SURNAME

Norman

Publications in SciGraph latest 50 shown

  • 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-07-14 PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time in COMPUTER AIDED VERIFICATION
  • 2020-04-16 Collaborative models for autonomous systems controller synthesis in FORMAL ASPECTS OF COMPUTING
  • 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 Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games in FORMAL METHODS – THE NEXT 30 YEARS
  • 2018-08-15 Automated Verification of Concurrent Stochastic Games in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2018-03-11 Strategy Synthesis for Autonomous Agents Using PRISM in NASA FORMAL METHODS
  • 2017-07-25 Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata in MODELS, ALGORITHMS, LOGICS AND TOOLS
  • 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-04-08 Autonomous Agent Behaviour Modelled in PRISM – A Case Study in MODEL CHECKING SOFTWARE
  • 2015-08-22 Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2015-08-22 Verification and Control of Partially Observable Probabilistic Real-Time Systems in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2015-04-30 Mathematical Modelling of Trust Issues in Federated Identity Management in TRUST MANAGEMENT IX
  • 2014 Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations in HORIZONS OF THE MIND. A TRIBUTE TO PRAKASH PANANGADEN
  • 2012-10-29 Analysis of stochastic matching markets in INTERNATIONAL JOURNAL OF GAME THEORY
  • 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
  • 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
  • 2010-08-03 A game-based abstraction-refinement framework for Markov decision processes in FORMAL METHODS IN SYSTEM DESIGN
  • 2010 Expected Reachability-Time Games in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 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 Concavely-Priced Probabilistic Timed Automata in CONCUR 2009 - CONCURRENCY THEORY
  • 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 Abstraction Refinement for Probabilistic Software in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2007-01-01 Stochastic Model Checking in FORMAL METHODS FOR PERFORMANCE EVALUATION
  • 2006-07-05 A formal analysis of bluetooth device discovery in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2006-06-07 Performance analysis of probabilistic timed automata using digital clocks in FORMAL METHODS IN SYSTEM DESIGN
  • 2006-01-19 Numerical vs. statistical probabilistic model checking in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2006 Symmetry Reduction for Probabilistic Model Checking in COMPUTER AIDED VERIFICATION
  • 2006 PRISM: A Tool for Automatic Verification of Probabilistic Systems in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2006 On Reduction Criteria for Probabilistic Reward Models in FSTTCS 2006: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
  • 2006 Probabilistic Model Checking of Complex Biological Pathways in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2005-05-19 Using probabilistic model checking for dynamic power management in FORMAL ASPECTS OF COMPUTING
  • 2005 Stochastic Transition Systems for Continuous State Spaces and Non-determinism in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2004-04-06 Probabilistic symbolic model checking with PRISM: a hybrid approach in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2004-03-01 Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2004 Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2004 Performance Analysis of Probabilistic Timed Automata Using Digital Clocks in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2004 Analysing Randomized Distributed Algorithms in VALIDATION OF STOCHASTIC SYSTEMS
  • 2004 Symbolic Model Checking for Probabilistic Timed Automata in FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS
  • 2003-04 Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol in FORMAL ASPECTS OF COMPUTING
  • 2003 Analysis of Probabilistic Contract Signing in FORMAL ASPECTS OF SECURITY
  • 2002-11-05 Verifying Randomized Byzantine Agreement_ in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYTEMS — FORTE 2002
  • 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.8756.c", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.6572.6", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.9983.b", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4991.5", 
            "type": "Organization"
          }
        ], 
        "familyName": "Norman", 
        "givenName": "Gethin", 
        "id": "sg:person.016323171577.36", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0001-9326-4344"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016323171577.36", 
          "https://orcid.org/0000-0001-9326-4344"
        ], 
        "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_647.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.016323171577.36'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

    This table displays all metadata directly associated to this object as RDF triples.

    27 TRIPLES      11 PREDICATES      16 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.016323171577.36 schema:affiliation Na67d86679ac342c28a9aa898ae424994
    2 grid-institutes:grid.4991.5
    3 grid-institutes:grid.6572.6
    4 grid-institutes:grid.9983.b
    5 schema:familyName Norman
    6 schema:givenName Gethin
    7 schema:identifier Nd91ec16926ef49408442d16f18c222a3
    8 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016323171577.36
    9 https://orcid.org/0000-0001-9326-4344
    10 schema:sdDatePublished 2022-01-01T19:56
    11 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    12 schema:sdPublisher N29d2a4581e764a5b921ccc25063620a7
    13 sgo:license sg:explorer/license/
    14 sgo:sdDataset persons
    15 rdf:type schema:Person
    16 N29d2a4581e764a5b921ccc25063620a7 schema:name Springer Nature - SN SciGraph project
    17 rdf:type schema:Organization
    18 Na67d86679ac342c28a9aa898ae424994 schema:affiliation grid-institutes:grid.8756.c
    19 sgo:isCurrent true
    20 rdf:type schema:OrganizationRole
    21 Nd91ec16926ef49408442d16f18c222a3 schema:name orcid_id
    22 schema:value 0000-0001-9326-4344
    23 rdf:type schema:PropertyValue
    24 grid-institutes:grid.4991.5 schema:Organization
    25 grid-institutes:grid.6572.6 schema:Organization
    26 grid-institutes:grid.8756.c schema:Organization
    27 grid-institutes:grid.9983.b schema:Organization
     




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


    ...