{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T07:17:33Z","timestamp":1779175053530,"version":"3.51.4"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100018461","name":"Silicon Austria Labs","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100018461","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100017142","name":"Gruppo Nazionale per il Calcolo Scientifico","doi-asserted-by":"publisher","award":["CUP_E55F22000270001"],"award-info":[{"award-number":["CUP_E55F22000270001"]}],"id":[{"id":"10.13039\/100017142","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/access.2023.3277620","type":"journal-article","created":{"date-parts":[[2023,5,18]],"date-time":"2023-05-18T17:26:24Z","timestamp":1684430784000},"page":"57349-57364","source":"Crossref","is-referenced-by-count":4,"title":["Monitors That Learn From Failures: Pairing STL and Genetic Programming"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2063-218X","authenticated-orcid":false,"given":"Andrea","family":"Brunello","sequence":"first","affiliation":[{"name":"Department of Mathematics, Computer Science, and Physics, University of Udine, Udine, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9743-665X","authenticated-orcid":false,"given":"Dario Della","family":"Monica","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Computer Science, and Physics, University of Udine, Udine, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4322-769X","authenticated-orcid":false,"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Computer Science, and Physics, University of Udine, Udine, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5916-3195","authenticated-orcid":false,"given":"Nicola","family":"Saccomanno","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Computer Science, and Physics, University of Udine, Udine, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4217-9980","authenticated-orcid":false,"given":"Andrea","family":"Urgolo","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Computer Science, and Physics, University of Udine, Udine, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883843"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2018.8603016"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99154-2_20"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382218"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/776"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.bspc.2020.102194"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2020.2984976"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3433994"},{"key":"ref19","first-page":"620","article-title":"Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems","author":"dousson","year":"1999","journal-title":"Proc 16th IJCAI"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IMTC.2010.5488039"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883839"},{"key":"ref46","author":"huang","year":"2017","journal-title":"Hard Drive Failure Prediction for Large Scale Storage System"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-020-01630-w"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.isatra.2018.05.002"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/s00542-019-04454-8"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.jspi.2014.12.004"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2013.2281535"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1186\/s12859-019-3118-5"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1989.1.2.270"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1002\/aic.16497"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/BigData.2018.8622431"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2020.2993728"},{"key":"ref9","first-page":"151","article-title":"Making disk failure predictions SMARTer!","author":"lu","year":"2020","journal-title":"Proc 18th FAST"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2018.00160"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-019-00349-z"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-019-02917-1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2912809"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/BF00175355"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05094-1"},{"key":"ref36","first-page":"564","article-title":"RTAMT: Online robustness monitors from STL","volume":"12302","author":"ni?kovi?","year":"2020","journal-title":"Proc 18th ATVA"},{"key":"ref31","first-page":"71","article-title":"Pairing monitoring with machine learning for smart system verification and predictive maintenance","volume":"2509","author":"brunello","year":"2019","journal-title":"Proc 1st OVERLAYAIxIA"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213876"},{"key":"ref33","author":"clarke","year":"2018","journal-title":"Model checking"},{"key":"ref32","first-page":"83","article-title":"Learning how to monitor: Pairing monitoring and learning for online system verification","volume":"2785","author":"brunello","year":"2020","journal-title":"Proc 2nd OVERLAYBOSK"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.254.2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref39","first-page":"2171","article-title":"DEAP: Evolutionary algorithms made easy","volume":"13","author":"fortin","year":"2012","journal-title":"J Mach Lang Res"},{"key":"ref38","author":"poli","year":"2008","journal-title":"A Field Guide to Genetic Programming"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CloudCom.2012.6427566"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45231-8_30"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/BF00962234"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2018.02.009"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.24084\/repqj10.377"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30232-2_23"},{"key":"ref28","first-page":"3808","article-title":"Bayesian inference of temporal task specifications from demonstrations","author":"shah","year":"2018","journal-title":"Proc 32nd NeurIPS"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.71"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264386"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/10005208\/10129205.pdf?arnumber=10129205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T18:26:59Z","timestamp":1688408819000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10129205\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/access.2023.3277620","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}