{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T06:01:53Z","timestamp":1784700113941,"version":"3.55.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"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":[[2026,5]]},"DOI":"10.1109\/infocom59046.2026.11571757","type":"proceedings-article","created":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T19:38:15Z","timestamp":1782761895000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Inference of Control Structures in Adaptive Networked Systems: A Security Perspective"],"prefix":"10.1109","author":[{"given":"A.","family":"Adiththan","sequence":"first","affiliation":[{"name":"General Motors","place":["Warren, MI"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.","family":"Javens","sequence":"additional","affiliation":[{"name":"CUNY","department":["Dept. of Computer Science"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"K.","family":"Ravindran","sequence":"additional","affiliation":[{"name":"CUNY","department":["Dept. of Computer Science"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Iannelli","sequence":"additional","affiliation":[{"name":"Scrunch AI","place":["New York"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Drager","sequence":"additional","affiliation":[{"name":"US Air Force Research Lab (AFRL)","place":["Rome, NY"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Anderson","sequence":"additional","affiliation":[{"name":"US Air Force Research Lab (AFRL)","place":["Rome, NY"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/49.790486"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.55"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948135"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2016.11.025"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2017.09.014"},{"key":"ref6","article-title":"SLA-aware resource over-commit in an IaaS cloud","volume-title":"proc. IEEE-IFIP Conf. on Network and Service Management (CNSM)","author":"Breitgand"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IEEE.EDGE.2017.20"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DESEC.2017.8073833"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08270-2_2"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/COMSWA.2006.1665204"},{"key":"ref11","article-title":"Atomic actions on decentralized data","author":"Jalote","year":"1995","journal-title":"Fault-tol. Sys."},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2011.21"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W.2016.74"},{"key":"ref14","article-title":"SLA Evaluation and Composition in Reconfigurable Cloud-based Services","volume-title":"Ph.D. thesis","author":"Iannelli","year":"2025"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1145\/2933575.2934574","article-title":"The Probabilistic Model Checking Landscape","volume-title":"proc. ACM\/IEEE symp. on Logic in Computer Science (LICS)","author":"Katoen"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1111\/risa.13395"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3362744.3363343"}],"event":{"name":"IEEE INFOCOM 2026 - IEEE Conference on Computer Communications","location":"Tokyo, Japan","start":{"date-parts":[[2026,5,18]]},"end":{"date-parts":[[2026,5,21]]}},"container-title":["IEEE INFOCOM 2026 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11571071\/11571169\/11571757.pdf?arnumber=11571757","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T05:08:47Z","timestamp":1784696927000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11571757\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/infocom59046.2026.11571757","relation":{},"subject":[],"published":{"date-parts":[[2026,5]]}}}