{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T16:13:16Z","timestamp":1783699996736,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3793656.3793697","type":"proceedings-article","created":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T15:00:53Z","timestamp":1783695653000},"page":"57-61","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3943-9753","authenticated-orcid":false,"given":"Anastasia","family":"Mavridou","sequence":"first","affiliation":[{"name":"KBR Inc, NASA Ames Research Center, Moffett Field, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1242-7701","authenticated-orcid":false,"given":"Divya","family":"Gopinath","sequence":"additional","affiliation":[{"name":"KBR Inc., NASA Ames Research Center, Moffett Field, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5579-6961","authenticated-orcid":false,"given":"Corina S.","family":"Pasareanu","sequence":"additional","affiliation":[{"name":"CMU, NASA Ames Research Center, Moffett Field, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,10]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"[n. d.]. NASA Experimental rover. https:\/\/ntrs.nasa.gov\/api\/citations\/20250004071\/downloads\/RRAV_2025AmesParternshipDays.mp4. Accessed: 2026-01-20."},{"key":"e_1_3_3_2_3_2","volume-title":"Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions","author":"Albee Arden","year":"2000","unstructured":"Arden Albee, Steven Battel, Richard Brace, Garry Burdick, John Casani, Jeffrey Lavell, Charles Leising, Duncan MacPherson, Peter Burr, and Duane Dipprey. 2000. Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions. NASA Special Review Board Report. NASA."},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","unstructured":"Marco Autili Lars Grunske Markus Lumpe Patrizio Pelliccione and Antony Tang. 2015. Aligning Qualitative Real-Time and Probabilistic Property Specification Patterns Using a Structured English Grammar. IEEE Transactions on Software Engineering 41 7 (2015) 620\u2013638. 10.1109\/TSE.2015.2398877","DOI":"10.1109\/TSE.2015.2398877"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37703-7_18"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.5555\/2540128.2540252"},{"key":"e_1_3_3_2_7_2","volume-title":"International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ-2020)","author":"Giannakopoulou Dimitra","year":"2020","unstructured":"Dimitra Giannakopoulou, Anastasia Mavridou, Julian Rhein, Thomas Pressburger, Johann Schumann, and Nija Shi. 2020. Formal requirements elicitation with FRET. In International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ-2020)."},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","unstructured":"Dimitra Giannakopoulou Thomas Pressburger Anastasia Mavridou and Johann Schumann. 2021. Automated formalization of structured natural language requirements. Information and Software Technology 137 (2021) 106590. 10.1016\/j.infsof.2021.106590","DOI":"10.1016\/j.infsof.2021.106590"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368094"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/CAIN66642.2025.00027"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-93706-4_10"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/11663430_6"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-65112-0_3"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00016"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_27"},{"key":"e_1_3_3_2_16_2","volume-title":"International Conference on Software Engineering","author":"Mendoza Daniel","year":"2026","unstructured":"Daniel Mendoza, Anastasia Mavridou, Andreas Katis, and Caroline Trippel. 2026. Automating Requirements Formalization: Using LLMs and Low-Complexity Distinguishing Traces for Semantic Validation. In International Conference on Software Engineering. To appear."},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.5555\/3618408.3619451"},{"key":"e_1_3_3_2_18_2","unstructured":"Nusrat\u00a0Jahan Mozumder Felipe Toledo Swaroopa Dola and Matthew\u00a0B. Dwyer. 2025. RBT4DNN: Requirements-based Testing of Neural Networks. CoRR abs\/2504.02737 (2025)."},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572279"},{"key":"e_1_3_3_2_20_2","series-title":"Proceedings of Machine Learning Research","first-page":"8748","volume-title":"Proceedings of the 38th International Conference on Machine Learning","volume":"139","author":"Radford Alec","year":"2021","unstructured":"Alec Radford, Jong\u00a0Wook Kim, Chris Hallacy, Aditya Ramesh, Gabriel Goh, Sandhini Agarwal, Girish Sastry, Amanda Askell, Pamela Mishkin, Jack Clark, Gretchen Krueger, and Ilya Sutskever. 2021. Learning Transferable Visual Models From Natural Language Supervision. In Proceedings of the 38th International Conference on Machine Learning(Proceedings of Machine Learning Research, Vol.\u00a0139), Marina Meila and Tong Zhang (Eds.). PMLR, 8748\u20138763. https:\/\/proceedings.mlr.press\/v139\/radford21a.html"},{"key":"e_1_3_3_2_21_2","first-page":"8748","volume-title":"Proceedings of the 38th International Conference on Machine Learning","author":"Radford Alec","year":"2021","unstructured":"Alec Radford, Jong\u00a0Wook Kim, Chris Hallacy, Aditya Ramesh, Gabriel Goh, Sandhini Agarwal, Girish Sastry, Amanda Askell, Pamela Mishkin, Jack Clark, Gretchen Krueger, and Ilya Sutskever. 2021. Learning Transferable Visual Models From Natural Language Supervision. In Proceedings of the 38th International Conference on Machine Learning. PMLR, 8748\u20138763. https:\/\/arxiv.org\/abs\/2103.00020"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48869-1_2"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/ERAS63351.2025.11135768"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"crossref","unstructured":"Jingyi Zhang Jiaxing Huang Sheng Jin and Shijian Lu. 2024. Vision-Language Models for Vision Tasks: A Survey. IEEE Trans. Pattern Anal. Mach. Intell. 46 8 (2024) 5625\u20135644.","DOI":"10.1109\/TPAMI.2024.3369699"}],"event":{"name":"FormaliSE '26: IEEE\/ACM 14th International Conference on Formal Methods in Software Engineering","location":"Rio de Janeiro Brazil","acronym":"FormaliSE '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the IEEE\/ACM 14th International Conference on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3793656.3793697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T15:21:39Z","timestamp":1783696899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3793656.3793697"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":23,"alternative-id":["10.1145\/3793656.3793697","10.1145\/3793656"],"URL":"https:\/\/doi.org\/10.1145\/3793656.3793697","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}