{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T15:03:51Z","timestamp":1773414231746,"version":"3.50.1"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1109\/noms47738.2020.9110371","type":"proceedings-article","created":{"date-parts":[[2020,6,8]],"date-time":"2020-06-08T18:06:15Z","timestamp":1591639575000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Automated Generation of Availability Models for SFCs: The case of Virtualized IP Multimedia Subsystem"],"prefix":"10.1109","author":[{"given":"Mario Di","family":"Mauro","sequence":"first","affiliation":[{"name":"University of Salerno (Italy),Department of Information and Electrical Engineering and Applied Mathematics (DIEM)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Galatro","sequence":"additional","affiliation":[{"name":"University of Salerno (Italy),Department of Information and Electrical Engineering and Applied Mathematics (DIEM)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Longo","sequence":"additional","affiliation":[{"name":"University of Salerno (Italy),Department of Information and Electrical Engineering and Applied Mathematics (DIEM)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arcangelo","family":"Palma","sequence":"additional","affiliation":[{"name":"University of Salerno (Italy),Department of Information and Electrical Engineering and Applied Mathematics (DIEM)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Postiglione","sequence":"additional","affiliation":[{"name":"University of Salerno (Italy),Department of Information and Electrical Engineering and Applied Mathematics (DIEM)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Tambasco","sequence":"additional","affiliation":[{"name":"University of Salerno (Italy),Department of Information and Electrical Engineering and Applied Mathematics (DIEM)"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2017.2788442"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/NETSOFT.2019.8806642"},{"key":"ref12","first-page":"409","article-title":"A highly available transaction processing system with non-disruptive failure handling","author":"su","year":"2012","journal-title":"IEEE NOMS 2012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2016.7502878"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2018.8406151"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SERE-C.2013.28"},{"key":"ref16","first-page":"1","article-title":"A Template-Based Methodology for the Specification and Automated Composition of Performability Models","volume":"15","author":"montecchi","year":"2019","journal-title":"IEEE Transactions on Reliability"},{"key":"ref17","first-page":"82","article-title":"A DSL-Supported Work-flow for the Automated Assembly of Large Stochastic Models","author":"montecchi","year":"2014","journal-title":"Tenth European Dependable Computing Conference"},{"key":"ref18","first-page":"259","article-title":"Reliability Modeling Using UML","author":"leangsuksun","year":"2003","journal-title":"Proceedings of the International Conference on Software Engineering Research and Practice"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IPDS.1996.540202"},{"key":"ref28","year":"0","journal-title":"Acceleo Project"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2018.2885748"},{"key":"ref27","year":"0","journal-title":"ATLAS transformation language"},{"key":"ref3","year":"0","journal-title":"Cisco NFV Infrastructure"},{"key":"ref6","first-page":"432","article-title":"Performance of Service Function Chaining on the OpenStack Cloud Platform","author":"borsatti","year":"2018","journal-title":"International Conference on Network and Service Management"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(95)00010-U"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/NFV-SDN.2017.8169852"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/NFV-SDN.2018.8725645"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/NETSOFT.2017.8004207"},{"key":"ref2","year":"0","journal-title":"Delivering high availability in carrier grade NFV infrastructures"},{"key":"ref9","year":"0","journal-title":"TimeNET project"},{"key":"ref1","year":"0","journal-title":"Implement a high availability architecture"},{"key":"ref20","first-page":"870","article-title":"Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks","volume":"161","author":"cinque","year":"2012","journal-title":"IEEE Transactions on Computers"},{"key":"ref22","year":"0","journal-title":"VoLTE Service Based on vEPC and vIMS Architecture"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2017.2760188"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.67"},{"key":"ref23","first-page":"9","article-title":"Stochastic Reward Nets for Reliability Prediction","author":"muppala","year":"1994","journal-title":"Communications in Reliability Maintainability and Serviceability"},{"key":"ref26","year":"0","journal-title":"Eclipse Modeling Framework (EMF)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2017.2755462"}],"event":{"name":"NOMS 2020-2020 IEEE\/IFIP Network Operations and Management Symposium","location":"Budapest, Hungary","start":{"date-parts":[[2020,4,20]]},"end":{"date-parts":[[2020,4,24]]}},"container-title":["NOMS 2020 - 2020 IEEE\/IFIP Network Operations and Management Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9107308\/9110252\/09110371.pdf?arnumber=9110371","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T05:30:20Z","timestamp":1769491820000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9110371\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/noms47738.2020.9110371","relation":{},"subject":[],"published":{"date-parts":[[2020,4]]}}}