{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:10:05Z","timestamp":1750205405543,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T00:00:00Z","timestamp":1555286400000},"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":[[2019,4,15]]},"DOI":"10.1145\/3313149.3313370","type":"proceedings-article","created":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T19:01:58Z","timestamp":1557514918000},"page":"19-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Preview of predictive monitoring for signal temporal logic with probabilistic guarantees"],"prefix":"10.1145","author":[{"given":"Xin","family":"Qin","sequence":"first","affiliation":[{"name":"University of Southern California"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[{"name":"University of Southern California"}]}],"member":"320","published-online":{"date-parts":[[2019,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987389.1987416"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Reza Babaee Arie Gurfinkel and Sebastian Fischmeister. 2018. Predictive RunTime Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning. In Runtime Verification Christian Colombo and Martin Leucker (Eds.). Springer International Publishing 187--204.  Reza Babaee Arie Gurfinkel and Sebastian Fischmeister. 2018. Predictive RunTime Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning. In Runtime Verification Christian Colombo and Martin Leucker (Eds.). Springer International Publishing 187--204.","DOI":"10.1007\/978-3-030-03769-7_11"},{"volume-title":"Prevent: A Predictive Run-Time Verification Framework Using Statistical Learning. In International Conference on Software Engineering and Formal Methods. Springer, 205--220","year":"2018","author":"Babaee Reza","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","unstructured":"Ezio Bartocci Luca Bortolussi and Guido Sanguinetti. 2013. Learning temporal logical properties discriminating ECG models of cardiac arrhytmias. arXiv preprint arXiv: 1312.7523 (2013).  Ezio Bartocci Luca Bortolussi and Guido Sanguinetti. 2013. Learning temporal logical properties discriminating ECG models of cardiac arrhytmias. arXiv preprint arXiv: 1312.7523 (2013)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10512-3_3"},{"volume-title":"Lectures on Runtime Verification","author":"Bartocci Ezio","key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-75632-5"},{"volume-title":"International Conference on Runtime Verification. Springer, 168--182","year":"2012","author":"Bartocci Ezio","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Peter J Brockwell Richard A Davis and Matthew V Calder. 2002. Introduction to time series and forecasting. Vol. 2. Springer.  Peter J Brockwell Richard A Davis and Matthew V Calder. 2002. Introduction to time series and forecasting. Vol. 2. Springer.","DOI":"10.1007\/b97391"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_18"},{"key":"e_1_3_2_1_10_1","volume-title":"1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.)","volume":"34","author":"Hoxha Bardh","year":"2015"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_9"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"J. Kapinski X. Jin J. Deshmukh A. Donz\u00e9 T. Yamaguchi H. Ito T. Kaga S. Kobuna and S. A. Seshia. 2016. ST-Lib: A Library for Specifying and Classifying Model Behaviors. In SAE Technical Paper. SAE.  J. Kapinski X. Jin J. Deshmukh A. Donz\u00e9 T. Yamaguchi H. Ito T. Kaga S. Kobuna and S. A. Seshia. 2016. ST-Lib: A Library for Specifying and Classifying Model Behaviors. In SAE Technical Paper. SAE.","DOI":"10.4271\/2016-01-0621"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Patrick Moosbrugger Kristin Y. Rozier and Johann Schumann. 2017. R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. (April 2017) 1--31.  Patrick Moosbrugger Kristin Y. Rozier and Johann Schumann. 2017. R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. (April 2017) 1--31.","DOI":"10.1007\/s10703-017-0275-x"},{"key":"e_1_3_2_1_15_1","unstructured":"Xin Qin and Jyotirmoy V. Deshmukh. 2018. Joint Probability Distribution of Prediction Errors of ARIMA. CoRR abs\/1811.04685v1 (2018). https:\/\/arxiv.org\/abs\/1811.04685v1  Xin Qin and Jyotirmoy V. Deshmukh. 2018. Joint Probability Distribution of Prediction Errors of ARIMA. CoRR abs\/1811.04685v1 (2018). https:\/\/arxiv.org\/abs\/1811.04685v1"},{"volume-title":"Industrial Examples of Formal Specifications for Test Case Generation. In Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek","year":"2015","author":"Roehm Hendrik","key":"e_1_3_2_1_16_1"},{"volume-title":"Runtime Verification","author":"Schumann Johann","key":"e_1_3_2_1_17_1"},{"volume-title":"Proceedings of the 16th International Conference on Runtime Verification (RV15)","author":"Schumann Johann","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032363"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_15"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_37"}],"event":{"name":"CPS-IoT Week '19: Cyber-Physical Systems and Internet of Things Week 2019","acronym":"CPS-IoT Week '19","location":"Montreal Quebec Canada"},"container-title":["Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313149.3313370","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3313149.3313370","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:59Z","timestamp":1750204439000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313149.3313370"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,15]]},"references-count":21,"alternative-id":["10.1145\/3313149.3313370","10.1145\/3313149"],"URL":"https:\/\/doi.org\/10.1145\/3313149.3313370","relation":{},"subject":[],"published":{"date-parts":[[2019,4,15]]},"assertion":[{"value":"2019-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}