{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T16:44:45Z","timestamp":1778604285388,"version":"3.51.4"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"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":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1109\/tii.2020.3002816","type":"journal-article","created":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T21:31:23Z","timestamp":1592343083000},"page":"1515-1525","source":"Crossref","is-referenced-by-count":15,"title":["A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks"],"prefix":"10.1109","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3588-9367","authenticated-orcid":false,"given":"Guido","family":"Marchetto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3142-2383","authenticated-orcid":false,"given":"Riccardo","family":"Sisto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8471-3029","authenticated-orcid":false,"given":"Fulvio","family":"Valenza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3973-4266","authenticated-orcid":false,"given":"Jalolliddin","family":"Yusupov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0972-3091","authenticated-orcid":false,"given":"Adlen","family":"Ksentini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1002\/net.20371"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2627585.2627592"},{"key":"ref31","year":"2018"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-011-9233-2"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1186\/s13638-019-1493-2"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.aej.2018.03.011"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2003.822655"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1879141.1879175"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25360-2_6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2449762"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2017.2763954"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2389613"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.02.030"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2018.2890631"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CAMAD.2016.7790327"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/NFV-SDN.2018.8725783"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2018.2866465"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2019.04.019"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2017.2749699"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2019.2920824"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref3","article-title":"First-order mixed integer linear programming","author":"gordon","year":"2012"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2018.09.018"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(01)00214-4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24072-5_18"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2016.7794150"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2016.32"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-017-2693-y"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2017.02.019"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2018.8402355"},{"key":"ref20","first-page":"1","article-title":"5G mobile systems, challenges and technologies: A survey","volume":"97","author":"ahmed","year":"2019","journal-title":"J Inform Technol Theory Applicat"},{"key":"ref22","article-title":"Secure virtual network embedding in a multi-cloud environment","author":"alaluna","year":"2017"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.372"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355737"},{"key":"ref23","article-title":"Network functions virtualisation (NFV); terminology","year":"0"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2929325"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2012.01.022"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9424\/9264783\/09119174.pdf?arnumber=9119174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:52:23Z","timestamp":1652194343000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9119174\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2]]},"references-count":37,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tii.2020.3002816","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2]]}}}