Claude Jard


Ontology type: schema:Person     


Person Info

NAME

Claude

SURNAME

Jard

Publications in SciGraph latest 50 shown

  • 2017-05 Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems in THEORY OF COMPUTING SYSTEMS
  • 2015-05 Distributed implementation of message sequence charts in SOFTWARE & SYSTEMS MODELING
  • 2015 Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC in NETWORKED SYSTEMS
  • 2015 Discrete Parameters in Petri Nets in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
  • 2013 Scenario Realizability with Constraint Optimization in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2012 Robustness of Time Petri Nets under Guard Enlargement in REACHABILITY PROBLEMS
  • 2010 Symbolic Unfolding of Parametric Stopwatch Petri Nets in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2008 Testing Systems Specified as Partial Order Input/Output Automata in TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS
  • 2007 Testing Input/Output Partial Order Automata in TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS
  • 2005-03 Distributed Monitoring of Concurrent and Asynchronous Systems* in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2005 From Automata Networks to HMSCs: A Reverse Model Engineering Perspective in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005
  • 2004 UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks in TELECOMMUNICATIONS AND NETWORKING - ICT 2004
  • 2003 Distributed Monitoring of Concurrent and Asynchronous Systems in CONCUR 2003 - CONCURRENCY THEORY
  • 1999 Remote testing can be as powerful as local testing in FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS
  • 1998 Towards Automatic Distribution of Testers for Distributed Conformance Testing in FORMAL DESCRIPTION TECHNIQUES AND PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
  • 1997 An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS
  • 1997 Fault detection in telecommunication networks based on a Petri net representation of alarm propagation in APPLICATION AND THEORY OF PETRI NETS 1997
  • 1990 On-line model-checking for finite linear temporal logic specifications in AUTOMATIC VERIFICATION METHODS FOR FINITE STATE SYSTEMS
  • 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", 
        "familyName": "Jard", 
        "givenName": "Claude", 
        "id": "sg:person.015533423605.19", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015533423605.19"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:39", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1442.json", 
        "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.015533423605.19'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

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

    11 TRIPLES      9 PREDICATES      10 URIs      6 LITERALS      1 BLANK NODES

    Subject Predicate Object
    1 sg:person.015533423605.19 schema:familyName Jard
    2 schema:givenName Claude
    3 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015533423605.19
    4 schema:sdDatePublished 2019-03-07T13:39
    5 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    6 schema:sdPublisher N6a83263bd6a9494b87721f8a9f894ea7
    7 sgo:license sg:explorer/license/
    8 sgo:sdDataset persons
    9 rdf:type schema:Person
    10 N6a83263bd6a9494b87721f8a9f894ea7 schema:name Springer Nature - SN SciGraph project
    11 rdf:type schema:Organization
     




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


    ...