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
  • 2017-01 Towards energy-proportional clouds partially powered by renewable energy in COMPUTING
  • 2016 On Composition and Implementation of Sequential Consistency in DISTRIBUTED COMPUTING
  • 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
  • 2014-02 QoS-aware management of monotonic service orchestrations in FORMAL METHODS IN SYSTEM DESIGN
  • 2014 The Impact of Initial Delays in OSPF Routing in E-BUSINESS AND TELECOMMUNICATIONS
  • 2014 The Impact of Initial Delays in OSPF Routing in E-BUSINESS AND TELECOMMUNICATIONS
  • 2013-12 Symbolic unfolding of parametric stopwatch Petri nets in FORMAL METHODS IN SYSTEM DESIGN
  • 2013 Back in Time Petri Nets in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2013 Scenario Realizability with Constraint Optimization in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2012 Robustness of Time Petri Nets under Architectural Constraints in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2012 Robustness of Time Petri Nets under Guard Enlargement in REACHABILITY PROBLEMS
  • 2011 Optimizing Decisions in Web Services Orchestrations in SERVICE-ORIENTED COMPUTING
  • 2010 Diagnosis Using Unfoldings of Parametric Time Petri Nets in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 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
  • 2008 Event Structure Semantics of Orc in WEB SERVICES AND FORMAL METHODS
  • 2007 Testing Input/Output Partial Order Automata in TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS
  • 2006 Symbolic Unfoldings for Networks of Timed Automata in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2006 LaTe, a Non-fully Deterministic Testing Language in TESTING OF COMMUNICATING SYSTEMS
  • 2006 Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets in PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006
  • 2005-08 TGV: theory, principles and algorithms in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2005-03 Distributed Monitoring of Concurrent and Asynchronous Systems* in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2005-03 Contributing Authors in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2005 Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets in FORMAL MODELING AND ANALYSIS OF TIMED 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
  • 2004 Algorithms for Distributed Fault Management in Telecommunications Networks in TELECOMMUNICATIONS AND NETWORKING - ICT 2004
  • 2004 Symbolic Diagnosis of Partially Observable Concurrent Systems in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS – FORTE 2004
  • 2003 Distributed Monitoring of Concurrent and Asynchronous Systems in CONCUR 2003 - CONCURRENCY THEORY
  • 2002 Principles of Distributed Test Synthesis Based on True-Concurrency Models in TESTING OF COMMUNICATING SYSTEMS XIV
  • 2002 System Test Synthesis from UML Models of Distributed Software in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYTEMS — FORTE 2002
  • 2000 Verification of Test Suites in TESTING OF COMMUNICATING SYSTEMS
  • 1999-11 L’ingénierie des protocoles avec UML in ANNALS OF TELECOMMUNICATIONS
  • 1999 Remote testing can be as powerful as local testing in FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS
  • 1998-06 Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets in DISCRETE EVENT DYNAMIC SYSTEMS
  • 1998 Towards Automatic Distribution of Testers for Distributed Conformance Testing in FORMAL DESCRIPTION TECHNIQUES AND PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
  • 1998 Algebraic techniques for timed systems in CONCUR'98 CONCURRENCY THEORY
  • 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
  • 1996 Using on-the-fly verification techniques for the generation of test suites in COMPUTER AIDED VERIFICATION
  • 1995 3D layout of reachability graphs of communicating processes in GRAPH DRAWING
  • 1995 Measuring concurrency of regular distributed computations in TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT
  • 1995 How to Observe Interoperability at the Service Level of Protocols in PROTOCOL TEST SYSTEMS
  • 1994-09 Computing on-line the lattice of maximal antichains of posets in ORDER
  • 1993 Reachability analysis on distributed executions in TAPSOFT'93: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT
  • 1993 Correctness of automated distribution of sequential programs in PARLE '93 PARALLEL ARCHITECTURES AND LANGUAGES EUROPE
  • 1992-10 On-the-fly verification of finite transition systems in FORMAL METHODS IN SYSTEM DESIGN
  • 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 Nb6947e840cac4c8bbaac608d32013e4d
    7 sgo:license sg:explorer/license/
    8 sgo:sdDataset persons
    9 rdf:type schema:Person
    10 Nb6947e840cac4c8bbaac608d32013e4d schema:name Springer Nature - SN SciGraph project
    11 rdf:type schema:Organization
     




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


    ...