{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T12:17:19Z","timestamp":1783426639131,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":68,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786581.3786943","type":"proceedings-article","created":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T11:31:09Z","timestamp":1783423869000},"page":"211-223","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1710-3466","authenticated-orcid":false,"given":"Bruno","family":"Guindani","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2491-5267","authenticated-orcid":false,"given":"Matteo","family":"Camilli","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8724-1541","authenticated-orcid":false,"given":"Livia","family":"Lestingi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5137-940X","authenticated-orcid":false,"given":"Marcello Maria","family":"Bersani","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy, Milano, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,7]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"crossref","unstructured":"AR Absalom V Mani Tom De\u00a0Smet and MMRF Struys. 2009. Pharmacokinetic models for propofol\u2014defining and illuminating the devil in the detail. British journal of anaesthesia 103 1 (2009) 26\u201337.","DOI":"10.1093\/bja\/aep143"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Z Al-Rifai and D Mulvey. 2016. Principles of total intravenous anaesthesia: basic pharmacokinetics and model descriptions. Bja Education 16 3 (2016) 92\u201397.","DOI":"10.1093\/bjaceaccp\/mkv021"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","unstructured":"Z Al-Rifai and D Mulvey. 2016. Principles of total intravenous anaesthesia: practical aspects of using total intravenous anaesthesia. Bja Education 16 8 (2016) 276\u2013280.","DOI":"10.1093\/bjaed\/mkv074"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","unstructured":"Rohan Anil et\u00a0al. 2023. Gemini: A Family of Highly Capable Multimodal Models. CoRR abs\/2312.11805 (2023). arXiv:https:\/\/arXiv.org\/abs\/2312.1180510.48550\/ARXIV.2312.11805","DOI":"10.48550\/ARXIV.2312.11805"},{"key":"e_1_3_3_2_6_2","first-page":"1","volume-title":"Proceedings of the 33rd international conference on software engineering","author":"Arcuri Andrea","year":"2011","unstructured":"Andrea Arcuri and Lionel Briand. 2011. A practical guide for using statistical tests to assess randomized algorithms in software engineering. In Proceedings of the 33rd international conference on software engineering. 1\u201310."},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1145\/3213846.3213872","volume-title":"Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Blasi Arianna","year":"2018","unstructured":"Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael\u00a0D. Ernst, Mauro Pezz\u00e8, and Sergio\u00a0Delgado Castellanos. 2018. Translating code comments to procedure specifications. In Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery, 242\u2013253. 10.1145\/3213846.3213872"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","unstructured":"Lola Burgue\u00f1o Davide Di\u00a0Ruscio Houari Sahraoui and Manuel Wimmer. 2025. Automation in Model-Driven Engineering: A Look Back and Ahead. ACM Trans. Softw. Eng. Methodol. 34 5 Article 122 (May 2025) 25\u00a0pages. 10.1145\/3712008","DOI":"10.1145\/3712008"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-77792-9_26"},{"key":"e_1_3_3_2_10_2","unstructured":"Sribala\u00a0Vidyadhari Chinta Zichong Wang Avash Palikhe Xingyu Zhang Ayesha Kashif Monique\u00a0Antoinette Smith Jun Liu and Wenbin Zhang. 2025. AI-driven healthcare: Fairness in AI healthcare: A survey. PLOS Digital Health 4 5 (2025)."},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"crossref","unstructured":"Ludovico\u00a0Gennaro Cobuccio Vincent Faivre Rainer Tan Alan Vonlanthen Fenella Beynon Emmanuel Barchichat Alain Fresco Quentin Girard Sinan Ucak Sylvain Schaufelberger et\u00a0al. 2025. medAL-suite: a software solution for creating and deploying complex clinical decision support algorithms. BMC Medical Informatics and Decision Making 25 (2025) 249.","DOI":"10.1186\/s12911-025-03077-6"},{"key":"e_1_3_3_2_12_2","unstructured":"Alessandro Colombo Gionatha Pirola and Angelo Gargantini. 2025. BREATHE - Biomedical Respiratory Engine for Advanced Training and Human Evaluation. https:\/\/github.com\/GionathaPirola\/BREATHE."},{"key":"e_1_3_3_2_13_2","volume-title":"StatPearls [internet]","author":"Diamond Matthew","year":"2024","unstructured":"Matthew Diamond, Hector\u00a0L Peniston, Devang\u00a0K Sanghavi, and Sidharth Mahapatra. 2024. Acute respiratory distress syndrome. In StatPearls [internet]. StatPearls Publishing."},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Douglas\u00a0J Eleveld Pieter Colin Anthony\u00a0R Absalom and Michael\u00a0MRF Struys. 2018. Pharmacokinetic\u2013pharmacodynamic model for propofol for broad application in anaesthesia and sedation. British journal of anaesthesia 120 5 (2018) 942\u2013959.","DOI":"10.1016\/j.bja.2018.01.018"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Douglas\u00a0J Eleveld Pieter Colin Anthony\u00a0R Absalom and Michel\u00a0MRF Struys. 2020. Target-controlled-infusion models for remifentanil dosing consistent with approved recommendations. British Journal of Anaesthesia 125 4 (2020) 483\u2013491.","DOI":"10.1016\/j.bja.2020.05.051"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","unstructured":"Madeline Endres Sarah Fakhoury Saikat Chakraborty and Shuvendu\u00a0K. Lahiri. 2024. Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? Proc. ACM Softw. Eng. 1 FSE (2024) 84:1889\u201384:1912. 10.1145\/3660791","DOI":"10.1145\/3660791"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"crossref","unstructured":"Eddy Fan Lorenzo Del\u00a0Sorbo Ewan\u00a0C Goligher Carol\u00a0L Hodgson Laveena Munshi Allan\u00a0J Walkey Neill\u00a0KJ Adhikari Marcelo\u00a0BP Amato Richard Branson et\u00a0al. 2017. An official American Thoracic Society\/European Society of Intensive Care Medicine\/Society of Critical Care Medicine clinical practice guideline: mechanical ventilation in adult patients with acute respiratory distress syndrome. American journal of respiratory and critical care medicine 195 9 (2017) 1253\u20131263.","DOI":"10.1164\/rccm.19511erratum"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"crossref","unstructured":"Desiree Fleck Hossam Gad Beth Hogan\u00a0Quigley Mohamed Antar Ahmed Sayed\u00a0Ahmed Mohamed\u00a0A Mahmoud and Krzysztof Laudanski. 2025. The Effect of Clinical Ambiguity on the Decision-Making Process Among Intensive Care Unit Providers in Northern America Using Clinical Vignettes in Mixed Methods Study. Journal of Multidisciplinary Healthcare (2025) 3091\u20133104.","DOI":"10.2147\/JMDH.S514274"},{"key":"e_1_3_3_2_19_2","first-page":"456","volume-title":"Proceedings of the 7th International Conference on Natural Language and Speech Processing (ICNLSP 2024)","author":"Fornasiere Raffaello","year":"2024","unstructured":"Raffaello Fornasiere, Nicol\u00f2 Brunello, Vincenzo Scotti, and Mark Carman. 2024. Medical Information Extraction with Large Language Models. In Proceedings of the 7th International Conference on Natural Language and Speech Processing (ICNLSP 2024). 456\u2013466."},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"crossref","unstructured":"Juan V\u00edctor\u00a0Ariel Franco Marcelo Arancibia Nicol\u00e1s Meza Eva Madrid and Karin Kopitowski. 2020. Clinical practice guidelines: Concepts limitations and challenges. Medwave 20 3 (2020).","DOI":"10.5867\/medwave.2020.03.7887"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21640-4_36"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"Giacomo Grasselli Carolyn\u00a0S Calfee Luigi Camporota Daniele Poole Marcelo\u00a0BP Amato Massimo Antonelli Yaseen\u00a0M Arabi Francesca Baroncelli Jeremy\u00a0R Beitler Giacomo Bellani et\u00a0al. 2023. ESICM guidelines on acute respiratory distress syndrome: definition phenotyping and respiratory support strategies. Intensive care medicine 49 7 (2023) 727\u2013759.","DOI":"10.1007\/s00134-023-07050-7"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"crossref","unstructured":"Mark\u00a0JD Griffiths Danny\u00a0Francis McAuley Gavin\u00a0D Perkins Nicholas Barrett Bronagh Blackwood Andrew Boyle Nigel Chee Bronwen Connolly Paul Dark Simon Finney et\u00a0al. 2019. Guidelines on the management of acute respiratory distress syndrome. BMJ open respiratory research 6 1 (2019).","DOI":"10.1136\/bmjresp-2019-000420"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE66568.2025.00056"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"crossref","unstructured":"Reinhold Haux. 2010. Medical informatics: past present future. International journal of medical informatics 79 9 (2010) 599\u2013610.","DOI":"10.1016\/j.ijmedinf.2010.06.003"},{"key":"e_1_3_3_2_26_2","first-page":"7034","volume-title":"Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing","author":"He Yuxin","year":"2024","unstructured":"Yuxin He, Buzhou Tang, and Xiaoling Wang. 2024. Generative Models for Automatic Medical Decision Rule Extraction from Text. In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, Yaser Al-Onaizan, Mohit Bansal, and Yun-Nung Chen (Eds.). Association for Computational Linguistics, 7034\u20137048. 10.18653\/v1\/2024.emnlp-main.399"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","unstructured":"Yan Hu Qingyu Chen Jingcheng Du Xueqing Peng Vipina\u00a0Kuttichi Keloth Xu Zuo Yujia Zhou Zehan Li Xiaoqian Jiang Zhiyong Lu Kirk Roberts and Hua Xu. 2024. Improving large language models for clinical named entity recognition via prompt engineering. Journal of the American Medical Informatics Association 31 9 (2024) 1812\u20131820. 10.1093\/jamia\/ocad259","DOI":"10.1093\/jamia\/ocad259"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","unstructured":"Jingwei Huang Donghan\u00a0M. Yang Ruichen Rong Kuroush Nezafati Colin Treager Zhikai Chi Shidan Wang Xian Cheng Yujia Guo Laura\u00a0J. Klesse Guanghua Xiao Eric\u00a0D. Peterson Xiaowei Zhan and Yang Xie. 2024. A critical assessment of using ChatGPT for extracting structured data from clinical notes. npj Digital Medicine 7 1 (2024) 106. 10.1038\/s41746-024-01079-8","DOI":"10.1038\/s41746-024-01079-8"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"crossref","first-page":"1196","DOI":"10.1145\/3711896.3736818","volume-title":"Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2","author":"Knauer Ricardo","year":"2025","unstructured":"Ricardo Knauer, Mario Koddenbrock, Raphael Wallsberger, Nicholas\u00a0M. Brisson, Georg\u00a0N. Duda, Deborah Falla, David\u00a0W. Evans, and Erik Rodner. 2025. \"Oh LLM, I\u2019m Asking Thee, Please Give Me a Decision Tree\": Zero-Shot Decision Tree Induction and Embedding with Large Language Models. In Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2. 1196\u20131206. 10.1145\/3711896.3736818"},{"key":"e_1_3_3_2_30_2","volume-title":"ICML 2024 AI for Science Workshop","author":"Ko Hanbum","year":"2024","unstructured":"Hanbum Ko, Hongjun Yang, Sehui Han, Sungwoong Kim, Sungbin Lim, and Rodrigo Hormazabal. 2024. Filling in the gaps: LLM-based structured data generation from semi-structured scientific data. In ICML 2024 AI for Science Workshop."},{"key":"e_1_3_3_2_31_2","unstructured":"Hou-Chuan Lai Yi-Hsuan Huang Jen-Yin Chen Chih-Shung Wong Kuang-I Cheng Ching-Hui Shen and Zhi-Fu Wu. 2021. Safe practice of total intravenous anesthesia with target-controlled infusion in Taiwan: A recommendation. Asian Journal of Anesthesiology (2021)."},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"crossref","unstructured":"Siri Lange Aziza Mwisongo and Ottar M\u00e6stad. 2014. Why don\u2019t clinicians adhere more consistently to guidelines for the Integrated Management of Childhood Illness (IMCI)? Social science & medicine 104 (2014) 56\u201363.","DOI":"10.1016\/j.socscimed.2013.12.020"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"crossref","unstructured":"Adnan Liaqat Matthew Mason Brian\u00a0J Foster Sagar Kulkarni Aisha Barlas Awais\u00a0M Farooq Pooja Patak Hamza Liaqat Rafaela\u00a0G Basso Mohammed\u00a0S Zaman et\u00a0al. 2022. Evidence-based mechanical ventilatory strategies in ARDS. Journal of clinical medicine 11 2 (2022) 319.","DOI":"10.3390\/jcm11020319"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","unstructured":"Sachiko Lim Aron Henriksson and Jelena Zdravkovi\u0107. 2021. Data-Driven Requirements Elicitation: A Systematic Literature Review. SN Computer Science 2 1 (2021) 16. 10.1007\/s42979-020-00416-4","DOI":"10.1007\/s42979-020-00416-4"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"crossref","unstructured":"Joydeb Majumder and Tamara Minko. 2021. Recent developments on therapeutic and diagnostic approaches for COVID-19. The AAPS journal 23 1 (2021) 14.","DOI":"10.1208\/s12248-020-00532-2"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"crossref","unstructured":"Henry\u00a0B Mann and Donald\u00a0R Whitney. 1947. On a test of whether one of two random variables is stochastically larger than the other. The annals of mathematical statistics (1947) 50\u201360.","DOI":"10.1214\/aoms\/1177730491"},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"crossref","unstructured":"Josephine Mayer Christopher Kipps and Hannah\u00a0R Cock. 2019. Implementing clinical guidelines. Practical Neurology 19 6 (2019) 529\u2013535.","DOI":"10.1136\/practneurol-2017-001814"},{"key":"e_1_3_3_2_38_2","unstructured":"Garrett Mehl \u00d6zge Tun\u00e7alp Natschja Ratanaprayul Tigest Tamrat Mar\u00eda Barreix David Lowrance Kidist Bartolomeos Lale Say Nenad Kostanjsek et\u00a0al. 2021. WHO SMART guidelines: optimising country-level use of guideline recommendations in the digital age. The Lancet Digital Health 3 4 (2021) e213\u2013e216."},{"key":"e_1_3_3_2_39_2","doi-asserted-by":"crossref","unstructured":"Alastair\u00a0F Nimmo Anthony\u00a0R Absalom O Bagshaw A Biswas TM Cook A Costello S Grimes D Mulvey S Shinde T Whitehouse et\u00a0al. 2019. Guidelines for the safe practice of total intravenous anaesthesia (TIVA) joint guidelines from the association of anaesthetists and the society for intravenous anaesthesia. Anaesthesia 74 2 (2019) 211\u2013224.","DOI":"10.1111\/anae.14428"},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","unstructured":"OpenAI. 2023. GPT-4 Technical Report. CoRR abs\/2303.08774 (2023). arXiv:https:\/\/arXiv.org\/abs\/2303.0877410.48550\/ARXIV.2303.08774","DOI":"10.48550\/ARXIV.2303.08774"},{"key":"e_1_3_3_2_41_2","unstructured":"World\u00a0Health Organization. 2019. WHO guideline: recommendations on digital interventions for health system strengthening."},{"key":"e_1_3_3_2_42_2","unstructured":"World\u00a0Health Organization. 2020. Clinical management of severe acute respiratory infection (SARI) when COVID-19 disease is suspected: interim guidance 13 March 2020. World Health Organization 13 03 (2020)."},{"key":"e_1_3_3_2_43_2","unstructured":"World\u00a0Health Organization. 2022. Clinical care of severe acute respiratory infections \u2013 Tool kit: COVID-19 adaptation update 2022."},{"key":"e_1_3_3_2_44_2","volume-title":"The ventilator book","author":"Owens William","year":"2018","unstructured":"William Owens. 2018. The ventilator book. First Draught Press."},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"publisher","unstructured":"B. P\u00e9rez and I. Porres. 2010. Authoring and verification of clinical guidelines: a model driven approach. Journal of Biomedical Informatics 43 4 (Aug. 2010) 520\u2013536. 10.1016\/j.jbi.2010.02.009Epub 2010 Mar 4.","DOI":"10.1016\/j.jbi.2010.02.009"},{"key":"e_1_3_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.findings-acl.899"},{"key":"e_1_3_3_2_47_2","doi-asserted-by":"crossref","unstructured":"Nida Qadir Sarina Sahetya Laveena Munshi Charlotte Summers Darryl Abrams Jeremy Beitler Giacomo Bellani Roy\u00a0G Brower Lisa Burry Jen-Ting Chen et\u00a0al. 2024. An update on management of adult patients with acute respiratory distress syndrome: an official American thoracic society clinical practice guideline. American journal of respiratory and critical care medicine 209 1 (2024) 24\u201336.","DOI":"10.1164\/rccm.202311-2011ST"},{"key":"e_1_3_3_2_48_2","volume-title":"Temporal logic","author":"Rescher Nicholas","year":"2012","unstructured":"Nicholas Rescher and Alasdair Urquhart. 2012. Temporal logic. Vol.\u00a03. Springer Science & Business Media."},{"key":"e_1_3_3_2_49_2","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/3587259.3627572","volume-title":"Proceedings of the 12th Knowledge Capture Conference 2023","author":"Rula Anisa","year":"2023","unstructured":"Anisa Rula and Jennifer D\u2019Souza. 2023. Procedural Text Mining with Large Language Models. In Proceedings of the 12th Knowledge Capture Conference 2023. Association for Computing Machinery, 9\u201316. 10.1145\/3587259.3627572"},{"key":"e_1_3_3_2_50_2","unstructured":"Hyun Ryu Gyeongman Kim Hyemin\u00a0S. Lee and Eunho Yang. 2025. Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning. International Conference on Representation Learning 2025 (2025) 24935\u201324964. https:\/\/proceedings.iclr.cc\/paper_files\/paper\/2025\/hash\/3e592c571de69a43d7a870ea89c7e33a-Abstract-Conference.html"},{"key":"e_1_3_3_2_51_2","volume-title":"Intl. Conf. on Learning Representations","author":"Sanh Victor","year":"2022","unstructured":"Victor Sanh et\u00a0al. 2022. Multitask Prompted Training Enables Zero-Shot Task Generalization. In Intl. Conf. on Learning Representations. OpenReview.net. https:\/\/openreview.net\/forum?id=9Vrb9D0WI4"},{"key":"e_1_3_3_2_52_2","doi-asserted-by":"publisher","unstructured":"Vincenzo Scotti Licia Sbattella and Roberto Tedesco. 2024. A Primer on Seq2Seq Models for Generative Chatbots. ACM Comput. Surv. 56 3 (2024) 75:1\u201375:58. 10.1145\/3604281","DOI":"10.1145\/3604281"},{"key":"e_1_3_3_2_53_2","doi-asserted-by":"crossref","unstructured":"Jennifer Shivers Joseph Amlung Natschja Ratanaprayul Bryn Rhodes and Paul Biondich. 2021. Enhancing narrative clinical guidance with computer-readable artifacts: authoring FHIR implementation guides based on WHO recommendations. Journal of Biomedical Informatics 122 (2021) 103891.","DOI":"10.1016\/j.jbi.2021.103891"},{"key":"e_1_3_3_2_54_2","doi-asserted-by":"crossref","unstructured":"M Struys M Sahinovic BJ Lichtenbelt H Vereecke and A Absalom. 2011. Optimizing intravenous drug administration by applying pharmacokinetic\/pharmacodynamic concepts. British journal of anaesthesia 107 1 (2011) 38\u201347.","DOI":"10.1093\/bja\/aer108"},{"key":"e_1_3_3_2_55_2","doi-asserted-by":"crossref","unstructured":"Vasanth Sukumar Arathi Radhakrishnan and Venkatesh\u00a0H Keshavan. 2018. Effect site concentration of propofol at induction and recovery of anaesthesia-A correlative dose-response study. Indian Journal of Anaesthesia 62 4 (2018) 263\u2013268.","DOI":"10.4103\/ija.IJA_670_17"},{"key":"e_1_3_3_2_56_2","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1109\/ICSA-C65153.2025.00049","volume-title":"2025 IEEE 22nd International Conference on Software Architecture Companion (ICSA-C)","author":"Tagliaferro Alberto","year":"2025","unstructured":"Alberto Tagliaferro, Simone Corboe, and Bruno Guindani. 2025. Leveraging LLMs to Automate Software Architecture Design from Informal Specifications. In 2025 IEEE 22nd International Conference on Software Architecture Companion (ICSA-C). IEEE, 291\u2013299."},{"key":"e_1_3_3_2_57_2","doi-asserted-by":"crossref","unstructured":"AJ Thomson G Morrison E Thomson C Beattie AF Nimmo and JB Glen. 2014. Induction of general anaesthesia by effect-site target-controlled infusion of propofol: influence of pharmacokinetic model and ke0 value. Anaesthesia 69 5 (2014) 429\u2013435.","DOI":"10.1111\/anae.12597"},{"key":"e_1_3_3_2_58_2","doi-asserted-by":"publisher","unstructured":"Hugo Touvron et\u00a0al. 2023. LLaMA: Open and Efficient Foundation Language Models. CoRR abs\/2302.13971 (2023). arXiv:https:\/\/arXiv.org\/abs\/2302.1397110.48550\/ARXIV.2302.13971","DOI":"10.48550\/ARXIV.2302.13971"},{"key":"e_1_3_3_2_59_2","unstructured":"Andr\u00e1s Vargha and Harold\u00a0D Delaney. 2000. A critique and improvement of the CL common language effect size statistics of McGraw and Wong. Journal of Educational and Behavioral Statistics 25 2 (2000) 101\u2013132."},{"key":"e_1_3_3_2_60_2","first-page":"669","volume-title":"30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008","author":"Vieira Marlon","year":"2008","unstructured":"Marlon Vieira, Xiping Song, Gilberto Matos, Stephan Storck, Rajanikanth Tanikella, and William\u00a0M. Hasling. 2008. Applying model-based testing to healthcare products: preliminary experiences. In 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Wilhelm Sch\u00e4fer, Matthew\u00a0B. Dwyer, and Volker Gruhn (Eds.). ACM, 669\u2013672. 10.1145\/1368088.1368183"},{"key":"e_1_3_3_2_61_2","first-page":"5836","volume-title":"Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining","author":"Wan Mengting","year":"2024","unstructured":"Mengting Wan, Tara Safavi, Sujay\u00a0Kumar Jauhar, Yujin Kim, Scott Counts, Jennifer Neville, Siddharth Suri, Chirag Shah, Ryen\u00a0W. White, Longqi Yang, Reid Andersen, Georg Buscher, Dhruv Joshi, and Nagu Rangan. 2024. TnT-LLM: Text Mining at Scale with Large Language Models. In Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, 5836\u20135847. 10.1145\/3637528.3671647"},{"key":"e_1_3_3_2_62_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2025.findings-naacl.239"},{"key":"e_1_3_3_2_63_2","volume-title":"Agents","author":"Wiesinger Julia","year":"2025","unstructured":"Julia Wiesinger, Patrick Marlow, and Vladimir Vuskovic. 2025. Agents. Technical Report. Google DeepMind and Google Research. Whitepaper."},{"key":"e_1_3_3_2_64_2","unstructured":"Hang Wu Yuanda Zhu Wenqi Shi Li Tong and May\u00a0D Wang. 2024. Fairness artificial intelligence in clinical decision support: Mitigating effect of health disparity. IEEE Journal of Biomedical and Health Informatics (2024)."},{"key":"e_1_3_3_2_65_2","first-page":"1","volume-title":"2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","author":"Xie Danning","year":"2025","unstructured":"Danning Xie, Byoungwoo Yoo, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, and Judy\u00a0S. Lee. 2025. How Effective are Large Language Models in Generating Software Specifications?. In 2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 1\u201312. 10.1109\/SANER64311.2025.00014"},{"key":"e_1_3_3_2_66_2","doi-asserted-by":"crossref","unstructured":"Jingzhi Yu Jennifer\u00a0A Pacheco Anika\u00a0S Ghosh Yuan Luo Chunhua Weng Ning Shang Barbara Benoit David\u00a0S Carrell et\u00a0al. 2022. Under-specification as the source of ambiguity and vagueness in narrative phenotype algorithm definitions. BMC medical informatics and decision making 22 1 (2022) 23.","DOI":"10.1186\/s12911-022-01759-z"},{"key":"e_1_3_3_2_67_2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/3368089.3409716","volume-title":"Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","author":"Zhai Juan","year":"2020","unstructured":"Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, Shiqing Ma, Lin Tan, and Xiangyu Zhang. 2020. C2S: translating natural language comments to formal program specifications. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for Computing Machinery, 25\u201337. 10.1145\/3368089.3409716"},{"key":"e_1_3_3_2_68_2","doi-asserted-by":"publisher","unstructured":"Wei Zhu Wenfeng Li Xing Tian Pengfei Wang Xiaoling Wang Jin Chen Yuanbin Wu Yuan Ni and Guotong Xie. 2024. Text2MDT: Extracting Medical Decision Trees from Medical Texts. 10.48550\/arXiv.2401.02034","DOI":"10.48550\/arXiv.2401.02034"},{"key":"e_1_3_3_2_69_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-99-4826-0_9"}],"event":{"name":"ICSE-SEIS '26: 2026 IEEE\/ACM 48th International Conference on Software Engineering","location":"Rio de Janeiro Brazil","acronym":"ICSE-SEIS '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the IEEE\/ACM 48th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786581.3786943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T11:38:16Z","timestamp":1783424296000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786581.3786943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":68,"alternative-id":["10.1145\/3786581.3786943","10.1145\/3786581"],"URL":"https:\/\/doi.org\/10.1145\/3786581.3786943","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}