Synthesis and Verification of Self-aware Computing Systems View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2017-01-24

AUTHORS

Radu Calinescu , Marco Autili , Javier Cámara , Antinisca Di Marco , Simos Gerasimou , Paola Inverardi , Alexander Perucci , Nils Jansen , Joost-Pieter Katoen , Marta Kwiatkowska , Ole J. Mengshoel , Romina Spalazzese , Massimo Tivoli

ABSTRACT

Self-aware computing systems are envisaged to exploit the knowledge of their own software architecture, hardware infrastructure and environment in order to follow high-level goals through proactively adapting as their environment evolves. This chapter describes two classes of key enabling techniques for self-adaptive systems: automated synthesis and formal verification. The ability to dynamically synthesize component connectors and compositions underpins the proactive adaptation of the architecture of self-aware systems. Deciding when adaptation is needed and selecting valid new architectures or parameters for self-aware systems often requires formal verification. We present the state of the art in the use of the two techniques for the development of self-aware computing systems and summarize the main research challenges associated with their adoption in practice. More... »

PAGES

337-373

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-47474-8_11

DOI

http://dx.doi.org/10.1007/978-3-319-47474-8_11

DIMENSIONS

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


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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of York, York, UK", 
          "id": "http://www.grid.ac/institutes/grid.5685.e", 
          "name": [
            "University of York, York, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Calinescu", 
        "givenName": "Radu", 
        "id": "sg:person.014027160143.21", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014027160143.21"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of L\u2019Aquila, L\u2019Aquila, Italy", 
          "id": "http://www.grid.ac/institutes/grid.158820.6", 
          "name": [
            "University of L\u2019Aquila, L\u2019Aquila, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Autili", 
        "givenName": "Marco", 
        "id": "sg:person.011054440723.55", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011054440723.55"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Carnegie Mellon University, Pittsburgh, PA, USA", 
          "id": "http://www.grid.ac/institutes/grid.147455.6", 
          "name": [
            "Carnegie Mellon University, Pittsburgh, PA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "C\u00e1mara", 
        "givenName": "Javier", 
        "id": "sg:person.011345714542.38", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011345714542.38"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of L\u2019Aquila, L\u2019Aquila, Italy", 
          "id": "http://www.grid.ac/institutes/grid.158820.6", 
          "name": [
            "University of L\u2019Aquila, L\u2019Aquila, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Di Marco", 
        "givenName": "Antinisca", 
        "id": "sg:person.013026452726.17", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013026452726.17"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of York, York, UK", 
          "id": "http://www.grid.ac/institutes/grid.5685.e", 
          "name": [
            "University of York, York, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Gerasimou", 
        "givenName": "Simos", 
        "id": "sg:person.010067401027.02", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010067401027.02"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of L\u2019Aquila, L\u2019Aquila, Italy", 
          "id": "http://www.grid.ac/institutes/grid.158820.6", 
          "name": [
            "University of L\u2019Aquila, L\u2019Aquila, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Inverardi", 
        "givenName": "Paola", 
        "id": "sg:person.012277514445.57", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012277514445.57"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of L\u2019Aquila, L\u2019Aquila, Italy", 
          "id": "http://www.grid.ac/institutes/grid.158820.6", 
          "name": [
            "University of L\u2019Aquila, L\u2019Aquila, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Perucci", 
        "givenName": "Alexander", 
        "id": "sg:person.014424750125.98", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014424750125.98"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Texas at Austin, Austin, TX, USA", 
          "id": "http://www.grid.ac/institutes/grid.89336.37", 
          "name": [
            "University of Texas at Austin, Austin, TX, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Jansen", 
        "givenName": "Nils", 
        "id": "sg:person.013304001603.50", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013304001603.50"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "RWTH Aachen University, Aachen, Germany", 
          "id": "http://www.grid.ac/institutes/grid.1957.a", 
          "name": [
            "RWTH Aachen University, Aachen, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Katoen", 
        "givenName": "Joost-Pieter", 
        "id": "sg:person.011560440502.17", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011560440502.17"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Oxford, Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "University of Oxford, Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kwiatkowska", 
        "givenName": "Marta", 
        "id": "sg:person.011375012273.39", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Carnegie Mellon University, Pittsburgh, PA, USA", 
          "id": "http://www.grid.ac/institutes/grid.147455.6", 
          "name": [
            "Carnegie Mellon University, Pittsburgh, PA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Mengshoel", 
        "givenName": "Ole J.", 
        "id": "sg:person.014117571067.34", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014117571067.34"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Malm\u00f6 University, Malm\u00f6, Sweden", 
          "id": "http://www.grid.ac/institutes/grid.32995.34", 
          "name": [
            "Malm\u00f6 University, Malm\u00f6, Sweden"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Spalazzese", 
        "givenName": "Romina", 
        "id": "sg:person.014765063117.45", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014765063117.45"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of L\u2019Aquila, L\u2019Aquila, Italy", 
          "id": "http://www.grid.ac/institutes/grid.158820.6", 
          "name": [
            "University of L\u2019Aquila, L\u2019Aquila, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Tivoli", 
        "givenName": "Massimo", 
        "id": "sg:person.014200422461.10", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014200422461.10"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2017-01-24", 
    "datePublishedReg": "2017-01-24", 
    "description": "Self-aware computing systems are envisaged to exploit the knowledge of their own software architecture, hardware infrastructure and environment in order to follow high-level goals through proactively adapting as their environment evolves. This chapter describes two classes of key enabling techniques for self-adaptive systems: automated synthesis and formal verification. The ability to dynamically synthesize component connectors and compositions underpins the proactive adaptation of the architecture of self-aware systems. Deciding when adaptation is needed and selecting valid new architectures or parameters for self-aware systems often requires formal verification. We present the state of the art in the use of the two techniques for the development of self-aware computing systems and summarize the main research challenges associated with their adoption in practice.", 
    "editor": [
      {
        "familyName": "Kounev", 
        "givenName": "Samuel", 
        "type": "Person"
      }, 
      {
        "familyName": "Kephart", 
        "givenName": "Jeffrey O.", 
        "type": "Person"
      }, 
      {
        "familyName": "Milenkoski", 
        "givenName": "Aleksandar", 
        "type": "Person"
      }, 
      {
        "familyName": "Zhu", 
        "givenName": "Xiaoyun", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-47474-8_11", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-47472-4", 
        "978-3-319-47474-8"
      ], 
      "name": "Self-Aware Computing Systems", 
      "type": "Book"
    }, 
    "keywords": [
      "self-aware computing systems", 
      "self-aware systems", 
      "computing systems", 
      "formal verification", 
      "self-adaptive systems", 
      "own software architecture", 
      "high-level goals", 
      "main research challenges", 
      "software architecture", 
      "hardware infrastructure", 
      "component connectors", 
      "new architecture", 
      "research challenges", 
      "proactive adaptation", 
      "architecture", 
      "environment evolves", 
      "verification", 
      "system", 
      "infrastructure", 
      "technique", 
      "environment", 
      "adoption", 
      "art", 
      "challenges", 
      "adaptation", 
      "goal", 
      "knowledge", 
      "connectors", 
      "evolves", 
      "order", 
      "class", 
      "use", 
      "development", 
      "chapter", 
      "ability", 
      "parameters", 
      "state", 
      "practice", 
      "synthesis", 
      "composition", 
      "valid new architectures"
    ], 
    "name": "Synthesis and Verification of Self-aware Computing Systems", 
    "pagination": "337-373", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1074216106"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-47474-8_11"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-47474-8_11", 
      "https://app.dimensions.ai/details/publication/pub.1074216106"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T20:12", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_58.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-47474-8_11"
  }
]
 

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-47474-8_11'

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-47474-8_11'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-47474-8_11'

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-47474-8_11'


 

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

218 TRIPLES      23 PREDICATES      65 URIs      58 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-47474-8_11 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N794e233c57ae420e8cfb6350e2e2879f
4 schema:datePublished 2017-01-24
5 schema:datePublishedReg 2017-01-24
6 schema:description Self-aware computing systems are envisaged to exploit the knowledge of their own software architecture, hardware infrastructure and environment in order to follow high-level goals through proactively adapting as their environment evolves. This chapter describes two classes of key enabling techniques for self-adaptive systems: automated synthesis and formal verification. The ability to dynamically synthesize component connectors and compositions underpins the proactive adaptation of the architecture of self-aware systems. Deciding when adaptation is needed and selecting valid new architectures or parameters for self-aware systems often requires formal verification. We present the state of the art in the use of the two techniques for the development of self-aware computing systems and summarize the main research challenges associated with their adoption in practice.
7 schema:editor N890faca938b34ae195e040594d3227c4
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N9d48f9cc404344cca166833531709b72
12 schema:keywords ability
13 adaptation
14 adoption
15 architecture
16 art
17 challenges
18 chapter
19 class
20 component connectors
21 composition
22 computing systems
23 connectors
24 development
25 environment
26 environment evolves
27 evolves
28 formal verification
29 goal
30 hardware infrastructure
31 high-level goals
32 infrastructure
33 knowledge
34 main research challenges
35 new architecture
36 order
37 own software architecture
38 parameters
39 practice
40 proactive adaptation
41 research challenges
42 self-adaptive systems
43 self-aware computing systems
44 self-aware systems
45 software architecture
46 state
47 synthesis
48 system
49 technique
50 use
51 valid new architectures
52 verification
53 schema:name Synthesis and Verification of Self-aware Computing Systems
54 schema:pagination 337-373
55 schema:productId N55fbc4014d6a4cfcab050b4c28c68ef1
56 Ndab86e5e34a743bcbc9180c8de1af0e9
57 schema:publisher Nab7cd307de7b450ba49a5f2926f583df
58 schema:sameAs https://app.dimensions.ai/details/publication/pub.1074216106
59 https://doi.org/10.1007/978-3-319-47474-8_11
60 schema:sdDatePublished 2021-12-01T20:12
61 schema:sdLicense https://scigraph.springernature.com/explorer/license/
62 schema:sdPublisher N8f5bc73262504a3da914cc5e251d3d5a
63 schema:url https://doi.org/10.1007/978-3-319-47474-8_11
64 sgo:license sg:explorer/license/
65 sgo:sdDataset chapters
66 rdf:type schema:Chapter
67 N0db6d9ad09c7425894a712ab081d5800 rdf:first sg:person.012277514445.57
68 rdf:rest Nb275e0b5ba81463797c477635d0bb283
69 N17c0d55244334d378ee6aff2695319d7 rdf:first sg:person.011560440502.17
70 rdf:rest Ndf5b13cec64b4f1ab62f18a0f621587e
71 N277a8f168e9e4f46bb7a770d16759956 schema:familyName Kounev
72 schema:givenName Samuel
73 rdf:type schema:Person
74 N311fe8a2e7bd4961a009cd16f532cfda rdf:first sg:person.011054440723.55
75 rdf:rest Nce7facaa2f2e44b8b451fb33221b6baf
76 N35d1431458f34acaaf6f9220acd2c6eb rdf:first Nf96e2ada570f435dbb963ea8f3f5a6e4
77 rdf:rest N8c7f81d2cd994f43b68703ab897876e4
78 N497086723425437e9246bd8d73dca85e schema:familyName Zhu
79 schema:givenName Xiaoyun
80 rdf:type schema:Person
81 N4d59db72e6fe43fc8d9148b21c3b6373 rdf:first sg:person.013304001603.50
82 rdf:rest N17c0d55244334d378ee6aff2695319d7
83 N4e2cb2338f244f6aaebaa37405506e8b rdf:first sg:person.014117571067.34
84 rdf:rest N5bc2b9e647ee400db0d118a9df67620d
85 N4ebd8217165c45e7b98ccf0170266f48 rdf:first sg:person.010067401027.02
86 rdf:rest N0db6d9ad09c7425894a712ab081d5800
87 N55fbc4014d6a4cfcab050b4c28c68ef1 schema:name dimensions_id
88 schema:value pub.1074216106
89 rdf:type schema:PropertyValue
90 N5bc2b9e647ee400db0d118a9df67620d rdf:first sg:person.014765063117.45
91 rdf:rest Nf2b5b5ebd0904f9fa2cddc8ed0b9ec57
92 N794e233c57ae420e8cfb6350e2e2879f rdf:first sg:person.014027160143.21
93 rdf:rest N311fe8a2e7bd4961a009cd16f532cfda
94 N890faca938b34ae195e040594d3227c4 rdf:first N277a8f168e9e4f46bb7a770d16759956
95 rdf:rest Nb762eecfdb244ae784b04c5fefab9a18
96 N8c7f81d2cd994f43b68703ab897876e4 rdf:first N497086723425437e9246bd8d73dca85e
97 rdf:rest rdf:nil
98 N8f5bc73262504a3da914cc5e251d3d5a schema:name Springer Nature - SN SciGraph project
99 rdf:type schema:Organization
100 N9d48f9cc404344cca166833531709b72 schema:isbn 978-3-319-47472-4
101 978-3-319-47474-8
102 schema:name Self-Aware Computing Systems
103 rdf:type schema:Book
104 Nab7cd307de7b450ba49a5f2926f583df schema:name Springer Nature
105 rdf:type schema:Organisation
106 Nb275e0b5ba81463797c477635d0bb283 rdf:first sg:person.014424750125.98
107 rdf:rest N4d59db72e6fe43fc8d9148b21c3b6373
108 Nb762eecfdb244ae784b04c5fefab9a18 rdf:first Ne01080b9425548d884e4b9f4c6cc2333
109 rdf:rest N35d1431458f34acaaf6f9220acd2c6eb
110 Nce7facaa2f2e44b8b451fb33221b6baf rdf:first sg:person.011345714542.38
111 rdf:rest Nf2b06331eb40430a8094a63202018c23
112 Ndab86e5e34a743bcbc9180c8de1af0e9 schema:name doi
113 schema:value 10.1007/978-3-319-47474-8_11
114 rdf:type schema:PropertyValue
115 Ndf5b13cec64b4f1ab62f18a0f621587e rdf:first sg:person.011375012273.39
116 rdf:rest N4e2cb2338f244f6aaebaa37405506e8b
117 Ne01080b9425548d884e4b9f4c6cc2333 schema:familyName Kephart
118 schema:givenName Jeffrey O.
119 rdf:type schema:Person
120 Nf2b06331eb40430a8094a63202018c23 rdf:first sg:person.013026452726.17
121 rdf:rest N4ebd8217165c45e7b98ccf0170266f48
122 Nf2b5b5ebd0904f9fa2cddc8ed0b9ec57 rdf:first sg:person.014200422461.10
123 rdf:rest rdf:nil
124 Nf96e2ada570f435dbb963ea8f3f5a6e4 schema:familyName Milenkoski
125 schema:givenName Aleksandar
126 rdf:type schema:Person
127 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
128 schema:name Information and Computing Sciences
129 rdf:type schema:DefinedTerm
130 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
131 schema:name Computer Software
132 rdf:type schema:DefinedTerm
133 sg:person.010067401027.02 schema:affiliation grid-institutes:grid.5685.e
134 schema:familyName Gerasimou
135 schema:givenName Simos
136 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010067401027.02
137 rdf:type schema:Person
138 sg:person.011054440723.55 schema:affiliation grid-institutes:grid.158820.6
139 schema:familyName Autili
140 schema:givenName Marco
141 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011054440723.55
142 rdf:type schema:Person
143 sg:person.011345714542.38 schema:affiliation grid-institutes:grid.147455.6
144 schema:familyName Cámara
145 schema:givenName Javier
146 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011345714542.38
147 rdf:type schema:Person
148 sg:person.011375012273.39 schema:affiliation grid-institutes:grid.4991.5
149 schema:familyName Kwiatkowska
150 schema:givenName Marta
151 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
152 rdf:type schema:Person
153 sg:person.011560440502.17 schema:affiliation grid-institutes:grid.1957.a
154 schema:familyName Katoen
155 schema:givenName Joost-Pieter
156 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011560440502.17
157 rdf:type schema:Person
158 sg:person.012277514445.57 schema:affiliation grid-institutes:grid.158820.6
159 schema:familyName Inverardi
160 schema:givenName Paola
161 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012277514445.57
162 rdf:type schema:Person
163 sg:person.013026452726.17 schema:affiliation grid-institutes:grid.158820.6
164 schema:familyName Di Marco
165 schema:givenName Antinisca
166 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013026452726.17
167 rdf:type schema:Person
168 sg:person.013304001603.50 schema:affiliation grid-institutes:grid.89336.37
169 schema:familyName Jansen
170 schema:givenName Nils
171 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013304001603.50
172 rdf:type schema:Person
173 sg:person.014027160143.21 schema:affiliation grid-institutes:grid.5685.e
174 schema:familyName Calinescu
175 schema:givenName Radu
176 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014027160143.21
177 rdf:type schema:Person
178 sg:person.014117571067.34 schema:affiliation grid-institutes:grid.147455.6
179 schema:familyName Mengshoel
180 schema:givenName Ole J.
181 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014117571067.34
182 rdf:type schema:Person
183 sg:person.014200422461.10 schema:affiliation grid-institutes:grid.158820.6
184 schema:familyName Tivoli
185 schema:givenName Massimo
186 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014200422461.10
187 rdf:type schema:Person
188 sg:person.014424750125.98 schema:affiliation grid-institutes:grid.158820.6
189 schema:familyName Perucci
190 schema:givenName Alexander
191 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014424750125.98
192 rdf:type schema:Person
193 sg:person.014765063117.45 schema:affiliation grid-institutes:grid.32995.34
194 schema:familyName Spalazzese
195 schema:givenName Romina
196 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014765063117.45
197 rdf:type schema:Person
198 grid-institutes:grid.147455.6 schema:alternateName Carnegie Mellon University, Pittsburgh, PA, USA
199 schema:name Carnegie Mellon University, Pittsburgh, PA, USA
200 rdf:type schema:Organization
201 grid-institutes:grid.158820.6 schema:alternateName University of L’Aquila, L’Aquila, Italy
202 schema:name University of L’Aquila, L’Aquila, Italy
203 rdf:type schema:Organization
204 grid-institutes:grid.1957.a schema:alternateName RWTH Aachen University, Aachen, Germany
205 schema:name RWTH Aachen University, Aachen, Germany
206 rdf:type schema:Organization
207 grid-institutes:grid.32995.34 schema:alternateName Malmö University, Malmö, Sweden
208 schema:name Malmö University, Malmö, Sweden
209 rdf:type schema:Organization
210 grid-institutes:grid.4991.5 schema:alternateName University of Oxford, Oxford, UK
211 schema:name University of Oxford, Oxford, UK
212 rdf:type schema:Organization
213 grid-institutes:grid.5685.e schema:alternateName University of York, York, UK
214 schema:name University of York, York, UK
215 rdf:type schema:Organization
216 grid-institutes:grid.89336.37 schema:alternateName University of Texas at Austin, Austin, TX, USA
217 schema:name University of Texas at Austin, Austin, TX, USA
218 rdf:type schema:Organization
 




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


...