{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T14:39:39Z","timestamp":1762353579260,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031738869"},{"type":"electronic","value":"9783031738876"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"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-73887-6_15","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"202-214","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The AI Act and\u00a0Some Implications for\u00a0Developing AI-Based Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3696-9222","authenticated-orcid":false,"given":"Martin","family":"Leucker","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","unstructured":"Adler, R., et al.: Deutsche normungsroadmap k\u00fcnstliche intelligenz ausgabe 2. Technical report, December 2022. https:\/\/doi.org\/10.13140\/RG.2.2.12632.78089","DOI":"10.13140\/RG.2.2.12632.78089"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Alamri, B., Javed, I.T., Margaria, T.: A GDPR-compliant framework for IoT-based personal health records using blockchain. In: 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS), pp.\u00a01\u20135. IEEE (2021)","DOI":"10.1109\/NTMS49979.2021.9432661"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Bertl, M., et al.: Challenges for AI in healthcare systems. In: Steffen, B. (ed.) Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, 23\u201328 October 2023, Post-Proceedings (2024), to appear","DOI":"10.1007\/978-3-031-73741-1_11"},{"key":"15_CR4","doi-asserted-by":"publisher","unstructured":"Bork, A., Chakraborty, D., Grover, K., Kret\u00ednsk\u00fd, J., Mohr, S.: Learning explainable and better performing representations of POMDP strategies. In: Finkbeiner, B., Kov\u00e1cs, L. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, 6\u201311 April 2024, Proceedings, Part II. LNCS, vol. 14571, pp. 299\u2013319. Springer, Berlin, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-57249-4_15","DOI":"10.1007\/978-3-031-57249-4_15"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Brandon, C., et al.: Cinco de bio: a low-code platform for domain-specific workflows for biomedical research. BioMedInformatics 4(3) (2024)","DOI":"10.3390\/biomedinformatics4030102"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Brandon, C., Singh, A., Margaria, T.: Model driven development for AI-based healthcare systems: a review. In: Steffen, B. (ed.) Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, 23\u201328 October 2023, Post-Proceedings (2024), to appear","DOI":"10.1007\/978-3-031-73741-1_15"},{"key":"15_CR7","unstructured":"Commission, E.: Ai act. https:\/\/digital-strategy.ec.europa.eu\/en\/policies\/regulatory-framework-ai"},{"key":"15_CR8","unstructured":"Commission, E.: Proposal for a regulation of the European Parliament and of the Council laying down harmonised rules on artificial intelligence (artificial intelligence act). https:\/\/digital-strategy.ec.europa.eu\/en\/library\/proposal-regulation-laying-down-harmonised-rules-artificial-intelligence, 2021\/0106 (COD)"},{"issue":"3\u20134","key":"15_CR9","doi-asserted-by":"publisher","first-page":"205","DOI":"10.3233\/FI-2011-607","volume":"113","author":"J Esparza","year":"2011","unstructured":"Esparza, J., Leucker, M., Schlund, M.: Learning workflow petri nets. Fundam. Inform. 113(3\u20134), 205\u2013228 (2011). https:\/\/doi.org\/10.3233\/FI-2011-607","journal-title":"Fundam. Inform."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Gossen, F., Margaria, T., Steffen, B.: Towards explainability in machine learning: the formal methods way. It Prof. 22(4), 8\u201312 (2020)","DOI":"10.1109\/MITP.2020.3005640"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Gossen, F., Margaria, T., Steffen, B.: Formal methods boost experimental performance for explainable AI. It Prof. 23(6), 8\u201312 (2021)","DOI":"10.1109\/MITP.2021.3123495"},{"key":"15_CR12","doi-asserted-by":"publisher","unstructured":"Hu, Y., et al.: Artificial intelligence security: threats and countermeasures. ACM Comput. Surv. 55(1) (2021). https:\/\/doi.org\/10.1145\/3487890","DOI":"10.1145\/3487890"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"41129","DOI":"10.1109\/ACCESS.2021.3064896","volume":"9","author":"IT Javed","year":"2021","unstructured":"Javed, I.T., Alharbi, F., Margaria, T., Crespi, N., Qureshi, K.N.: Petchain: a blockchain-based privacy enhancing technology. IEEE Access 9, 41129\u201341143 (2021)","journal-title":"IEEE Access"},{"issue":"3","key":"15_CR14","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/S10009-023-00716-Z","volume":"25","author":"F J\u00fcngermann","year":"2023","unstructured":"J\u00fcngermann, F., Kret\u00ednsk\u00fd, J., Weininger, M.: Algebraically explainable controllers: decision trees and support vector machines join forces. Int. J. Softw. Tools Technol. Transf. 25(3), 249\u2013266 (2023). https:\/\/doi.org\/10.1007\/S10009-023-00716-Z","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-030-88885-5_24","volume-title":"Automated Technology for Verification and Analysis","author":"I Khmelnitsky","year":"2021","unstructured":"Khmelnitsky, I., et al.: Property-directed verification and\u00a0robustness certification of\u00a0recurrent neural networks. In: Hou, Z., Ganesh, V. (eds.) ATVA 2021. LNCS, vol. 12971, pp. 364\u2013380. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88885-5_24"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-63882-5_1","volume-title":"Formal Methods: Foundations and Applications","author":"M Leucker","year":"2020","unstructured":"Leucker, M.: Formal verification of neural networks? In: Carvalho, G., Stolz, V. (eds.) SBMF 2020. LNCS, vol. 12475, pp. 3\u20137. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-63882-5_1"},{"issue":"5","key":"15_CR17","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Methods Program. 78(5), 293\u2013303 (2009). https:\/\/doi.org\/10.1016\/j.jlap.2008.08.004","journal-title":"J. Log. Algebr. Methods Program."},{"key":"15_CR18","unstructured":"Lewis, T.: Don\u2019t Let Artificial Intelligence Take Over, Top Scientists Warn. https:\/\/www.livescience.com\/49419-artificial-intelligence-dangers-letter.html"},{"issue":"5","key":"15_CR19","first-page":"74","volume":"11","author":"LS Lipol","year":"2011","unstructured":"Lipol, L.S., Haq, J.: Risk analysis method: FMEA\/FMECA in the organizations. Int. J. Basic Appl. Sci. 11(5), 74\u201382 (2011)","journal-title":"Int. J. Basic Appl. Sci."},{"key":"15_CR20","unstructured":"Madiega, T.: Artificial intelligence act (2024). https:\/\/www.europarl.europa.eu\/RegData\/etudes\/BRIE\/2021\/698792\/EPRS_BRI(2021)698792_EN.pdf, bRIEFING, EU Legislation in Progress, consulted June 2024"},{"key":"15_CR21","doi-asserted-by":"publisher","unstructured":"Malatji, M., Tolah, A.: Artificial intelligence (AI) cybersecurity dimensions: a comprehensive framework for understanding adversarial and offensive AI. AI Ethics (2024). https:\/\/doi.org\/10.1007\/s43681-024-00427-4","DOI":"10.1007\/s43681-024-00427-4"},{"key":"15_CR22","unstructured":"Mammonas, D.: Artificial intelligence (AI) act: council gives final green light to the first worldwide rules on AI. https:\/\/www.consilium.europa.eu\/en\/press\/press-releases\/2024\/05\/21\/artificial-intelligence-ai-act-council-gives-final-green-light-to-the-first-worldwide-rules-on-ai\/, press release of the European Council"},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/978-3-662-45231-8_44","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"T Margaria","year":"2014","unstructured":"Margaria, T., Floyd, B.D., Gonzalez Camargo, R., Lamprecht, A.-L., Neubauer, J., Seelaender, M.: Simple management of high assurance data in long-lived interdisciplinary healthcare research: a proposal. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 526\u2013544. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_44"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-34968-4_1","volume-title":"Integrated Formal Methods","author":"T Margaria","year":"2019","unstructured":"Margaria, T., Schieweck, A.: The digital thread in industry 4.0. In: Ahrendt, W., Tapia Tarifa, S.L. (eds.) IFM 2019. LNCS, vol. 11918, pp. 3\u201324. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-34968-4_1"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business process modeling in the jabc: the one-thing approach. In: Handbook of Research on Business Process Modeling, pp. 1\u201326. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"issue":"5","key":"15_CR26","doi-asserted-by":"publisher","first-page":"3503","DOI":"10.1007\/s10462-021-10088-y","volume":"55","author":"D Minh","year":"2022","unstructured":"Minh, D., Wang, H.X., Li, Y.F., Nguyen, T.N.: Explainable artificial intelligence: a comprehensive review. Artif. Intell. Rev. 55(5), 3503\u20133568 (2022). https:\/\/doi.org\/10.1007\/s10462-021-10088-y","journal-title":"Artif. Intell. Rev."},{"key":"15_CR27","unstructured":"Parliament, E., of\u00a0the European\u00a0Union, C.: Regulation (EU) 2017\/745 of the European Parliament and of the Council of 5 April 2017 on medical devices, amending Directive 2001\/83\/EC, Regulation (EC) No 178\/2002 and Regulation (EC) No 1223\/2009 and repealing Council Directives 90\/385\/EEC and 93\/42\/EEC (Text with EEA relevance.). https:\/\/eur-lex.europa.eu\/legal-content\/EN\/TXT\/?uri=CELEX"},{"key":"15_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-030-55754-6_6","volume-title":"NASA Formal Methods","author":"DT Phan","year":"2020","unstructured":"Phan, D.T., Grosu, R., Jansen, N., Paoletti, N., Smolka, S.A., Stoller, S.D.: Neural simplex architecture. In: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 97\u2013114. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55754-6_6"},{"key":"15_CR29","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach (4th Edition). Pearson, London (2020). http:\/\/aima.cs.berkeley.edu\/"},{"key":"15_CR30","doi-asserted-by":"publisher","unstructured":"Seto, D., Krogh, B., Sha, L., Chutinan, A.: The simplex architecture for safe online control system upgrades. In: Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No. 98CH36207), vol.\u00a06, pp. 3504\u20133508 (1998). https:\/\/doi.org\/10.1109\/ACC.1998.703255","DOI":"10.1109\/ACC.1998.703255"},{"key":"15_CR31","doi-asserted-by":"publisher","unstructured":"Sharkov, G., Commission, A.: Ethics guidelines for trustworthy AI. Technical report, April 2019. https:\/\/doi.org\/10.2759\/346720","DOI":"10.2759\/346720"},{"key":"15_CR32","unstructured":"Singh, A., Minguett, O., Margaria, T.: Binary decision diagrams and composite classifiers for analysis of imbalanced medical datasets. Electron. Commun. EASST 82 (2023)"},{"key":"15_CR33","unstructured":"Steffen, B., Steffen, B., Lee, E. (eds.): Let\u2019s talk AI. Springer (2024). to appear"},{"key":"15_CR34","doi-asserted-by":"publisher","unstructured":"Tocchetti, A., et al.: A.I. Robustness: a human-centered perspective on technological challenges and opportunities. ACM Comput. Surv. (2024). https:\/\/doi.org\/10.1145\/3665926, just Accepted","DOI":"10.1145\/3665926"},{"key":"15_CR35","unstructured":"Yakimova, Y., Ojamo, J.: Artificial intelligence act: deal on comprehensive rules for trustworthy AI. https:\/\/www.europarl.europa.eu\/news\/en\/press-room\/20231206IPR15699\/artificial-intelligence-act-deal-on-comprehensive-rules-for-trustworthy-ai, press release of the European Commission"},{"key":"15_CR36","unstructured":"Yakimova, Y., Ojamo, J.: Artificial intelligence act: meps adopt landmark law. https:\/\/www.europarl.europa.eu\/news\/en\/press-room\/20240308IPR19015\/artificial-intelligence-act-meps-adopt-landmark-law, press release of the European Commission"}],"container-title":["Lecture Notes in Computer Science","The Combined Power of Research, Education, and Dissemination"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73887-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T11:15:30Z","timestamp":1738235730000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73887-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031738869","9783031738876"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73887-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The author(s) has no competing interests to declare that are relevant to the content of this manuscript.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}}]}}