Verification of Real-Time Systems using Linear Relation Analysis View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1997-08

AUTHORS

Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff

ABSTRACT

Linear Relation Analysis [11] is an abstract interpretation devoted to the automatic discovery of invariant linear inequalities among numerical variables of a program. In this paper, we apply such an analysis to the verification of quantitative time properties of two kinds of systems: synchronous programs and linear hybrid systems.

PAGES

157-185

References to SciGraph publications

Identifiers

URI

http://scigraph.springernature.com/pub.10.1023/a:1008678014487

DOI

http://dx.doi.org/10.1023/a:1008678014487

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1003599261


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

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", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Verimag", 
          "id": "https://www.grid.ac/institutes/grid.464170.0", 
          "name": [
            "Verimag, Centre Equation, 2, avenue de Vignate, F-38610, Gieres, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Halbwachs", 
        "givenName": "Nicolas", 
        "id": "sg:person.014642741657.30", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014642741657.30"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Verimag", 
          "id": "https://www.grid.ac/institutes/grid.464170.0", 
          "name": [
            "Verimag, Centre Equation, 2, avenue de Vignate, F-38610, Gieres, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Proy", 
        "givenName": "Yann-Erick", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Verimag", 
          "id": "https://www.grid.ac/institutes/grid.464170.0", 
          "name": [
            "Verimag, Centre Equation, 2, avenue de Vignate, F-38610, Gieres, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Roumanoff", 
        "givenName": "Patrick", 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/0041-5553(68)90115-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1003754446"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0743-1066(92)90030-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005994952"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(94)00202-t", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012447011"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01185559", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018139099", 
          "https://doi.org/10.1007/bf01185559"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01185559", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018139099", 
          "https://doi.org/10.1007/bf01185559"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/7351.7352", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041624106"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/5.97299", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061180433"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1997-08", 
    "datePublishedReg": "1997-08-01", 
    "description": "Linear Relation Analysis [11] is an abstract interpretation devoted to the automatic discovery of invariant linear inequalities among numerical variables of a program. In this paper, we apply such an analysis to the verification of quantitative time properties of two kinds of systems: synchronous programs and linear hybrid systems.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1023/a:1008678014487", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1052628", 
        "issn": [
          "0925-9856", 
          "1572-8102"
        ], 
        "name": "Formal Methods in System Design", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "2", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "11"
      }
    ], 
    "name": "Verification of Real-Time Systems using Linear Relation Analysis", 
    "pagination": "157-185", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "112566b3cef0a2889ec2c9d728943088e266ea820d77acf6897615359e4c379e"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1023/a:1008678014487"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1003599261"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1023/a:1008678014487", 
      "https://app.dimensions.ai/details/publication/pub.1003599261"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-10T14:52", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8663_00000479.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1023/A:1008678014487"
  }
]
 

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/pub.10.1023/a:1008678014487'

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

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1023/a:1008678014487'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1023/a:1008678014487'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1023/a:1008678014487'


 

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

92 TRIPLES      21 PREDICATES      33 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1023/a:1008678014487 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nddc3fdd6ab9a4ac1a798d9bf14e41194
4 schema:citation sg:pub.10.1007/bf01185559
5 https://doi.org/10.1016/0041-5553(68)90115-8
6 https://doi.org/10.1016/0304-3975(94)00202-t
7 https://doi.org/10.1016/0743-1066(92)90030-7
8 https://doi.org/10.1109/5.97299
9 https://doi.org/10.1145/7351.7352
10 schema:datePublished 1997-08
11 schema:datePublishedReg 1997-08-01
12 schema:description Linear Relation Analysis [11] is an abstract interpretation devoted to the automatic discovery of invariant linear inequalities among numerical variables of a program. In this paper, we apply such an analysis to the verification of quantitative time properties of two kinds of systems: synchronous programs and linear hybrid systems.
13 schema:genre research_article
14 schema:inLanguage en
15 schema:isAccessibleForFree false
16 schema:isPartOf Nb287054fce0f478991b68e89cff4885e
17 Nfce3b606922c47228f0e3fe30a2fd3a8
18 sg:journal.1052628
19 schema:name Verification of Real-Time Systems using Linear Relation Analysis
20 schema:pagination 157-185
21 schema:productId N542df514442f49f6806d330dd1da2ec9
22 N6d9c806df97749169a4642884c61435a
23 Nc485fd260e18493885c7f5aa59e02176
24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003599261
25 https://doi.org/10.1023/a:1008678014487
26 schema:sdDatePublished 2019-04-10T14:52
27 schema:sdLicense https://scigraph.springernature.com/explorer/license/
28 schema:sdPublisher Nc5556de0451d49b7abe52aaac30ee75e
29 schema:url http://link.springer.com/10.1023/A:1008678014487
30 sgo:license sg:explorer/license/
31 sgo:sdDataset articles
32 rdf:type schema:ScholarlyArticle
33 N30ea9d1d0bdd4c27844c376e8b2dac74 rdf:first N8af3f82ca34c43fdb0a7ac33cc07b9b0
34 rdf:rest N9c47460ec4b2405b89ec15167e614ae9
35 N542df514442f49f6806d330dd1da2ec9 schema:name readcube_id
36 schema:value 112566b3cef0a2889ec2c9d728943088e266ea820d77acf6897615359e4c379e
37 rdf:type schema:PropertyValue
38 N6d9c806df97749169a4642884c61435a schema:name doi
39 schema:value 10.1023/a:1008678014487
40 rdf:type schema:PropertyValue
41 N8af3f82ca34c43fdb0a7ac33cc07b9b0 schema:affiliation https://www.grid.ac/institutes/grid.464170.0
42 schema:familyName Proy
43 schema:givenName Yann-Erick
44 rdf:type schema:Person
45 N9c47460ec4b2405b89ec15167e614ae9 rdf:first Nd650a8a79e334680b50f7460cd0c988a
46 rdf:rest rdf:nil
47 Nb287054fce0f478991b68e89cff4885e schema:volumeNumber 11
48 rdf:type schema:PublicationVolume
49 Nc485fd260e18493885c7f5aa59e02176 schema:name dimensions_id
50 schema:value pub.1003599261
51 rdf:type schema:PropertyValue
52 Nc5556de0451d49b7abe52aaac30ee75e schema:name Springer Nature - SN SciGraph project
53 rdf:type schema:Organization
54 Nd650a8a79e334680b50f7460cd0c988a schema:affiliation https://www.grid.ac/institutes/grid.464170.0
55 schema:familyName Roumanoff
56 schema:givenName Patrick
57 rdf:type schema:Person
58 Nddc3fdd6ab9a4ac1a798d9bf14e41194 rdf:first sg:person.014642741657.30
59 rdf:rest N30ea9d1d0bdd4c27844c376e8b2dac74
60 Nfce3b606922c47228f0e3fe30a2fd3a8 schema:issueNumber 2
61 rdf:type schema:PublicationIssue
62 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
63 schema:name Information and Computing Sciences
64 rdf:type schema:DefinedTerm
65 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
66 schema:name Computation Theory and Mathematics
67 rdf:type schema:DefinedTerm
68 sg:journal.1052628 schema:issn 0925-9856
69 1572-8102
70 schema:name Formal Methods in System Design
71 rdf:type schema:Periodical
72 sg:person.014642741657.30 schema:affiliation https://www.grid.ac/institutes/grid.464170.0
73 schema:familyName Halbwachs
74 schema:givenName Nicolas
75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014642741657.30
76 rdf:type schema:Person
77 sg:pub.10.1007/bf01185559 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018139099
78 https://doi.org/10.1007/bf01185559
79 rdf:type schema:CreativeWork
80 https://doi.org/10.1016/0041-5553(68)90115-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003754446
81 rdf:type schema:CreativeWork
82 https://doi.org/10.1016/0304-3975(94)00202-t schema:sameAs https://app.dimensions.ai/details/publication/pub.1012447011
83 rdf:type schema:CreativeWork
84 https://doi.org/10.1016/0743-1066(92)90030-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005994952
85 rdf:type schema:CreativeWork
86 https://doi.org/10.1109/5.97299 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061180433
87 rdf:type schema:CreativeWork
88 https://doi.org/10.1145/7351.7352 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041624106
89 rdf:type schema:CreativeWork
90 https://www.grid.ac/institutes/grid.464170.0 schema:alternateName Verimag
91 schema:name Verimag, Centre Equation, 2, avenue de Vignate, F-38610, Gieres, France
92 rdf:type schema:Organization
 




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


...