{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:04:57Z","timestamp":1742933097396,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031753862"},{"type":"electronic","value":"9783031753879"}],"license":[{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"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-75387-9_10","type":"book-chapter","created":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T08:02:14Z","timestamp":1729843334000},"page":"155-161","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["X-by-Construction Meets AI"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2930-6367","authenticated-orcid":false,"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7221-3676","authenticated-orcid":false,"given":"Loek","family":"Cleophas","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5718-8276","authenticated-orcid":false,"given":"Clemens","family":"Dubslaff","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7153-761X","authenticated-orcid":false,"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,26]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","unstructured":"Ahrendt, W., Gurov, D., Johansson, M., R\u00fcmmer, P.: TriCo\u2014triple co-piloting of implementation, specification and tests. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (ISoLA\u201922). LNCS, vol. 13701, pp. 174\u2013187. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-19849-6_11","DOI":"10.1007\/978-3-031-19849-6_11"},{"key":"10_CR2","doi-asserted-by":"publisher","unstructured":"Baier, C., et al.: From verification to causality-based explications. In: Bansal, N., Merelli, E., Worrell, J. (eds.) Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP\u201921). LIPIcs, vol.\u00a0198, pp. 1:1\u20131:20. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021). https:\/\/doi.org\/10.4230\/LIPICS.ICALP.2021.1","DOI":"10.4230\/LIPICS.ICALP.2021.1"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Beckert, B., Klamroth, J., Pfeifer, W., R\u00f6per, P., Teuber, S.: Towards combining the cognitive abilities of large language models with the rigor of deductive progam verification. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201924). LNCS, vol. 15222, Springer (2024)","DOI":"10.1007\/978-3-031-75387-9_15"},{"key":"10_CR4","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Cleophas, L., Legay, A., Schaefer, I., Watson, B.W.: X-by-construction: correctness meets probability. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (ISoLA\u201920). LNCS, vol. 12476, pp. 211\u2013215. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-61362-4_11","DOI":"10.1007\/978-3-030-61362-4_11"},{"key":"10_CR5","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Cleophas, L., Leucker, M., Schaefer, I.: X-by-construction meets runtime verification. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (ISoLA\u201922). LNCS, vol. 13701, pp. 141\u2013148. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-19849-6_9","DOI":"10.1007\/978-3-031-19849-6_9"},{"key":"10_CR6","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Cleophas, L., Schaefer, I., Watson, B.W.: X-by-construction. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Modeling (ISoLA\u201918). LNCS, vol. 11244, pp. 359\u2013364. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-03418-4_21","DOI":"10.1007\/978-3-030-03418-4_21"},{"key":"10_CR7","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., H\u00e4hnle, R., Schaefer, I.: Correctness-by-construction and post-hoc verification: friends or foes? In: Margaria, T., Steffen, B. (eds.) Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA\u201916). LNCS, vol.\u00a09952, pp. 723\u2013729. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_51","DOI":"10.1007\/978-3-319-47166-2_51"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Belmonte, G., Bussi, L., Ciancia, V., Latella, D., Massink, M.: Towards hybrid-AI in imaging using VoxLogicA. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201924). LNCS, vol. 15222, Springer (2024)","DOI":"10.1007\/978-3-031-75387-9_13"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Bloem, R., Chlup, S., Ni\u010dkovi\u0107, D., Schmittner, C.: On threat model repair. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201924). LNCS, vol. 15222, Springer (2024)","DOI":"10.1007\/978-3-031-75387-9_18"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Bozzano, M., Cimatti, A., Cristoforetti, M., Griggio, A., Svaizer, P., Tonetta, S.: Towards formal design of FDIR components with AI. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201924). LNCS, vol. 15222, Springer (2024)","DOI":"10.1007\/978-3-031-75387-9_19"},{"key":"10_CR11","doi-asserted-by":"publisher","unstructured":"Katoen, J.: The probabilistic model checking landscape. In: Grohe, M., Koskinen, E., Shankar, N. (eds.) Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS\u201916), pp. 31\u201345. ACM (2016). https:\/\/doi.org\/10.1145\/2933575.2934574","DOI":"10.1145\/2933575.2934574"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Kodetzki, M., Bordis, T., Kirsten, M., Schaefer, I.: Towards AI-assisted correctness-by-construction software development. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201924). LNCS, vol. 15222, Springer (2024)","DOI":"10.1007\/978-3-031-75387-9_14"},{"key":"10_CR13","doi-asserted-by":"publisher","unstructured":"Larsen, K.G., Legay, A., Nolte, G., Schl\u00fcter, M., Stoelinga, M., Steffen, B.: Formal methods meet machine learning (F3ML). In: Margaria, T., Steffen, B. (eds.) Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Adaptation and Learning (ISoLA\u201922). LNCS, vol. 13703, pp. 393\u2013405. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-19759-8_24","DOI":"10.1007\/978-3-031-19759-8_24"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Maderbacher, B., Windisch, F., Bloem, R.: Synthesis from infinite-state generalized reactivity(1) specifications. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201924). LNCS vol. 15222,, Springer (2024)","DOI":"10.1007\/978-3-031-75387-9_17"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J.: Logic-based explainability: past, present and future. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201924). LNCS, vol. 15222, Springer (2024)","DOI":"10.1007\/978-3-031-75387-9_12"},{"key":"10_CR16","doi-asserted-by":"publisher","unstructured":"Marques-Silva, J., Ignatiev, A.: Delivering trustworthy AI through formal XAI. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI\u201922), pp. 12342\u201312350. AAAI Press (2022). https:\/\/doi.org\/10.1609\/AAAI.V36I11.21499","DOI":"10.1609\/AAAI.V36I11.21499"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Platzer, A.: Intersymbolic AI: Interlinking symbolic AI and subsymbolic AI. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201924). LNCS, vol. 15222, Springer (2024)","DOI":"10.1007\/978-3-031-75387-9_11"},{"key":"10_CR18","doi-asserted-by":"publisher","unstructured":"Seisenberger, M., ter Beek, M.H., Fan, X., Ferrari, A., Haxthausen, A., James, P., Lawrence, A., Luttik, B., van\u00a0de Pol, J., Wimmer, S.: Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. In: Margaria, T., Steffen, B. (eds.) 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation: Practice (ISoLA\u201922). LNCS, vol. 13704, pp. 246\u2013268. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8_20","DOI":"10.1007\/978-3-031-19762-8_20"},{"key":"10_CR19","doi-asserted-by":"publisher","unstructured":"Steffen, B. (ed.): Proceedings of the 1st international conference on bridging the gap between AI and reality (AISoLA\u201923), LNCS, vol. 14380. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-46002-9","DOI":"10.1007\/978-3-031-46002-9"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Wenzel, J., K\u00f6hl, M.A., Sterz, S., Schmidt, A., Fetzer, C., Hermanns, H.: Traceability and accountability by construction. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201924). LNCS, vol. 15222, Springer (2024)","DOI":"10.1007\/978-3-031-75387-9_16"},{"key":"10_CR21","doi-asserted-by":"publisher","unstructured":"Wing, J.M.: Trustworthy AI. Commun. ACM 64(10), 64\u201371 (2021). https:\/\/doi.org\/10.1145\/3448248","DOI":"10.1145\/3448248"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75387-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,30]],"date-time":"2024-11-30T07:34:10Z","timestamp":1732952050000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75387-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,26]]},"ISBN":["9783031753862","9783031753879"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75387-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,26]]},"assertion":[{"value":"26 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"}}]}}