Claude Jard

Ontology type: schema:Person     

Person Info





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": "", 
        "familyName": "Jard", 
        "givenName": "Claude", 
        "id": "sg:person.015533423605.19", 
        "sameAs": [
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:39", 
        "sdLicense": "", 
        "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


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

    curl -H 'Accept: application/ld+json' ''

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

    curl -H 'Accept: application/n-triples' ''

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' ''

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

    curl -H 'Accept: application/rdf+xml' ''


    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
    4 schema:sdDatePublished 2019-03-07T13:39
    5 schema:sdLicense
    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)