{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:34:55Z","timestamp":1768343695979,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T00:00:00Z","timestamp":1506643200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,29]]},"DOI":"10.1145\/3127041.3131362","type":"proceedings-article","created":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T12:34:00Z","timestamp":1506515640000},"page":"91-93","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Formal verification of complex systems"],"prefix":"10.1145","author":[{"given":"Alessandro","family":"Abate","sequence":"first","affiliation":[{"name":"University of Oxford"}]}],"member":"320","published-online":{"date-parts":[[2017,9,29]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"462","article-title":"Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants","volume":"10426","author":"Abate A.","year":"2017","journal-title":"CAV17, LNCS"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049802"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1137\/16M1079397"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"K. Macek P. Endel N. Cauchi and A. Abate \"Long-Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers \" Energy and Buildings 2017.  K. Macek P. Endel N. Cauchi and A. Abate \"Long-Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers \" Energy and Buildings 2017.","DOI":"10.1016\/j.enbuild.2017.05.055"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"A. Peruffo E. Guiu P. Panciatici and A. Abate \"Aggregated Markov Models of an Heterogeneous Population of Photovoltaic Panels \" QEST17 2017.  A. Peruffo E. Guiu P. Panciatici and A. Abate \"Aggregated Markov Models of an Heterogeneous Population of Photovoltaic Panels \" QEST17 2017.","DOI":"10.1007\/978-3-319-66335-7_5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2016.11.006"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.01.037"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2358844"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"S.E.Z. Soudjani and A. Abate \"Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions \" Logical Methods in Computer Science Vol. 11 nr. 3 Oct. 2015.  S.E.Z. Soudjani and A. Abate \"Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions \" Logical Methods in Computer Science Vol. 11 nr. 3 Oct. 2015.","DOI":"10.2168\/LMCS-11(3:8)2015"},{"key":"e_1_3_2_1_10_1","first-page":"195","volume-title":"Kroening and C. Pasareanu (Eds.)","author":"Abate A.","year":"2015"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351652"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.09.032"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1137\/120871456"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.624-641"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"}],"event":{"name":"MEMOCODE '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","location":"Vienna Austria","acronym":"MEMOCODE '17","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3131362","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3127041.3131362","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:07Z","timestamp":1750212667000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3131362"}},"subtitle":["model-based and data-driven methods"],"short-title":[],"issued":{"date-parts":[[2017,9,29]]},"references-count":15,"alternative-id":["10.1145\/3127041.3131362","10.1145\/3127041"],"URL":"https:\/\/doi.org\/10.1145\/3127041.3131362","relation":{},"subject":[],"published":{"date-parts":[[2017,9,29]]},"assertion":[{"value":"2017-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}