Bertrand Jeannet


Ontology type: schema:Person     


Person Info

NAME

Bertrand

SURNAME

Jeannet

Publications in SciGraph latest 50 shown

  • 2013-05 Relational interprocedural verification of concurrent programs in SOFTWARE & SYSTEMS MODELING
  • 2011 Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs in STATIC ANALYSIS
  • 2011 Widening with Thresholds for Programs with Complex Control Graphs in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2011 Precise Interprocedural Analysis in the Presence of Pointers to the Stack in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2011 Policy Iteration within Logico-Numerical Abstract Domains in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2009 Apron: A Library of Numerical Abstract Domains for Static Analysis in COMPUTER AIDED VERIFICATION
  • 2007 Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification in STATIC ANALYSIS
  • 2007 Automatic Test Generation from Interprocedural Specifications in TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS
  • 2007 Model-Based Test Selection for Infinite-State Reactive Systems in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 2006 Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
  • 2005 A Relational Abstraction for Functions in STATIC ANALYSIS
  • 2005 Symbolic Test Selection Based on Approximate Analysis in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2004 Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
  • 2004 From Safety Verification to Safety Testing in TESTING OF COMMUNICATING SYSTEMS
  • 2004 A Relational Approach to Interprocedural Shape Analysis in STATIC ANALYSIS
  • 2003-07 Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems in FORMAL METHODS IN SYSTEM DESIGN
  • 2002 Reduction and Refinement Strategies for Probabilistic Analysis in PROCESS ALGEBRA AND PROBABILISTIC METHODS: PERFORMANCE MODELING AND VERIFICATION
  • 2001-10-16 UPPAAL - Now, Next, and Future in MODELING AND VERIFICATION OF PARALLEL PROCESSES
  • 2001 Reachability Analysis of Probabilistic Systems by Successive Refinements in PROCESS ALGEBRA AND PROBABILISTIC METHODS. PERFORMANCE MODELLING AND VERIFICATION
  • 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": "Jeannet", 
        "givenName": "Bertrand", 
        "id": "sg:person.07737770777.06", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07737770777.06"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:45", 
        "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_1527.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.07737770777.06'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

    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.07737770777.06 schema:familyName Jeannet
    2 schema:givenName Bertrand
    3 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07737770777.06
    4 schema:sdDatePublished 2019-03-07T13:45
    5 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    6 schema:sdPublisher Ndf8abd1b8ccf4ee791db22d9fe6f7d89
    7 sgo:license sg:explorer/license/
    8 sgo:sdDataset persons
    9 rdf:type schema:Person
    10 Ndf8abd1b8ccf4ee791db22d9fe6f7d89 schema:name Springer Nature - SN SciGraph project
    11 rdf:type schema:Organization
     




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


    ...