{"id":"https://openalex.org/W2137614355","doi":"https://doi.org/10.1007/978-3-642-21455-4_11","title":"Dependability and Performance Assessment of Dynamic CONNECTed Systems","display_name":"Dependability and Performance Assessment of Dynamic CONNECTed Systems","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W2137614355","doi":"https://doi.org/10.1007/978-3-642-21455-4_11","mag":"2137614355"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-21455-4_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-21455-4_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-00647701","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061991704","display_name":"Antonia Bertolino","orcid":"https://orcid.org/0000-0001-8749-1356"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonia Bertolino","raw_affiliation_strings":["Istituto di Scienza e Tecnologie dell\u2019Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy","Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell\u2019Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071323242","display_name":"Antonello Calabr\u00f2","orcid":"https://orcid.org/0000-0001-5502-303X"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonello Calabr\u00f3","raw_affiliation_strings":["Istituto di Scienza e Tecnologie dell\u2019Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy","Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell\u2019Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011748603","display_name":"F\u00e9licita Di Giandomenico","orcid":"https://orcid.org/0000-0002-8760-7299"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Felicita Di Giandomenico","raw_affiliation_strings":["Istituto di Scienza e Tecnologie dell\u2019Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy","Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell\u2019Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001846360","display_name":"Nicola Nostro","orcid":"https://orcid.org/0000-0001-6295-3622"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Nicola Nostro","raw_affiliation_strings":["Istituto di Scienza e Tecnologie dell\u2019Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy","Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell\u2019Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, via Moruzzi 1, I-56124, Italy","institution_ids":["https://openalex.org/I122991210"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I122991210"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"350","last_page":"392"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.9705606698989868},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8223897218704224},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.7187345623970032},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.45849740505218506},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4372623562812805},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4216766953468323},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40837860107421875},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.39663997292518616},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.32528021931648254},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.20283830165863037},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0985252857208252},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09364688396453857}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.9705606698989868},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8223897218704224},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7187345623970032},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.45849740505218506},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4372623562812805},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4216766953468323},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40837860107421875},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.39663997292518616},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32528021931648254},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.20283830165863037},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0985252857208252},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09364688396453857},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/978-3-642-21455-4_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-21455-4_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.220.3098","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.3098","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal.inria.fr/docs/00/64/77/01/PDF/BertinoroSchool2011.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.220.4423","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.4423","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal.inria.fr/docs/00/64/92/05/PDF/BertinoroSchool2011.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00647701v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00647701","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Marco Bernardo and Val\u00e9rie Issarny. Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems. SFM 2011, LNCS 6659, Springer, 2011","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:HAL:hal-00649205v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00649205","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"11th International School SFM 2011, Jun 2011, Bertinoro, Italy. pp. 350-392","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:dnet:people______::14090da6581e3babe6438fac42f930c0","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::14090da6581e3babe6438fac42f930c0","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Methods for Eternal Networked Software Systems. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, edited by Marco Bernardo ; Val\u00e9rie Issarny, pp. 350\u2013392. Berlin: Springer-Verlag, 2011","raw_type":"http://purl.org/coar/resource_type/c_3248"},{"id":"pmh:oai:flore.unifi.it:2158/605016","is_oa":true,"landing_page_url":"http://hdl.handle.net/2158/605016","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00647701v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00647701","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Marco Bernardo and Val\u00e9rie Issarny. Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems. SFM 2011, LNCS 6659, Springer, 2011","raw_type":"info:eu-repo/semantics/bookPart"},"sustainable_development_goals":[{"score":0.6000000238418579,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":68,"referenced_works":["https://openalex.org/W92685995","https://openalex.org/W136938949","https://openalex.org/W151200890","https://openalex.org/W656642513","https://openalex.org/W1485650462","https://openalex.org/W1487954903","https://openalex.org/W1494374840","https://openalex.org/W1535143292","https://openalex.org/W1537624148","https://openalex.org/W1630045723","https://openalex.org/W1835752997","https://openalex.org/W1930976743","https://openalex.org/W1965697381","https://openalex.org/W1973322711","https://openalex.org/W1982807047","https://openalex.org/W1992580876","https://openalex.org/W1996480057","https://openalex.org/W2016338530","https://openalex.org/W2016989291","https://openalex.org/W2017906621","https://openalex.org/W2019125550","https://openalex.org/W2050731699","https://openalex.org/W2054620608","https://openalex.org/W2060910670","https://openalex.org/W2072488475","https://openalex.org/W2072600586","https://openalex.org/W2079636926","https://openalex.org/W2091542545","https://openalex.org/W2093827646","https://openalex.org/W2099334120","https://openalex.org/W2105818147","https://openalex.org/W2114227149","https://openalex.org/W2114286787","https://openalex.org/W2116312276","https://openalex.org/W2117886447","https://openalex.org/W2118711731","https://openalex.org/W2121451727","https://openalex.org/W2125739093","https://openalex.org/W2130779417","https://openalex.org/W2133164797","https://openalex.org/W2137837392","https://openalex.org/W2140970291","https://openalex.org/W2143997593","https://openalex.org/W2145071552","https://openalex.org/W2147045827","https://openalex.org/W2154413134","https://openalex.org/W2154983209","https://openalex.org/W2159443917","https://openalex.org/W2160063844","https://openalex.org/W2162646974","https://openalex.org/W2162729153","https://openalex.org/W2170424585","https://openalex.org/W2172035080","https://openalex.org/W2401148556","https://openalex.org/W2503543501","https://openalex.org/W2525512947","https://openalex.org/W2600327970","https://openalex.org/W2904053625","https://openalex.org/W2916064013","https://openalex.org/W3016163793","https://openalex.org/W3041961278","https://openalex.org/W3137220996","https://openalex.org/W3144495421","https://openalex.org/W3144730817","https://openalex.org/W4205338785","https://openalex.org/W4233161060","https://openalex.org/W4234483287","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2916743419","https://openalex.org/W2381491984","https://openalex.org/W2120659790","https://openalex.org/W2257573499","https://openalex.org/W1847176793","https://openalex.org/W1980200158","https://openalex.org/W2091203523","https://openalex.org/W1513546254","https://openalex.org/W2160453313"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}