{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T19:13:34Z","timestamp":1780514014254,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3180155.3180261","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T12:16:01Z","timestamp":1528805761000},"page":"1125-1135","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Goal-conflict likelihood assessment based on model counting"],"prefix":"10.1145","author":[{"given":"Renzo","family":"Degiovanni","sequence":"first","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pablo","family":"Castro","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto and CONICET, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcelo","family":"Arroyo","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcelo","family":"Ruiz","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto and CONICET, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcelo","family":"Frias","sequence":"additional","affiliation":[{"name":"Instituto Tecnol\u00f3gico de Buenos Aires and CONICET, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Jflap. urmttp:\/\/www.jflap.org."},{"key":"e_1_3_2_1_2_1","unstructured":"Lamaconv---logics and automata converter library urlhttp:\/\/www.isp.uniluebeck.de\/lamaconv."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337306"},{"key":"e_1_3_2_1_5_1","first-page":"255","volume-title":"CAV 2015, San Francisco, CA, USA, July 18--24, 2015, Proceedings, Part I","author":"Aydin Abdulbaki","year":"2015","unstructured":"Abdulbaki Aydin, Lucas Bang, and Tevfik Bultan. Automata-based model counting for string constraints. In Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18--24, 2015, Proceedings, Part I, pages 255--272, 2015."},{"key":"e_1_3_2_1_6_1","volume-title":"Principles of Model Checking","author":"Baier Christel","year":"2008","unstructured":"Christel Baier and Joost-Pieter Katoen. Principles of Model Checking. The MIT Press, May 2008."},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","first-page":"184","volume-title":"Runtime Verification","author":"Barre Benjamin","year":"2012","unstructured":"Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, and Sylvain Hall\u00e9. Mapreduce for parallel trace validation of LTL properties. In Shaz Qadeer and Serdar Tasiran, editors, Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25--28, 2012, Revised Selected. Papers, volume 7687 of Lecture Notes in Computer Science, pages 184--198. Springer, 2012."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23404-5_14"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646483.691738"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008700623084"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345805"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2014.6912246"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2015.7320413"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970349"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10702-8_11"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31095-9_25"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/839268.839270"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23404-5_15"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-04921-2_29"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/857204.858287"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2004.11.017"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2137662.2137683"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581355"},{"issue":"52","key":"e_1_3_2_1_25_1","first-page":"57","article-title":"A conceptual basis for inconsistency management in model-based systems engineering","volume":"21","author":"Herzig Sebastian J.I.","year":"2014","unstructured":"Sebastian J.I. Herzig and Christiaan J.J. Paredis. A conceptual basis for inconsistency management in model-based systems engineering. Procedia CIRP, 21:52 -- 57, 2014.","journal-title":"Procedia CIRP"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1405716"},{"key":"e_1_3_2_1_27_1","unstructured":"IEEE. Ieee recommended practice for software requirements specifications 1998."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1867406.1867438"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.38"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-d.1983.0001"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"e_1_3_2_1_32_1","first-page":"186","volume-title":"5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15--17, 2004","author":"Latvala Timo","year":"2004","unstructured":"Timo Latvala, Armin Biere, Keijo Heljanko, and Tommi A. Junttila. Simple bounded LTL model checking. In Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15--17, 2004, Proceedings, pages 186--200, 2004."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1076396"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/128869"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.142871"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9202-6"},{"key":"e_1_3_2_1_37_1","volume-title":"SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10--13 May 2004, Vancouver, BC, Canada, Online Proceedings","author":"Sang Tian","year":"2004","unstructured":"Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, and Toniann Pitassi. Combining component caching and clause learning for effective model counting. In SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10--13 May 2004, Vancouver, BC, Canada, Online Proceedings, 2004."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_38"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178048"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1205548"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/302163.302169"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970345"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/827255.827807"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 40th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180261","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3180155.3180261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:30Z","timestamp":1750210770000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180261"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":45,"alternative-id":["10.1145\/3180155.3180261","10.1145\/3180155"],"URL":"https:\/\/doi.org\/10.1145\/3180155.3180261","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}