{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:01:25Z","timestamp":1754161285838,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728593","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:09:27Z","timestamp":1753729767000},"page":"1119-1123","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["GIVUP: Automated Generation and Verification of Textual Process Descriptions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-5736-3347","authenticated-orcid":false,"given":"Quentin","family":"Nivon","sequence":"first","affiliation":[{"name":"Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, 38000 Grenoble, France, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3654-8791","authenticated-orcid":false,"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, 38000 Grenoble, France, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5221-3353","authenticated-orcid":false,"given":"Fr\u00e9d\u00e9ric","family":"Lang","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, 38000 Grenoble, France, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"volume-title":"Principles of Model Checking","author":"Baier C.","unstructured":"C. Baier and J.-P. Katoen. 2008. Principles of Model Checking. MIT Press.","key":"e_1_3_2_1_1_1"},{"volume-title":"Proc. of FSEN'17 (LNCS). Springer, 20\u201334","author":"Barbon G.","unstructured":"G. Barbon, V. Leroy, and G. Sala\u00fcn. 2017. Debugging of Concurrent Systems Using Counterexample Analysis. In Proc. of FSEN'17 (LNCS). Springer, 20\u201334.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.is.2019.02.001","article-title":"2019. From BPMN process models to DMN decision models","volume":"83","author":"Bazhenova E.","year":"2019","unstructured":"E. Bazhenova, F. Zerbato, B. Oliboni, and M. Weske. 2019. From BPMN process models to DMN decision models. Information Systems 83 (2019), 69\u201388.","journal-title":"Information Systems"},{"volume-title":"Proc. of ASE'17","author":"Corradini F.","unstructured":"F. Corradini, F. Fornari, A. Polini, B. Re, F. Tiezzi, and A. Vandin. 2017. BProVe: tool support for business process verification. In Proc. of ASE'17. 937\u2013942.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","volume-title":"Comp. of CAV'23 (LNCS","volume":"396","author":"Cosler Matthias","year":"2023","unstructured":"Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, and Caroline Trippel. 2023. nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. In Comp. of CAV'23 (LNCS, Vol. 13965). Springer, 383\u2013396."},{"volume-title":"Proc. of FOCLASA'18","author":"Dur\u00e1n F.","unstructured":"F. Dur\u00e1n, C. Rocha, and G. Sala\u00fcn. 2018. Computing the Parallelism Degree of Timed BPMN Processes. In Proc. of FOCLASA'18. 1\u201316.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of CoopIS'24 (LNCS","volume":"256","author":"Eldin A. Nour","unstructured":"A. Nour Eldin, N. Assy, O. Anesini, B. Dalmas, and W. Gaaloul. 2024. A Decomposed Hybrid Approach to Business Process Modeling with LLMs. In Proc. of CoopIS'24 (LNCS, Vol. 15506). Springer, 239\u2013256."},{"key":"e_1_3_2_1_8_1","volume-title":"Duret-Lutz et al","author":"A.","year":"2022","unstructured":"A. Duret-Lutz et al. 2022. From Spot 2.0 to Spot 2.10: What's New?. In Computer Aided Verification. Springer International Publishing, 174\u2013187."},{"unstructured":"D. Champelovier et al. 2018. Reference Manual of the LNT to LOTOS Translator (Version 6.7). (2018). INRIA\/VASY and INRIA\/CONVECS 153 pages.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","volume-title":"Gemini: A Family of Highly Capable Multimodal Models. arXiv:2312.11805 [cs.CL] https:\/\/arxiv.org\/abs\/2312.11805","author":"Gemini Team","year":"2024","unstructured":"Gemini Team et al. 2024. Gemini: A Family of Highly Capable Multimodal Models. arXiv:2312.11805 [cs.CL] https:\/\/arxiv.org\/abs\/2312.11805"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. BPM'23","author":"N. Klievtsova","year":"2023","unstructured":"N. Klievtsova et al. 2023. Conversational Process Modelling: State of the Art, Applications, and Implications in Practice. In Proc. BPM'23. Springer, 319\u2013336."},{"unstructured":"OpenAI et al. 2024. GPT-4 Technical Report. arXiv:2303.08774 [cs.CL] https:\/\/arxiv.org\/abs\/2303.08774","key":"e_1_3_2_1_12_1"},{"volume-title":"Proc. of SCC'21","author":"Falcone Y.","unstructured":"Y. Falcone, G. Sala\u00fcn, and A. Zuo. 2021. Semi-automated Modelling of Optimized BPMN Processes. In Proc. of SCC'21. IEEE, 425\u2013430.","key":"e_1_3_2_1_13_1"},{"volume-title":"Proc. of IFM'22","author":"Falcone Y.","unstructured":"Y. Falcone, G. Sala\u00fcn, and A. Zuo. 2022. Probabilistic Model Checking of BPMN Processes at Runtime. In Proc. of IFM'22. Springer, 1\u201317.","key":"e_1_3_2_1_14_1"},{"volume-title":"Proc. of AAAI'23","author":"Fuggitti F.","unstructured":"F. Fuggitti and T. Chakraborti. 2023. NL2LTL - a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas. In Proc. of AAAI'23. AAAI Press, 16428\u201316430.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","volume-title":"CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. STTT","author":"Garavel H.","year":"2013","unstructured":"H. Garavel, F. Lang, R. Mateescu, and W. Serwe. 2013. CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. STTT (2013), 89\u2013107."},{"unstructured":"ISO\/IEC. 2013. International Standard 19510 Information technology - Business Process Model and Notation.","key":"e_1_3_2_1_17_1"},{"volume-title":"Proc. of MoDELS'20","author":"Ivanchikj A.","unstructured":"A. Ivanchikj, S. Serbout, and C. Pautasso. 2020. From text to visual BPMN process models: design and evaluation. In Proc. of MoDELS'20. ACM, 229\u2013239.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. of IJCAI'24 (IJCAI-2024)","author":"Kourani H.","year":"2024","unstructured":"H. Kourani, A. Berti, D. Schuster, and W.M.P. van der Aalst. 2024. ProMoAI: Process Modeling with Generative AI. In Proc. of IJCAI'24 (IJCAI-2024). International Joint Conferences on Artificial Intelligence Organization. 10.24963\/ijcai.2024\/1014"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. of BPMDS'24 (LNBIP","volume":"244","author":"Kourani H.","unstructured":"H. Kourani, A. Berti, D. Schuster, and W. M. P. van der Aalst. 2024. Process Modeling with Large Language Models. In Proc. of BPMDS'24 (LNBIP, Vol. 511). Springer, 229\u2013244."},{"key":"e_1_3_2_1_21_1","volume-title":"VBPMN: Automated Verification of BPMN Processes. In Proc. of IFM'17 (LNCS)","author":"Krishna A.","year":"2017","unstructured":"A. Krishna, P. Poizat, and G. Sala\u00fcn. 2017. VBPMN: Automated Verification of BPMN Processes. In Proc. of IFM'17 (LNCS). Springer, 323\u2013331."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.scico.2018.09.007","article-title":"2019. Checking business process evolution","volume":"170","author":"Krishna A.","year":"2019","unstructured":"A. Krishna, P. Poizat, and G. Sala\u00fcn. 2019. Checking business process evolution. Science of Computer Programming 170 (2019), 1\u201326.","journal-title":"Science of Computer Programming"},{"volume-title":"Proc. of KMO'24 (LNBIP). Springer.","author":"M\u00f6\u00dflang M.","unstructured":"M. M\u00f6\u00dflang, R. Bernsteiner, C. Ploder, and S. Schl\u00f6gl. 2024. Automatic Generation of a Business Process Model Diagram Based on Natural Language Processing. In Proc. of KMO'24 (LNBIP). Springer.","key":"e_1_3_2_1_23_1"},{"volume-title":"Proc. of FACS'22","author":"Nivon Q.","unstructured":"Q. Nivon and G. Sala\u00fcn. 2022. Debugging of BPMN Processes Using Coloring Techniques. In Proc. of FACS'22. Springer, 90\u2013109.","key":"e_1_3_2_1_24_1"},{"volume-title":"Proc. of ICSOC'24","author":"Nivon Q.","unstructured":"Q. Nivon and G. Sala\u00fcn. 2024. Automated Generation of BPMN Processes from Textual Requirements. In Proc. of ICSOC'24. Tunis, Tunisia, 1\u201316.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. of FOCS'77","author":"Pnueli A.","year":"1977","unstructured":"A. Pnueli. 1977. The Temporal Logic of Programs. In Proc. of FOCS'77. 46\u201367."},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. of APSEC'22","author":"Sala\u00fcn G.","year":"2022","unstructured":"G. Sala\u00fcn. 2022. Quantifying the Similarity of BPMN Processes. In Proc. of APSEC'22. 1\u201310."},{"key":"e_1_3_2_1_28_1","first-page":"184","article-title":"2022. Modelling and executing IoT-enhanced business processes through BPMN and microservices","author":"Valderas P.","year":"2022","unstructured":"P. Valderas, V. Torres, and E. Serral. 2022. Modelling and executing IoT-enhanced business processes through BPMN and microservices. J. Syst. Softw. 184 (2022).","journal-title":"J. Syst. Softw."}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"FSE Companion '25","name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","location":"Clarion Hotel Trondheim Trondheim Norway"},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:20:22Z","timestamp":1753730422000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728593"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":28,"alternative-id":["10.1145\/3696630.3728593","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728593","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}