Laboratoire Spécification et Vérification View Homepage


Ontology type: grid:Facility  | foaf:Organization     


Organization Info

NAME

Laboratoire Spécification et Vérification

HOMEPAGE

http://www.lsv.ens-cachan.fr/

ADDRESS

http://www.grid.ac/institutes/grid.464035.0/address-0

Publications in SciGraph latest 20 shown

  • 2018-08 On the complexity of monitoring Orchids signatures, and recurrence equations in FORMAL METHODS IN SYSTEM DESIGN
  • 2018-05-25 Boolean Networks: Beyond Generalized Asynchronicity in CELLULAR AUTOMATA AND DISCRETE COMPLEX SYSTEMS
  • 2018-05-08 Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
  • 2018-05-08 Integrating Simulink Models into the Model Checker Cosmos in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
  • 2018-05-08 An Automation-Friendly Set Theory for the B Method in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z
  • 2018-03 Average-energy games in ACTA INFORMATICA
  • 2018-01 Knapsack in Graph Groups in THEORY OF COMPUTING SYSTEMS
  • 2017-12 The monoid of queue actions in SEMIGROUP FORUM
  • 2017-11-19 Typing Quantum Superpositions and Measurement in THEORY AND PRACTICE OF NATURAL COMPUTING
  • 2017-10-21 Alignment-Based Trace Clustering in CONCEPTUAL MODELING
  • 2017-09-01 Temporal Reprogramming of Boolean Networks in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2017-08-25 The Multiple Dimensions of Mean-Payoff Games in REACHABILITY PROBLEMS
  • 2017-08-25 Space-Efficient Fragments of Higher-Order Fixpoint Logic in REACHABILITY PROBLEMS
  • 2017-08-03 Euler’s Method Applied to the Control of Switched Systems in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2017-08-03 On the Determinization of Timed Systems in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2017-08 Separation Logic with One Quantified Variable in THEORY OF COMPUTING SYSTEMS
  • 2017-07-25 Timed Temporal Logics in MODELS, ALGORITHMS, LOGICS AND TOOLS
  • 2017-01 Preface in JOURNAL OF AUTOMATED REASONING
  • 2017 Dynamic Complexity of the Dyck Reachability in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2017 Bounding Average-Energy Games in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • JSON-LD is the canonical representation for SciGraph data.

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "http://www.lsv.ens-cachan.fr/"
          }
        ], 
        "grid:establishedYear": [
          {
            "@value": "1998-01-01", 
            "type": "http://www.w3.org/2001/XMLSchema#gYear"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.464035.0/address-0"
          }
        ], 
        "grid:hasParent": [
          {
            "id": "http://www.grid.ac/institutes/grid.457015.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.6390.c"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5328.c"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.464035.0"
          }
        ], 
        "grid:isni": [
          {
            "@value": "0000 0001 2063 800X"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.464035.0", 
        "rdfs:label": "Laboratoire Sp\u00e9cification et V\u00e9rification", 
        "sdDataset": "grid", 
        "skos:prefLabel": [
          {
            "@value": "Laboratoire Sp\u00e9cification et V\u00e9rification"
          }
        ], 
        "type": [
          "http://xmlns.com/foaf/0.1/Organization", 
          "http://www.grid.ac/ontology/Facility"
        ], 
        "vivo:abbreviation": [
          {
            "@value": "LSV"
          }
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "http://www.cnrs.fr/ins2i/"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.457015.2/address-0"
          }
        ], 
        "grid:hasChild": [
          {
            "id": "http://www.grid.ac/institutes/grid.462937.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464035.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462787.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462015.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463844.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462751.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462938.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462764.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462859.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462842.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462970.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464638.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462430.7"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462931.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464180.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462261.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463716.1"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462707.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.473800.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.420043.1"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463910.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464059.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463779.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464170.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462940.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464092.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462878.7"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463766.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462848.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.420225.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464001.7"
          }
        ], 
        "grid:hasParent": [
          {
            "id": "http://www.grid.ac/institutes/grid.4444.0"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.457015.2"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.457015.2", 
        "rdfs:label": "Institut des sciences de l'information et de leurs interactions", 
        "sdDataset": "grid", 
        "skos:prefLabel": [
          {
            "@value": "Institut des sciences de l'information et de leurs interactions"
          }
        ], 
        "type": [
          "http://www.grid.ac/ontology/Government", 
          "http://xmlns.com/foaf/0.1/Organization"
        ], 
        "vivo:abbreviation": [
          {
            "@value": "INS2I"
          }
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "http://www.ens-cachan.fr/"
          }
        ], 
        "grid:establishedYear": [
          {
            "@value": "1892-01-01", 
            "type": "http://www.w3.org/2001/XMLSchema#gYear"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.6390.c/address-0"
          }
        ], 
        "grid:hasChild": [
          {
            "id": "http://www.grid.ac/institutes/grid.462850.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.496752.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.483086.1"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.483519.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463976.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462819.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462747.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464035.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463890.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464043.1"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464071.0"
          }
        ], 
        "grid:hasWikidataId": [
          {
            "id": "http://www.wikidata.org/entity/Q273604"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.6390.c"
          }
        ], 
        "grid:isni": [
          {
            "@value": "0000 0004 1765 0915"
          }
        ], 
        "grid:wikipediaPage": [
          {
            "id": "https://en.wikipedia.org/wiki/%C3%89cole_normale_sup%C3%A9rieure_de_Cachan"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.6390.c", 
        "rdfs:label": "\u00c9cole Normale Sup\u00e9rieure de Cachan", 
        "sdDataset": "grid", 
        "skos:altLabel": [
          {
            "@value": "Normale Sup' Cachan"
          }, 
          {
            "@value": "ENS Cachan"
          }
        ], 
        "skos:prefLabel": [
          {
            "@value": "\u00c9cole Normale Sup\u00e9rieure de Cachan"
          }
        ], 
        "type": [
          "http://xmlns.com/foaf/0.1/Organization", 
          "http://www.grid.ac/ontology/Education"
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "http://www.inria.fr/en/"
          }
        ], 
        "grid:establishedYear": [
          {
            "@value": "1967-01-01", 
            "type": "http://www.w3.org/2001/XMLSchema#gYear"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.5328.c/address-0"
          }
        ], 
        "grid:hasChild": [
          {
            "id": "http://www.grid.ac/institutes/grid.457355.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462496.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462854.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462063.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463766.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464035.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462938.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464003.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.484414.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464112.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464638.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462764.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464004.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457354.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462265.1"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457351.1"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457353.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462707.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457350.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463900.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.482735.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462931.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464059.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457352.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464181.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464072.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.420225.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457356.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.482754.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464180.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463907.f"
          }
        ], 
        "grid:hasWikidataId": [
          {
            "id": "http://www.wikidata.org/entity/Q1146208"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.5328.c"
          }
        ], 
        "grid:isni": [
          {
            "@value": "0000 0001 2186 3954"
          }
        ], 
        "grid:wikipediaPage": [
          {
            "id": "http://en.wikipedia.org/wiki/French_Institute_for_Research_in_Computer_Science_and_Automation"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.5328.c", 
        "rdfs:label": "French Institute for Research in Computer Science and Automation", 
        "sdDataset": "grid", 
        "skos:altLabel": [
          {
            "@value": "Institut de recherche en informatique et en automatique"
          }
        ], 
        "skos:prefLabel": [
          {
            "@value": "French Institute for Research in Computer Science and Automation"
          }
        ], 
        "type": [
          "http://www.grid.ac/ontology/Government", 
          "http://xmlns.com/foaf/0.1/Organization"
        ], 
        "vivo:abbreviation": [
          {
            "@value": "INRIA"
          }
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "geo-pos:lat": [
          {
            "@value": "48.789049", 
            "type": "http://www.w3.org/2001/XMLSchema#float"
          }
        ], 
        "geo-pos:long": [
          {
            "@value": "2.32719", 
            "type": "http://www.w3.org/2001/XMLSchema#float"
          }
        ], 
        "grid:cityName": [
          {
            "@value": "Cachan"
          }
        ], 
        "grid:countryCode": [
          {
            "@value": "FR"
          }
        ], 
        "grid:countryName": [
          {
            "@value": "France"
          }
        ], 
        "grid:hasGeonamesCity": [
          {
            "id": "http://sws.geonames.org/3029276/"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.464035.0/address-0", 
        "sdDataset": "grid", 
        "type": [
          "http://www.grid.ac/ontology/Address"
        ]
      }
    ]
     

    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://www.grid.ac/institutes/grid.464035.0'

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

    curl -H 'Accept: application/n-triples' 'https://www.grid.ac/institutes/grid.464035.0'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://www.grid.ac/institutes/grid.464035.0'

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

    curl -H 'Accept: application/rdf+xml' 'https://www.grid.ac/institutes/grid.464035.0'


     

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

    133 TRIPLES      11 PREDICATES      14 URIs      6 LITERALS

    Subject Predicate Object
    1 grid-institutes:grid.464035.0 sgo:sdDataset grid
    2 vivo:abbreviation LSV
    3 grid:establishedYear 1998-01-01
    4 grid:hasAddress grid-institutes:grid.464035.0/address-0
    5 grid:hasParent grid-institutes:grid.457015.2
    6 grid-institutes:grid.5328.c
    7 grid-institutes:grid.6390.c
    8 grid:id grid.464035.0
    9 grid:isni 0000 0001 2063 800X
    10 rdf:type grid:Facility
    11 foaf:Organization
    12 rdfs:label Laboratoire Spécification et Vérification
    13 skos:prefLabel Laboratoire Spécification et Vérification
    14 foaf:homepage http://www.lsv.ens-cachan.fr/
    15 grid-institutes:grid.457015.2 sgo:sdDataset grid
    16 vivo:abbreviation INS2I
    17 grid:hasAddress grid-institutes:grid.457015.2/address-0
    18 grid:hasChild grid-institutes:grid.420043.1
    19 grid-institutes:grid.420225.3
    20 grid-institutes:grid.462015.4
    21 grid-institutes:grid.462261.5
    22 grid-institutes:grid.462430.7
    23 grid-institutes:grid.462707.0
    24 grid-institutes:grid.462751.3
    25 grid-institutes:grid.462764.5
    26 grid-institutes:grid.462787.8
    27 grid-institutes:grid.462842.e
    28 grid-institutes:grid.462848.4
    29 grid-institutes:grid.462859.4
    30 grid-institutes:grid.462878.7
    31 grid-institutes:grid.462931.b
    32 grid-institutes:grid.462937.d
    33 grid-institutes:grid.462938.2
    34 grid-institutes:grid.462940.d
    35 grid-institutes:grid.462970.e
    36 grid-institutes:grid.463716.1
    37 grid-institutes:grid.463766.6
    38 grid-institutes:grid.463779.8
    39 grid-institutes:grid.463844.9
    40 grid-institutes:grid.463910.9
    41 grid-institutes:grid.464001.7
    42 grid-institutes:grid.464035.0
    43 grid-institutes:grid.464059.a
    44 grid-institutes:grid.464092.d
    45 grid-institutes:grid.464170.0
    46 grid-institutes:grid.464180.f
    47 grid-institutes:grid.464638.b
    48 grid-institutes:grid.473800.8
    49 grid:hasParent grid-institutes:grid.4444.0
    50 grid:id grid.457015.2
    51 rdf:type grid:Government
    52 foaf:Organization
    53 rdfs:label Institut des sciences de l'information et de leurs interactions
    54 skos:prefLabel Institut des sciences de l'information et de leurs interactions
    55 foaf:homepage http://www.cnrs.fr/ins2i/
    56 grid-institutes:grid.464035.0/address-0 sgo:sdDataset grid
    57 grid:cityName Cachan
    58 grid:countryCode FR
    59 grid:countryName France
    60 grid:hasGeonamesCity http://sws.geonames.org/3029276/
    61 rdf:type grid:Address
    62 geo-pos:lat 48.789049
    63 geo-pos:long 2.32719
    64 grid-institutes:grid.5328.c sgo:sdDataset grid
    65 vivo:abbreviation INRIA
    66 grid:establishedYear 1967-01-01
    67 grid:hasAddress grid-institutes:grid.5328.c/address-0
    68 grid:hasChild grid-institutes:grid.420225.3
    69 grid-institutes:grid.457350.0
    70 grid-institutes:grid.457351.1
    71 grid-institutes:grid.457352.2
    72 grid-institutes:grid.457353.3
    73 grid-institutes:grid.457354.4
    74 grid-institutes:grid.457355.5
    75 grid-institutes:grid.457356.6
    76 grid-institutes:grid.462063.5
    77 grid-institutes:grid.462265.1
    78 grid-institutes:grid.462496.b
    79 grid-institutes:grid.462707.0
    80 grid-institutes:grid.462764.5
    81 grid-institutes:grid.462854.9
    82 grid-institutes:grid.462931.b
    83 grid-institutes:grid.462938.2
    84 grid-institutes:grid.463766.6
    85 grid-institutes:grid.463900.8
    86 grid-institutes:grid.463907.f
    87 grid-institutes:grid.464003.5
    88 grid-institutes:grid.464004.2
    89 grid-institutes:grid.464035.0
    90 grid-institutes:grid.464059.a
    91 grid-institutes:grid.464072.3
    92 grid-institutes:grid.464112.4
    93 grid-institutes:grid.464180.f
    94 grid-institutes:grid.464181.e
    95 grid-institutes:grid.464638.b
    96 grid-institutes:grid.482735.f
    97 grid-institutes:grid.482754.8
    98 grid-institutes:grid.484414.9
    99 grid:hasWikidataId wd:Q1146208
    100 grid:id grid.5328.c
    101 grid:isni 0000 0001 2186 3954
    102 grid:wikipediaPage http://en.wikipedia.org/wiki/French_Institute_for_Research_in_Computer_Science_and_Automation
    103 rdf:type grid:Government
    104 foaf:Organization
    105 rdfs:label French Institute for Research in Computer Science and Automation
    106 skos:altLabel Institut de recherche en informatique et en automatique
    107 skos:prefLabel French Institute for Research in Computer Science and Automation
    108 foaf:homepage http://www.inria.fr/en/
    109 grid-institutes:grid.6390.c sgo:sdDataset grid
    110 grid:establishedYear 1892-01-01
    111 grid:hasAddress grid-institutes:grid.6390.c/address-0
    112 grid:hasChild grid-institutes:grid.462747.4
    113 grid-institutes:grid.462819.0
    114 grid-institutes:grid.462850.d
    115 grid-institutes:grid.463890.0
    116 grid-institutes:grid.463976.9
    117 grid-institutes:grid.464035.0
    118 grid-institutes:grid.464043.1
    119 grid-institutes:grid.464071.0
    120 grid-institutes:grid.483086.1
    121 grid-institutes:grid.483519.2
    122 grid-institutes:grid.496752.b
    123 grid:hasWikidataId wd:Q273604
    124 grid:id grid.6390.c
    125 grid:isni 0000 0004 1765 0915
    126 grid:wikipediaPage https://en.wikipedia.org/wiki/%C3%89cole_normale_sup%C3%A9rieure_de_Cachan
    127 rdf:type grid:Education
    128 foaf:Organization
    129 rdfs:label École Normale Supérieure de Cachan
    130 skos:altLabel ENS Cachan
    131 Normale Sup' Cachan
    132 skos:prefLabel École Normale Supérieure de Cachan
    133 foaf:homepage http://www.ens-cachan.fr/
     




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


    ...