{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T08:05:46Z","timestamp":1761552346956,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032090072","type":"print"},{"value":"9783032090089","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>I worry that improved AI will foster more delegation to it, where humans become lazier and just use \u201cthe machine\u201d, in delegation beyond what\u2019s necessary for a superficial sense of \u201cconvenience\u201d. That\u2019s a scary possibility for our future: a very likely future, I am afraid.<\/jats:p>\n                  <jats:p>My personal AI mission: Do the possible so that AI is not taken as an \u201coracle\u201d, i.e., as an entity that does not need to be doublechecked or questioned. I\u2019d prefer AI as Augmented Intelligence: considering intelligently what best to augment and how, and how to keep it in check and monitored, instead of (blind) Artificial Intelligence substituting the humans.<\/jats:p>","DOI":"10.1007\/978-3-032-09008-9_25","type":"book-chapter","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T07:56:10Z","timestamp":1761551770000},"page":"210-221","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Let\u2019s Talk AI with Computer Science Expert Tiziana Margaria"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,28]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","unstructured":"Al-Areqi, S., Lamprecht, AL., Margaria, T.: Constraints-driven automatic geospatial service composition: workflows for the analysis of sea-level rise impacts. In: Gervasi, O., et al. (eds.) Computational Science and Its Applications (ICCSA 2016). LNCS, vol. 9788. Springer (2016).\u00a0https:\/\/doi.org\/10.1007\/978-3-319-42111-7_12","DOI":"10.1007\/978-3-319-42111-7_12"},{"key":"25_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:\u00a0Proceedings of the 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2021), pp. 1\u20135. IEEE (2021)","DOI":"10.1109\/NTMS49979.2021.9432661"},{"key":"25_CR3","unstructured":"Singh, A., Minguett, O., Margaria, T.: Binary decision diagrams and composite classifiers for analysis of imbalanced medical datasets. In:\u00a0Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Doctoral Symposium. Electronic Communications of the EASST, vol. 82. EASST (2022)"},{"key":"25_CR4","unstructured":"Arenas, A.E., Bicarregui, J.C., Margaria, T.: The FMICS view on the verified software repository. J. of Integrated Design & Process Sci. 10(4), 47\u201354 (2006)"},{"key":"25_CR5","doi-asserted-by":"publisher","unstructured":"Chaudhary, H.A.A., et al.: Model-driven engineering in digital thread platforms: a practical use case and future challenges. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Practice (ISoLA 2022). LNCS, vol. 13704. Springer (2022).\u00a0https:\/\/doi.org\/10.1007\/978-3-031-19762-8_14","DOI":"10.1007\/978-3-031-19762-8_14"},{"key":"25_CR6","volume-title":"The Innovator\u2019s Dilemma","author":"CM Christensen","year":"2016","unstructured":"Christensen, C.M.: The Innovator\u2019s Dilemma. Harvard Business Review Press, Management of Innovation and Change (2016)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Cleaveland, W.R., Margaria, T., Steffen, B.: Editorial. Intl. J. Softw. Tools Technol. Trans. 1(1\u20132),\u00a0 1\u20135 (1997)","DOI":"10.1007\/s100090050001"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Gnesi, S., Margaria, T.: Formal Methods for Industrial Critical Systems: A Survey of Applications. Wiley-IEEE Computer Society (2012)","DOI":"10.1002\/9781118459898"},{"issue":"4","key":"25_CR9","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MITP.2020.3005640","volume":"22","author":"F Gossen","year":"2020","unstructured":"Gossen, F., Margaria, T., Steffen, B.: Towards explainability in machine learning: the formal methods way. IT Professional 22(4), 8\u201312 (2020)","journal-title":"IT Professional"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"495","DOI":"10.3390\/s24020495","volume":"24","author":"I Guevara","year":"2024","unstructured":"Guevara, I., Ryan, S., Singh, A., Brandon, C., Margaria, T.: Edge IoT prototyping using model-driven representations: a use case for smart agriculture. Sensors 24, 495 (2024)","journal-title":"Sensors"},{"key":"25_CR11","doi-asserted-by":"publisher","unstructured":"Kubczak, C., Margaria, T., Steffen, B., Winkler, C., Hungar, H.: An approach to discovery with miAamics and jABC. In: Petrie, C., Margaria, T., Lausen, H., Zaremba, M. (eds.) Semantic Web Services Challenge. Springer (2009).\u00a0https:\/\/doi.org\/10.1007\/978-0-387-72496-6_13","DOI":"10.1007\/978-0-387-72496-6_13"},{"issue":"Suppl. 10","key":"25_CR12","doi-asserted-by":"publisher","first-page":"S8","DOI":"10.1186\/1471-2105-10-S10-S8","volume":"10","author":"AL Lamprecht","year":"2009","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Bio-jETI: a framework for semantics-based service composition. BMC Bioinform. 10(Suppl. 10), S8 (2009)","journal-title":"BMC Bioinform."},{"key":"25_CR13","doi-asserted-by":"publisher","unstructured":"Margaria, T., Chaudhary, H.A.A., Guevara, I., Ryan, S., Schieweck, A.: The interoperability challenge: building a model-driven digital thread platform for CPS. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2021). LNCS, vol. 13036, Springer (2021).\u00a0https:\/\/doi.org\/10.1007\/978-3-030-89159-6_25","DOI":"10.1007\/978-3-030-89159-6_25"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Margaria, T., Floyd, B.D., Steffen, B.: IT SimplyWorks: simplicity and embedded systems design. In: Proc. 35th IEEE Annu. Computer Software and Applications Conf. Workshops, pp. 194\u2013199. IEEE (2011)","DOI":"10.1109\/COMPSACW.2011.42"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Margaria, T., Raffelt, H., Steffen, B., Leucker, M.: The LearnLib in FMICSjETI. In: 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), pp. 340\u2013349 (2007)","DOI":"10.1109\/ICECCS.2007.43"},{"key":"25_CR16","doi-asserted-by":"publisher","unstructured":"Margaria, T., Schieweck, A.: The digital thread in Industry 4.0. In: Ahrendt, W., Tapia Tarifa, S. (eds.) Integrated Formal Methods (iFM 2019). LNCS, vol. 11918. Springer (2019).\u00a0https:\/\/doi.org\/10.1007\/978-3-030-34968-4_1","DOI":"10.1007\/978-3-030-34968-4_1"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: LTL guided planning: revisiting automatic tool composition in ETI, In: Proc. 31st IEEE Software Engineering Workshop (SEW 2007), pp. 214\u2013226. IEEE (2007)","DOI":"10.1109\/SEW.2007.63"},{"key":"25_CR18","doi-asserted-by":"publisher","unstructured":"Margaria, T., Steffen, B.:\u00a0 eXtreme model-driven development (XMDD) technologies as a hands-on approach to software development without coding. In: Tatnall, A. (ed.) Encyclopedia of Education and Information Technologies. Springer (2020).\u00a0https:\/\/doi.org\/10.1007\/978-3-319-60013-0_208-1","DOI":"10.1007\/978-3-319-60013-0_208-1"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Steffen, B., Margaria, T., Braun, V.: The electronic tool integration platform: concepts and design. Int. J.\u00a0 Softw. Tools Technol. Trans. 1(1), 9\u201330 (1997)","DOI":"10.1007\/s100090050003"},{"key":"25_CR20","unstructured":"SHAP (SHapley Additive exPlanations).\u00a0https:\/\/shap.readthedocs.io\/en\/latest\/"},{"key":"25_CR21","unstructured":"R@ISE project, https:\/\/software-engineering.ie\/raise\/"}],"container-title":["Lecture Notes in Computer Science","Let\u2019s Talk AI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-09008-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T07:56:15Z","timestamp":1761551775000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-09008-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,28]]},"ISBN":["9783032090072","9783032090089"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-09008-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,28]]},"assertion":[{"value":"28 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}