{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:22:38Z","timestamp":1743085358158,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031751066"},{"type":"electronic","value":"9783031751073"}],"license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75107-3_9","type":"book-chapter","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:01:50Z","timestamp":1729926110000},"page":"139-155","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Is Machine Learning Model Checking Privacy Preserving?"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Nenzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaia","family":"Saveri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Silvetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Aslan, O., Aktug, S.S., Ozkan-Okay, M., Yilmaz, A.A., Akin, E.: A comprehensive review of cyber security vulnerabilities, threats, attacks, and solutions. Electronics 12(6) (2023)","DOI":"10.3390\/electronics12061333"},{"key":"9_CR2","unstructured":"Baier, C., Katoen, J.P.: Principles of model checking. MIT press (2008)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bartocci, E., et al.: Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In: Lectures on Runtime Verification - Introductory and Advanced Topics, Lecture Notes in Computer Science, vol. 10457, pp. 135\u2013175. Springer (2018)","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Gallo, G.M., Kret\u00ednsk\u00fd, J., Nenzi, L.: Learning model checking and the kernel trick for signal temporal logic on stochastic processes. In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022,Proceedings, Part I (2022)","DOI":"10.1007\/978-3-030-99524-9_15"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Milios, D., Sanguinetti, G.: Machine learning methods in statistical model checking and system design - tutorial. In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. Lecture Notes in Computer Science, vol.\u00a09333, pp. 323\u2013341. Springer (2015)","DOI":"10.1007\/978-3-319-23820-3_23"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Sanguinetti, G.: Learning and designing stochastic processes from logical constraints. Logical Methods Comput. Sci. 11 (2015)","DOI":"10.2168\/LMCS-11(2:3)2015"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Chong, M.S., Sandberg, H., Teixeira, A.M.: A tutorial introduction to security and privacy for cyber-physical systems. In: 2019 18th European Control Conference (ECC), pp. 968\u2013978 (2019)","DOI":"10.23919\/ECC.2019.8795652"},{"key":"9_CR8","unstructured":"Clarke, E.M.: Model checking. In: Foundations of Software Technology and Theoretical Computer Science: 17th Conference Kharagpur, India, December 18\u201320, 1997 Proceedings 17. pp. 54\u201356. Springer (1997)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Derrick, T.R., Bates, B.T., Dufek, J.S.: Evaluation of time-series data sets using the Pearson product-moment correlation coefficient. Med. Sci. Sports Exerc. 26(7), 919\u2013928 (1994)","DOI":"10.1249\/00005768-199407000-00018"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Dyer, S., Dyer, J.: Cubic-spline interpolation. 1. IEEE Instrum. Measur. Mag. 4(1), 44\u201346 (2001)","DOI":"10.1109\/5289.911175"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Ferfoglia, I., Saveri, G., Nenzi, L., Bortolussi, L.: ECATS: explainable-by-design concept-based anomaly detection for time series, pp. 175\u2013191 (2024)","DOI":"10.1007\/978-3-031-71170-1_16"},{"key":"9_CR12","unstructured":"Hong, S.K., Gurjar, K., Kim, H.S., Moon, Y.S.: A survey on privacy preserving time-series data mining. In: 3rd International Conference on Intelligent Computational Systems (ICICS\u20192013), pp. 44\u201348 (2013)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Keshk, M., Moustafa, N., Sitnikova, E., Turnbull, B., Vatsalan, D.: Privacy-preserving techniques for protecting large-scale data of cyber-physical systems. In: 2020 16th International Conference on Mobility, Sensing and Networking (MSN), pp. 711\u2013717 (2020)","DOI":"10.1109\/MSN50589.2020.00121"},{"issue":"11","key":"9_CR14","doi-asserted-by":"publisher","first-page":"e79345","DOI":"10.1371\/journal.pone.0079345","volume":"8","author":"TR Maarleveld","year":"2013","unstructured":"Maarleveld, T.R., Olivier, B.G., Bruggeman, F.J.: StochPy: a comprehensive, user-friendly tool for simulating stochastic biological processes. PLoS ONE 8(11), e79345 (2013)","journal-title":"PLoS ONE"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Proceedings of FORMATS and FTRTFT, LNCS, vol. 3253, Springer (2004), pp. 152-166. Lecture Notes in Computer Science, vol.\u00a03253, pp. 152\u2013166. Springer (2004)","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Saveri, G., Bortolussi, L.: Retrieval-augmented mining of temporal logic specifications from data, pp. 315\u2013331 (2024)","DOI":"10.1007\/978-3-031-70368-3_19"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Saveri, G., Nenzi, L., Bortolussi, L., K\u0159et\u00ednsk\u00fd, J.: stl2vec: semantic and interpretable vector representation of temporal logic (2024)","DOI":"10.3233\/FAIA240638"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Schwenger, M.: Monitoring cyber-physical systems: from design to integration. In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings. Lecture Notes in Computer Science, vol. 12399, pp. 87\u2013106. Springer (2020)","DOI":"10.1007\/978-3-030-60508-7_5"},{"issue":"1","key":"9_CR20","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/4235.585893","volume":"1","author":"D Wolpert","year":"1997","unstructured":"Wolpert, D., Macready, W.: No free lunch theorems for optimization. IEEE Trans. Evol. Comput. 1(1), 67\u201382 (1997)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: CAV, Lecture Notes in Computer Science, vol.\u00a02404, pp. 223\u2013235. Springer (2002)","DOI":"10.1007\/3-540-45657-0_17"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75107-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:12:04Z","timestamp":1729926724000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75107-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"ISBN":["9783031751066","9783031751073"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75107-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"27 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}