Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2016

AUTHORS

Yu Jiang , Han Liu , Houbing Song , Hui Kong , Ming Gu , Jiaguang Sun , Lui Sha

ABSTRACT

In this paper, we present a formal model-driven engineering approach to establishing a safety-assured implementation of Multifunction vehicle bus controller (MVBC) based on the generic reference models and requirements described in the International Electrotechnical Commission (IEC) standard IEC-61375. First, the generic models described in IEC-61375 are translated into a network of timed automata, and some safety requirements tested in IEC-61375 are formalized as timed computation tree logic (TCTL) formulas. With the help of Uppaal, we check and debug whether the timed automata satisfy the formulas or not. Within this step, several logic inconsistencies in the original standard are detected and corrected. Then, we apply the tool Times to generate C code from the verified model, which was later synthesized into a real MVBC chip. Finally, the runtime verification tool RMOR is applied to verify some safety requirements at the implementation level. We set up a real platform with worldwide mostly used MVBC D113, and verify the correctness and the scalability of the synthesized MVBC chip more comprehensively. The errors in the standard has been confirmed and the resulted MVBC has been deployed in real train communication network. More... »

PAGES

757-763

References to SciGraph publications

  • 2008. Runtime Verification of C Programs in TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS
  • 2004. A Tutorial on Uppaal in FORMAL METHODS FOR THE DESIGN OF REAL-TIME SYSTEMS
  • 2002-03-14. TIMES b— A Tool for Modelling and Implementation of Embedded Systems in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • Book

    TITLE

    FM 2016: Formal Methods

    ISBN

    978-3-319-48988-9
    978-3-319-48989-6

    From Grant

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-48989-6_47

    DOI

    http://dx.doi.org/10.1007/978-3-319-48989-6_47

    DIMENSIONS

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


    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/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "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": "Tsinghua University", 
              "id": "https://www.grid.ac/institutes/grid.12527.33", 
              "name": [
                "TNLIST, KLISS, School of Software Tsinghua University Beijing China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Jiang", 
            "givenName": "Yu", 
            "id": "sg:person.016502325163.42", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016502325163.42"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Tsinghua University", 
              "id": "https://www.grid.ac/institutes/grid.12527.33", 
              "name": [
                "TNLIST, KLISS, School of Software Tsinghua University Beijing China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Liu", 
            "givenName": "Han", 
            "id": "sg:person.014236537575.22", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014236537575.22"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "name": [
                "Department of Electrical and Computer Engineering West Virginia University Morgantown USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Song", 
            "givenName": "Houbing", 
            "id": "sg:person.014653416425.46", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014653416425.46"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Institute of Science and Technology Austria", 
              "id": "https://www.grid.ac/institutes/grid.33565.36", 
              "name": [
                "Institute of Science and Technology Austria Klosterneuburg Austria"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Kong", 
            "givenName": "Hui", 
            "id": "sg:person.014714203123.91", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014714203123.91"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Tsinghua University", 
              "id": "https://www.grid.ac/institutes/grid.12527.33", 
              "name": [
                "TNLIST, KLISS, School of Software Tsinghua University Beijing China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Gu", 
            "givenName": "Ming", 
            "id": "sg:person.015646302766.82", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015646302766.82"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Tsinghua University", 
              "id": "https://www.grid.ac/institutes/grid.12527.33", 
              "name": [
                "TNLIST, KLISS, School of Software Tsinghua University Beijing China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Sun", 
            "givenName": "Jiaguang", 
            "id": "sg:person.011411464635.59", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011411464635.59"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "name": [
                "Department of Computer Science UIUC Champaign USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Sha", 
            "givenName": "Lui", 
            "id": "sg:person.01242454134.87", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01242454134.87"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-540-30080-9_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012450630", 
              "https://doi.org/10.1007/978-3-540-30080-9_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-30080-9_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012450630", 
              "https://doi.org/10.1007/978-3-540-30080-9_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ssci.2015.02.017", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023102320"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-68524-1_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032916848", 
              "https://doi.org/10.1007/978-3-540-68524-1_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-46002-0_32", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046618575", 
              "https://doi.org/10.1007/3-540-46002-0_32"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-46002-0_32", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046618575", 
              "https://doi.org/10.1007/3-540-46002-0_32"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tie.2014.2316234", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061626627"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tii.2016.2573762", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061632883"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tpds.2014.2346171", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061754687"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/rtas.2016.7461337", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094648451"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/iecon.2008.4758168", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095326578"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/compsac.2013.89", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095780806"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2016", 
        "datePublishedReg": "2016-01-01", 
        "description": "In this paper, we present a formal model-driven engineering approach to establishing a safety-assured implementation of Multifunction vehicle bus controller (MVBC) based on the generic reference models and requirements described in the International Electrotechnical Commission (IEC) standard IEC-61375. First, the generic models described in IEC-61375 are translated into a network of timed automata, and some safety requirements tested in IEC-61375 are formalized as timed computation tree logic (TCTL) formulas. With the help of Uppaal, we check and debug whether the timed automata satisfy the formulas or not. Within this step, several logic inconsistencies in the original standard are detected and corrected. Then, we apply the tool Times to generate C code from the verified model, which was later synthesized into a real MVBC chip. Finally, the runtime verification tool RMOR is applied to verify some safety requirements at the implementation level. We set up a real platform with worldwide mostly used MVBC D113, and verify the correctness and the scalability of the synthesized MVBC chip more comprehensively. The errors in the standard has been confirmed and the resulted MVBC has been deployed in real train communication network.", 
        "editor": [
          {
            "familyName": "Fitzgerald", 
            "givenName": "John", 
            "type": "Person"
          }, 
          {
            "familyName": "Heitmeyer", 
            "givenName": "Constance", 
            "type": "Person"
          }, 
          {
            "familyName": "Gnesi", 
            "givenName": "Stefania", 
            "type": "Person"
          }, 
          {
            "familyName": "Philippou", 
            "givenName": "Anna", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-48989-6_47", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.7191722", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": {
          "isbn": [
            "978-3-319-48988-9", 
            "978-3-319-48989-6"
          ], 
          "name": "FM 2016: Formal Methods", 
          "type": "Book"
        }, 
        "name": "Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller", 
        "pagination": "757-763", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-48989-6_47"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "e1cc86985cdfd71b9f4e287699d22f593d2292c7cb664bfc1e5c701c32edc5da"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1047400220"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-48989-6_47", 
          "https://app.dimensions.ai/details/publication/pub.1047400220"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T17:16", 
        "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_8678_00000272.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-48989-6_47"
      }
    ]
     

    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.1007/978-3-319-48989-6_47'

    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.1007/978-3-319-48989-6_47'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-48989-6_47'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-48989-6_47'


     

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

    164 TRIPLES      23 PREDICATES      37 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-48989-6_47 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N27236cd8fcb948cab930ea995c4b00d4
    4 schema:citation sg:pub.10.1007/3-540-46002-0_32
    5 sg:pub.10.1007/978-3-540-30080-9_7
    6 sg:pub.10.1007/978-3-540-68524-1_3
    7 https://doi.org/10.1016/j.ssci.2015.02.017
    8 https://doi.org/10.1109/compsac.2013.89
    9 https://doi.org/10.1109/iecon.2008.4758168
    10 https://doi.org/10.1109/rtas.2016.7461337
    11 https://doi.org/10.1109/tie.2014.2316234
    12 https://doi.org/10.1109/tii.2016.2573762
    13 https://doi.org/10.1109/tpds.2014.2346171
    14 schema:datePublished 2016
    15 schema:datePublishedReg 2016-01-01
    16 schema:description In this paper, we present a formal model-driven engineering approach to establishing a safety-assured implementation of Multifunction vehicle bus controller (MVBC) based on the generic reference models and requirements described in the International Electrotechnical Commission (IEC) standard IEC-61375. First, the generic models described in IEC-61375 are translated into a network of timed automata, and some safety requirements tested in IEC-61375 are formalized as timed computation tree logic (TCTL) formulas. With the help of Uppaal, we check and debug whether the timed automata satisfy the formulas or not. Within this step, several logic inconsistencies in the original standard are detected and corrected. Then, we apply the tool Times to generate C code from the verified model, which was later synthesized into a real MVBC chip. Finally, the runtime verification tool RMOR is applied to verify some safety requirements at the implementation level. We set up a real platform with worldwide mostly used MVBC D113, and verify the correctness and the scalability of the synthesized MVBC chip more comprehensively. The errors in the standard has been confirmed and the resulted MVBC has been deployed in real train communication network.
    17 schema:editor Nae0a73fbe9644301b365f5080e789456
    18 schema:genre chapter
    19 schema:inLanguage en
    20 schema:isAccessibleForFree true
    21 schema:isPartOf N6a8e0e262ba34e8bb8e347b117378c05
    22 schema:name Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller
    23 schema:pagination 757-763
    24 schema:productId N1e88e8e3d9ae4e27ad397a74df1e6df4
    25 N33eb95d416a84a0ab2b3bae3872bbcd5
    26 N48ee216c6e83451d935f94f706e252b5
    27 schema:publisher Nad9b95e2a74049749dd093648e55e7f3
    28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047400220
    29 https://doi.org/10.1007/978-3-319-48989-6_47
    30 schema:sdDatePublished 2019-04-15T17:16
    31 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    32 schema:sdPublisher Nc86d46a3b83c42b2aef320c1074cf338
    33 schema:url http://link.springer.com/10.1007/978-3-319-48989-6_47
    34 sgo:license sg:explorer/license/
    35 sgo:sdDataset chapters
    36 rdf:type schema:Chapter
    37 N0dfa8a24974f4f6bad8de7d17dcde88e schema:name Department of Computer Science UIUC Champaign USA
    38 rdf:type schema:Organization
    39 N12b495d40b5f4679b5cf2fedb2e5fcdc schema:name Department of Electrical and Computer Engineering West Virginia University Morgantown USA
    40 rdf:type schema:Organization
    41 N185f58e741eb4b66a5c06c99a2e6f5e0 rdf:first sg:person.014236537575.22
    42 rdf:rest Nd9867c77eafa4cb0a6cc2074f88dcecc
    43 N1e88e8e3d9ae4e27ad397a74df1e6df4 schema:name doi
    44 schema:value 10.1007/978-3-319-48989-6_47
    45 rdf:type schema:PropertyValue
    46 N2175cd9a84a64f60a997a3dc658df342 rdf:first sg:person.01242454134.87
    47 rdf:rest rdf:nil
    48 N27236cd8fcb948cab930ea995c4b00d4 rdf:first sg:person.016502325163.42
    49 rdf:rest N185f58e741eb4b66a5c06c99a2e6f5e0
    50 N33eb95d416a84a0ab2b3bae3872bbcd5 schema:name readcube_id
    51 schema:value e1cc86985cdfd71b9f4e287699d22f593d2292c7cb664bfc1e5c701c32edc5da
    52 rdf:type schema:PropertyValue
    53 N468d838cef0e40cfaabb181cdb25fe26 rdf:first Nb364606a115847a490c2a5cf49fccc24
    54 rdf:rest Nee212367c3c14167903de2e29df0ca3e
    55 N48ee216c6e83451d935f94f706e252b5 schema:name dimensions_id
    56 schema:value pub.1047400220
    57 rdf:type schema:PropertyValue
    58 N6a8e0e262ba34e8bb8e347b117378c05 schema:isbn 978-3-319-48988-9
    59 978-3-319-48989-6
    60 schema:name FM 2016: Formal Methods
    61 rdf:type schema:Book
    62 Na81ecf3a9ada40828329c131fd10a720 rdf:first Nc4b658e138264fe8be09c859e631377d
    63 rdf:rest N468d838cef0e40cfaabb181cdb25fe26
    64 Nad9b95e2a74049749dd093648e55e7f3 schema:location Cham
    65 schema:name Springer International Publishing
    66 rdf:type schema:Organisation
    67 Nae0a73fbe9644301b365f5080e789456 rdf:first Nfde4e9d1f6e04920ae2d55c97e42f699
    68 rdf:rest Na81ecf3a9ada40828329c131fd10a720
    69 Nb364606a115847a490c2a5cf49fccc24 schema:familyName Gnesi
    70 schema:givenName Stefania
    71 rdf:type schema:Person
    72 Nc4b658e138264fe8be09c859e631377d schema:familyName Heitmeyer
    73 schema:givenName Constance
    74 rdf:type schema:Person
    75 Nc86d46a3b83c42b2aef320c1074cf338 schema:name Springer Nature - SN SciGraph project
    76 rdf:type schema:Organization
    77 Nd2d951c34a85433abae40937bd72913c rdf:first sg:person.011411464635.59
    78 rdf:rest N2175cd9a84a64f60a997a3dc658df342
    79 Nd8c9c14e6b0944f3be18b602e804f1e6 rdf:first sg:person.014714203123.91
    80 rdf:rest Nf00c37640a1044b283901c85c6bb8e12
    81 Nd9867c77eafa4cb0a6cc2074f88dcecc rdf:first sg:person.014653416425.46
    82 rdf:rest Nd8c9c14e6b0944f3be18b602e804f1e6
    83 Neccbd7ed92d84608abff85c1485cc5de schema:familyName Philippou
    84 schema:givenName Anna
    85 rdf:type schema:Person
    86 Nee212367c3c14167903de2e29df0ca3e rdf:first Neccbd7ed92d84608abff85c1485cc5de
    87 rdf:rest rdf:nil
    88 Nf00c37640a1044b283901c85c6bb8e12 rdf:first sg:person.015646302766.82
    89 rdf:rest Nd2d951c34a85433abae40937bd72913c
    90 Nfde4e9d1f6e04920ae2d55c97e42f699 schema:familyName Fitzgerald
    91 schema:givenName John
    92 rdf:type schema:Person
    93 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    94 schema:name Information and Computing Sciences
    95 rdf:type schema:DefinedTerm
    96 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    97 schema:name Computer Software
    98 rdf:type schema:DefinedTerm
    99 sg:grant.7191722 http://pending.schema.org/fundedItem sg:pub.10.1007/978-3-319-48989-6_47
    100 rdf:type schema:MonetaryGrant
    101 sg:person.011411464635.59 schema:affiliation https://www.grid.ac/institutes/grid.12527.33
    102 schema:familyName Sun
    103 schema:givenName Jiaguang
    104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011411464635.59
    105 rdf:type schema:Person
    106 sg:person.01242454134.87 schema:affiliation N0dfa8a24974f4f6bad8de7d17dcde88e
    107 schema:familyName Sha
    108 schema:givenName Lui
    109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01242454134.87
    110 rdf:type schema:Person
    111 sg:person.014236537575.22 schema:affiliation https://www.grid.ac/institutes/grid.12527.33
    112 schema:familyName Liu
    113 schema:givenName Han
    114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014236537575.22
    115 rdf:type schema:Person
    116 sg:person.014653416425.46 schema:affiliation N12b495d40b5f4679b5cf2fedb2e5fcdc
    117 schema:familyName Song
    118 schema:givenName Houbing
    119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014653416425.46
    120 rdf:type schema:Person
    121 sg:person.014714203123.91 schema:affiliation https://www.grid.ac/institutes/grid.33565.36
    122 schema:familyName Kong
    123 schema:givenName Hui
    124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014714203123.91
    125 rdf:type schema:Person
    126 sg:person.015646302766.82 schema:affiliation https://www.grid.ac/institutes/grid.12527.33
    127 schema:familyName Gu
    128 schema:givenName Ming
    129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015646302766.82
    130 rdf:type schema:Person
    131 sg:person.016502325163.42 schema:affiliation https://www.grid.ac/institutes/grid.12527.33
    132 schema:familyName Jiang
    133 schema:givenName Yu
    134 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016502325163.42
    135 rdf:type schema:Person
    136 sg:pub.10.1007/3-540-46002-0_32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046618575
    137 https://doi.org/10.1007/3-540-46002-0_32
    138 rdf:type schema:CreativeWork
    139 sg:pub.10.1007/978-3-540-30080-9_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012450630
    140 https://doi.org/10.1007/978-3-540-30080-9_7
    141 rdf:type schema:CreativeWork
    142 sg:pub.10.1007/978-3-540-68524-1_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032916848
    143 https://doi.org/10.1007/978-3-540-68524-1_3
    144 rdf:type schema:CreativeWork
    145 https://doi.org/10.1016/j.ssci.2015.02.017 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023102320
    146 rdf:type schema:CreativeWork
    147 https://doi.org/10.1109/compsac.2013.89 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095780806
    148 rdf:type schema:CreativeWork
    149 https://doi.org/10.1109/iecon.2008.4758168 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095326578
    150 rdf:type schema:CreativeWork
    151 https://doi.org/10.1109/rtas.2016.7461337 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094648451
    152 rdf:type schema:CreativeWork
    153 https://doi.org/10.1109/tie.2014.2316234 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061626627
    154 rdf:type schema:CreativeWork
    155 https://doi.org/10.1109/tii.2016.2573762 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061632883
    156 rdf:type schema:CreativeWork
    157 https://doi.org/10.1109/tpds.2014.2346171 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061754687
    158 rdf:type schema:CreativeWork
    159 https://www.grid.ac/institutes/grid.12527.33 schema:alternateName Tsinghua University
    160 schema:name TNLIST, KLISS, School of Software Tsinghua University Beijing China
    161 rdf:type schema:Organization
    162 https://www.grid.ac/institutes/grid.33565.36 schema:alternateName Institute of Science and Technology Austria
    163 schema:name Institute of Science and Technology Austria Klosterneuburg Austria
    164 rdf:type schema:Organization
     




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


    ...