{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:11:09Z","timestamp":1767183069902,"version":"build-2065373602"},"reference-count":18,"publisher":"Polish Information Processing Society","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.15439\/2025f4971","type":"proceedings-article","created":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T08:05:47Z","timestamp":1761120347000},"page":"23-30","source":"Crossref","is-referenced-by-count":1,"title":["Practical security of evidence for regulated artificial  intelligence modules"],"prefix":"10.15439","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-7110-5665","authenticated-orcid":true,"given":"Marko","family":"Esche","sequence":"first","affiliation":[{"name":"Physikalisch-Technische Bundesanstalt"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7560-5456","authenticated-orcid":true,"given":"Levin","family":"Ho","sequence":"additional","affiliation":[{"name":"Physikalisch-Technische Bundesanstalt"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-5488-5820","authenticated-orcid":true,"given":"Martin","family":"Nischwitz","sequence":"additional","affiliation":[{"name":"Physikalisch-Technische Bundesanstalt"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-6946-3257","authenticated-orcid":true,"given":"Sabine","family":"Glesner","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Berlin"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"6175","published-online":{"date-parts":[[2025,10,15]]},"reference":[{"key":"ref1","doi-asserted-by":"crossref","unstructured":"K. McElheran, J. F. Li, E. Brynjolfsson, Z. Kroff, E. Dinlersoz, L. Foster,\nand N. Zolas, \u201cAi adoption in america: Who, what, and where,\u201d Journal\nof Economics & Management Strategy, vol. 33, no. 2, pp. 375\u2013415,\n2024.","DOI":"10.1111\/jems.12576"},{"key":"ref2","doi-asserted-by":"publisher","unstructured":"Y. Wei, N. Song, L. Ke, M.-C. Chang, and S. Lyu, \u201cStreet object detection \/ tracking for ai city traffic analysis,\u201d in 2017 IEEE SmartWorld,\n2017. https:\/\/dx.doi.org\/10.1109\/UIC-ATC.2017.8397669 pp. 1\u20135.","DOI":"10.1109\/UIC-ATC.2017.8397669"},{"key":"ref3","doi-asserted-by":"publisher","unstructured":"G. Rani, J. Singh, and A. Khanna, \u201cComparative analysis of generative ai\nmodels,\u201d in 2023 International Conference on Advances in Computation,\nCommunication and Information Technology (ICAICCIT), 2023. https:\/\/dx.doi.org\/10.1109\/ICAICCIT60255.2023.10465941 pp. 760\u2013765.","DOI":"10.1109\/ICAICCIT60255.2023.10465941"},{"key":"ref4","unstructured":"EC, \u201cRegulation (eu) 2024\/1689 of the European Parliament and of the\nCouncil of 13 June 2024 laying down harmonised rules on artificial intelligence,\u201d European Union, Council of the European Union; European\nParliament, Directive, February 2024."},{"key":"ref5","unstructured":"\u201cWELMEC 7.2 Software Guide,\u201d European cooperation in legal metrology, WELMEC Secretariat, Braunschweig, Standard, Mar. 2022."},{"key":"ref6","doi-asserted-by":"publisher","unstructured":"D. Angluin, \u201cLearning regular sets from queries and counterexamples,\u201d\nInformation and Computation, vol. 75, no. 2, pp. 87\u2013106, 1987. https:\/\/dx.doi.org\/10.1016\/0890-5401(87)90052-6","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref7","unstructured":"M. Sipser, Introduction to the theory of computation, 2nd ed. Boston,\nMassachusetts: Thomson, 2006. ISBN 0-534-95097-3"},{"key":"ref8","doi-asserted-by":"publisher","unstructured":"S. Windm\u00fcller, J. Neubauer, B. Steffen, F. Howar, and O. Bauer,\n\u201cActive continuous quality control,\u201d in Proceedings of the International\nSymposium on Component-Based Software Engineering. ACM, Jun.\n2013. https:\/\/dx.doi.org\/10.1145\/2465449.2465469 pp. 111\u2013120.","DOI":"10.1145\/2465449.2465469"},{"key":"ref9","doi-asserted-by":"publisher","unstructured":"J. Neubauer, S. Windm\u00fcller, and B. Steffen, \u201cRisk-based testing via\nactive continuous quality control,\u201d International Journal on Software\nTools for Technology Transfer, vol. 16, pp. 569\u2013591, 2014. https:\/\/dx.doi.org\/10.1007\/s10009-014-0321-6","DOI":"10.1007\/s10009-014-0321-6"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"C. Oliva and L. F. Lago-Fern\u00e1ndez, \u201cOn the interpretation of recurrent\nneural networks as finite state machines,\u201d in Proceedings of ICANN\n2019: Theoretical Neural Computation: 28th International Conference\non Artificial Neural Networks,, vol. I 28. Munich, Germany: Springer\nInternational Publishing, September 2019, pp. 312\u2013323.","DOI":"10.1007\/978-3-030-30487-4_25"},{"key":"ref11","doi-asserted-by":"publisher","unstructured":"B. Aichernig, E. Muskardin, and A. Pferscher, \u201cActive vs. Passive: A\nComparison of Automata Learning Paradigms for Network Protocols,\u201d in\nFormal Methods for Autonomous Systems and Automated and verifiable\nSoftware system development, ser. Electronic Proceedings in Theoretical\nComputer Science, EPTCS, vol. 371. National ICT Australia Ltd,\nSeptember 2022. https:\/\/dx.doi.org\/10.4204\/EPTCS.371.1 pp. 1\u201319.","DOI":"10.4204\/EPTCS.371.1"},{"key":"ref12","unstructured":"L. C. X. Ho, M. Esche, M. Nischwitz, and S. Glesner, \u201cBlack-box conformity tests on regulated measuring instruments: A machine learning\napproach,\u201d in Proceedings of the IEEE International Instrumentation\nand Measurement Technology Conference. Chemnitz, Germany: IEEE,\n05 2025, to be published."},{"key":"ref13","unstructured":"\u201cOIML D 31: General requirements for software controlled measuring instruments,\u201d International Organisation of Legel Metrology, Paris,\nFrance, Tech. Rep., 2023."},{"key":"ref14","doi-asserted-by":"publisher","unstructured":"M. Gorrod, The software development lifecycle. London: Palgrave\nMacmillan UK, 2004, pp. 93\u2013120. ISBN 978-0-230-51029-6. [Online].\nAvailable: https:\/\/doi.org\/10.1057\/9780230510296_4","DOI":"10.1057\/9780230510296_4"},{"key":"ref15","doi-asserted-by":"publisher","unstructured":"S. Mohseni, N. Zarei, and E. D. Ragan, \u201cA multidisciplinary survey\nand framework for design and evaluation of explainable ai systems,\u201d\nACM Trans. Interact. Intell. Syst., vol. 11, no. 3\u20134, Sep. 2021. https:\/\/dx.doi.org\/10.1145\/3387166.","DOI":"10.1145\/3387166"},{"key":"ref16","unstructured":"A. Krizhevsky, \u201cLearning multiple layers of features from tiny images,\u201d\nUniversity of Toronto, 05 2012."},{"key":"ref17","doi-asserted-by":"publisher","unstructured":"D. Upadhyay, N. Gaikwad, M. Zaman, and S. Sampalli, \u201cInvestigating\nthe avalanche effect of various cryptographically secure hash functions\nand hash-based applications,\u201d IEEE Access, vol. 10, pp. 112 472\u2013112 486, 2022. https:\/\/dx.doi.org\/10.1109\/ACCESS.2022.3215778","DOI":"10.1109\/ACCESS.2022.3215778"},{"key":"ref18","unstructured":"EC, \u201cDirective 2014\/32\/EU of the European Parliament and of the\nCouncil of 26 February 2014 on the harmonisation of the laws of\nthe Member States relating to the making available on the market\nof measuring instruments,\u201d European Union, Council of the European\nUnion; European Parliament, Directive, February 2014."}],"event":{"name":"20th Conference on Computer Science and Intelligence Systems","theme":"Computer Science and Intelligence Systems","location":"Krak\u00f3w, Poland","acronym":"FedCSIS","number":"20","start":{"date-parts":[[2025,11,14]]},"end":{"date-parts":[[2025,11,17]]}},"container-title":["Annals of Computer Science and Information Systems","Position Papers of the 20th Conference on Computer Science and Intelligence Systems"],"original-title":[],"deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T08:06:17Z","timestamp":1761120377000},"score":1,"resource":{"primary":{"URL":"https:\/\/annals-csis.org\/Volume_44\/drp\/4971.html"}},"subtitle":[],"proceedings-subject":"Computer Science and Information Systems","short-title":[],"issued":{"date-parts":[[2025,10,15]]},"references-count":18,"URL":"https:\/\/doi.org\/10.15439\/2025f4971","relation":{},"ISSN":["2300-5963"],"issn-type":[{"value":"2300-5963","type":"print"}],"subject":[],"published":{"date-parts":[[2025,10,15]]}}}