{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T13:23:47Z","timestamp":1773840227272,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"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.3728599","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:09:27Z","timestamp":1753729767000},"page":"1148-1152","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-0655-8335","authenticated-orcid":false,"given":"Aurora Francesca","family":"Zanenga","sequence":"first","affiliation":[{"name":"University of Bergamo, Bergamo, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7152-1389","authenticated-orcid":false,"given":"Nunzio Marco","family":"Bisceglia","sequence":"additional","affiliation":[{"name":"University of Bergamo, Bergamo, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-1161-5575","authenticated-orcid":false,"given":"Benedetta","family":"Ippoliti","sequence":"additional","affiliation":[{"name":"University of Bergamo, Bergamo, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4244-9319","authenticated-orcid":false,"given":"Andrea","family":"Bombarda","sequence":"additional","affiliation":[{"name":"University of Bergamo, Bergamo, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4035-0131","authenticated-orcid":false,"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[{"name":"University of Bergamo, Bergamo, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4549-8837","authenticated-orcid":false,"given":"Akshay","family":"Rajhans","sequence":"additional","affiliation":[{"name":"MathWorks, Natick, Massachusetts, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5303-8481","authenticated-orcid":false,"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"University of Bergamo, Bergamo, Italy"},{"name":"McMaster University, Hamilton, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"University of Bergamo","author":"FOSELAB","year":"2023","unstructured":"FOSELAB, University of Bergamo 2023. Theano. FOSELAB, University of Bergamo. https:\/\/github.com\/foselab\/Theano\/"},{"key":"e_1_3_2_1_2_1","volume-title":"University of Bergamo","author":"FOSELAB","year":"2025","unstructured":"FOSELAB, University of Bergamo 2025. Theano Demo Walkthrough. FOSELAB, University of Bergamo. https:\/\/www.youtube.com\/watch?v=p71bKupmRUQ"},{"key":"e_1_3_2_1_3_1","volume-title":"University of Bergamo","author":"FOSELAB","year":"2025","unstructured":"FOSELAB, University of Bergamo 2025. Theano Installation Guide. FOSELAB, University of Bergamo. https:\/\/www.youtube.com\/watch?v=mkdkDA_5MFI"},{"key":"e_1_3_2_1_4_1","unstructured":"antlr. 2023. antlr. antlr. https:\/\/www.antlr.org\/"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.935856"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287023"},{"key":"e_1_3_2_1_7_1","volume-title":"A Tabular Expression Toolbox for Matlab\/Simulink","author":"Eles Colin","unstructured":"Colin Eles and Mark Lawford. 2011. A Tabular Expression Toolbox for Matlab\/Simulink. In NASA Formal Methods, Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, and Rajeev Joshi (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 494\u2013499."},{"key":"e_1_3_2_1_8_1","unstructured":"Stuart Roland Faulk and David Lorge Parnas. 1989. State determination in hard-embedded systems. Ph.D. Dissertation. The University of North Carolina at Chapel Hill. AAI9007280."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/234426.234431","article-title":"Automated consistency checking of requirements specifications","volume":"5","author":"Heitmeyer Constance L","year":"1996","unstructured":"Constance L Heitmeyer, Ralph D Jeffords, and Bruce G Labaw. 1996. Automated consistency checking of requirements specifications. Transactions on Software Engineering and Methodology 5, 3 (1996), 231\u2013261. ACM.","journal-title":"Transactions on Software Engineering and Methodology"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230208"},{"key":"e_1_3_2_1_11_1","unstructured":"MathWorks. 2023. Identify Inconsistent and Incomplete Formal Requirement Sets. MathWorks. https:\/\/www.mathworks.com\/help\/slrequirements\/ug\/check-requirements-table-block.html"},{"key":"e_1_3_2_1_12_1","unstructured":"Mathworks. 2023. Identify Inconsistent and Incomplete Formal Requirement Sets. Mathworks. https:\/\/www.mathworks.com\/help\/slrequirements\/ug\/check-requirements-table-block.html"},{"key":"e_1_3_2_1_13_1","unstructured":"Mathworks. 2023. Requirements Toolbox. Mathworks. https:\/\/www.mathworks.com\/products\/requirements-toolbox.html"},{"key":"e_1_3_2_1_14_1","unstructured":"MathWorks. 2023. Use a Requirements Table Block to Create Formal Requirements. MathWorks. https:\/\/www.mathworks.com\/help\/slrequirements\/ug\/use-requirements-table-block.html"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2025.3530820"},{"key":"e_1_3_2_1_16_1","unstructured":"S Meyers and Stephanie White. 1983. Software requirements methodology and tool study for A6-E technology transfer."},{"key":"e_1_3_2_1_17_1","volume-title":"Formal Techniques for Safety-Critical Systems, Cyrille Artho and Peter Csaba \u00d6lveczky (Eds.)","author":"Pang Linna","unstructured":"Linna Pang, Chen-Wei Wang, Mark Lawford, and Alan Wassyng. 2014. Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. In Formal Techniques for Safety-Critical Systems, Cyrille Artho and Peter Csaba \u00d6lveczky (Eds.). Springer International Publishing, Cham, 125\u2013141."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 2007 Conference of the Center for Advanced Studies on Collaborative Research (Richmond Hill","author":"Peters Dennis K.","year":"2007","unstructured":"Dennis K. Peters, Mark Lawford, and Baltasar Tranc\u00f3n y Widemann. 2007. An IDE for software development using tabular expressions. In Proceedings of the 2007 Conference of the Center for Advanced Studies on Collaborative Research (Richmond Hill, Ontario, Canada) (CASCON '07). IBM Corp., USA, 248\u2013251. 10.1145\/1321211.1321238"},{"key":"e_1_3_2_1_19_1","unstructured":"Microsoft Research. 2020. Z3. Microsoft Research. https:\/\/ericpony.github.io\/z3py-tutorial\/guide-examples.htm"},{"key":"e_1_3_2_1_20_1","unstructured":"Microsoft Research. 2020. Z3. Microsoft Research. https:\/\/github.com\/Z3Prover\/z3"},{"key":"e_1_3_2_1_21_1","volume-title":"Use of Tabular Expressions for Refinement Automation","author":"Singh Neeraj Kumar","unstructured":"Neeraj Kumar Singh, Mark Lawford, Thomas S. E. Maibaum, and Alan Wassyng. 2017. Use of Tabular Expressions for Refinement Automation. Springer International Publishing, Cham, 167\u2013182."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the Ninth ACM International Conference on Embedded Software","author":"Wassyng Alan","year":"2038","unstructured":"Alan Wassyng, Mark S. Lawford, and Thomas S.E. Maibaum. 2011. Software certification experience in the canadian nuclear industry: lessons for the future. In Proceedings of the Ninth ACM International Conference on Embedded Software (Taipei, Taiwan) (EMSOFT '11). Association for Computing Machinery, New York, NY, USA, 219\u2013226. 10.1145\/2038642.2038676"}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"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.3728599","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:20:15Z","timestamp":1753730415000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728599"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":22,"alternative-id":["10.1145\/3696630.3728599","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728599","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"}}]}}