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

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 N5c199a2b413349598d9f6c70d43049c8
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 N695e87b780f84751a229d850b3796c01
17 Nbabd81678780442da2a5df8ace0ea609
18 sg:journal.1052628
19 schema:name Verification of Real-Time Systems using Linear Relation Analysis
20 schema:pagination 157-185
21 schema:productId N237d0d9415d6447490ac2102d9bf1859
22 N2d390375205b46e6b6375b7d993c9f78
23 Nfcbb6c9f8aa644d384858dcf96f9503f
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 Nfdcb8f82cd344803b97de2623fcbd0ff
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 N237d0d9415d6447490ac2102d9bf1859 schema:name dimensions_id
34 schema:value pub.1003599261
35 rdf:type schema:PropertyValue
36 N2b44adf4d58a42c4a93b417c82f36fef schema:affiliation https://www.grid.ac/institutes/grid.464170.0
37 schema:familyName Roumanoff
38 schema:givenName Patrick
39 rdf:type schema:Person
40 N2d390375205b46e6b6375b7d993c9f78 schema:name doi
41 schema:value 10.1023/a:1008678014487
42 rdf:type schema:PropertyValue
43 N5c199a2b413349598d9f6c70d43049c8 rdf:first sg:person.014642741657.30
44 rdf:rest Ne80f748cc5d34b3e9b5b5dc7ca309419
45 N695e87b780f84751a229d850b3796c01 schema:volumeNumber 11
46 rdf:type schema:PublicationVolume
47 Na4ec9d5eb2c74be6b32a787f2a351740 rdf:first N2b44adf4d58a42c4a93b417c82f36fef
48 rdf:rest rdf:nil
49 Nbabd81678780442da2a5df8ace0ea609 schema:issueNumber 2
50 rdf:type schema:PublicationIssue
51 Ndd654fea699540119feeb997c25ac847 schema:affiliation https://www.grid.ac/institutes/grid.464170.0
52 schema:familyName Proy
53 schema:givenName Yann-Erick
54 rdf:type schema:Person
55 Ne80f748cc5d34b3e9b5b5dc7ca309419 rdf:first Ndd654fea699540119feeb997c25ac847
56 rdf:rest Na4ec9d5eb2c74be6b32a787f2a351740
57 Nfcbb6c9f8aa644d384858dcf96f9503f schema:name readcube_id
58 schema:value 112566b3cef0a2889ec2c9d728943088e266ea820d77acf6897615359e4c379e
59 rdf:type schema:PropertyValue
60 Nfdcb8f82cd344803b97de2623fcbd0ff schema:name Springer Nature - SN SciGraph project
61 rdf:type schema:Organization
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)


...