{"id":"https://openalex.org/W4406400594","doi":"https://doi.org/10.1017/s1471068424000280","title":"Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming","display_name":"Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming","publication_year":2024,"publication_date":"2024-07-01","ids":{"openalex":"https://openalex.org/W4406400594","doi":"https://doi.org/10.1017/s1471068424000280"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068424000280","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068424000280","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E0C3F905117E7F793E09C5A355B34BB2/S1471068424000280a.pdf/div-class-title-early-validation-of-high-level-system-requirements-with-event-calculus-and-answer-set-programming-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E0C3F905117E7F793E09C5A355B34BB2/S1471068424000280a.pdf/div-class-title-early-validation-of-high-level-system-requirements-with-event-calculus-and-answer-set-programming-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002346308","display_name":"Ond\u0159ej Va\u0161\u00ed\u010dek","orcid":"https://orcid.org/0000-0002-4944-2198"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"OND\u0158EJ VA\u0160\u00cd\u010cEK","raw_affiliation_strings":["Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic (e-mail:"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic (e-mail:","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076970918","display_name":"Joaqu\u00edn Arias","orcid":"https://orcid.org/0000-0003-4148-311X"},"institutions":[{"id":"https://openalex.org/I182083151","display_name":"Universidad Rey Juan Carlos","ror":"https://ror.org/01v5cv687","country_code":"ES","type":"education","lineage":["https://openalex.org/I182083151"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"JOAQUIN ARIAS","raw_affiliation_strings":["Universidad Rey Juan Carlos, M\u00f3stoles, Spain (e-mail:"],"affiliations":[{"raw_affiliation_string":"Universidad Rey Juan Carlos, M\u00f3stoles, Spain (e-mail:","institution_ids":["https://openalex.org/I182083151"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018940896","display_name":"Jan Fiedor","orcid":null},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"JAN FIEDOR","raw_affiliation_strings":["Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic Honeywell International S.R.O., Brno, Czech Republic (e-mail:"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic Honeywell International S.R.O., Brno, Czech Republic (e-mail:","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067377863","display_name":"Gopal Gupta","orcid":"https://orcid.org/0000-0001-9727-0362"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"GOPAL GUPTA","raw_affiliation_strings":["Computer Science Department, UT Dallas, Richardson, TX, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, UT Dallas, Richardson, TX, USA (e-mail:","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074529493","display_name":"Brian C. Hall","orcid":"https://orcid.org/0000-0001-5349-484X"},"institutions":[{"id":"https://openalex.org/I4210117616","display_name":"SVT Associates (United States)","ror":"https://ror.org/028chtg69","country_code":"US","type":"company","lineage":["https://openalex.org/I4210117616"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"BRENDAL HALL","raw_affiliation_strings":["Ardent Innovation Labs, Eden prairie, MN, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"Ardent Innovation Labs, Eden prairie, MN, USA (e-mail:","institution_ids":["https://openalex.org/I4210117616"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004570591","display_name":"Bohuslav K\u0159ena","orcid":"https://orcid.org/0000-0001-9572-1799"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"BOHUSLAV K\u0158ENA","raw_affiliation_strings":["Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic (e-mail:"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic (e-mail:","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054748949","display_name":"Brian V. Larson","orcid":null},"institutions":[{"id":"https://openalex.org/I4210154493","display_name":"St. Jude Medical Foundation","ror":"https://ror.org/048bdzy56","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210154493"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"BRIAN LARSON","raw_affiliation_strings":["Multitude Corporation, St Paul, MN, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"Multitude Corporation, St Paul, MN, USA (e-mail:","institution_ids":["https://openalex.org/I4210154493"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051242183","display_name":"Sarat Chandra Varanasi","orcid":"https://orcid.org/0000-0002-4620-4266"},"institutions":[{"id":"https://openalex.org/I4210134512","display_name":"GE Global Research (United States)","ror":"https://ror.org/03e06qt98","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134512"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"SARAT CHANDRA VARANASI","raw_affiliation_strings":["GE Aerospace Research, Niskayuna, NY, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"GE Aerospace Research, Niskayuna, NY, USA (e-mail:","institution_ids":["https://openalex.org/I4210134512"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086446392","display_name":"Tom\u00e1\u0161 Vojnar","orcid":"https://orcid.org/0000-0002-2746-8792"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]},{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"TOM\u00c1\u0160 VOJNAR","raw_affiliation_strings":["Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic Faculty of Informatics, Masaryk University, Brno, Czech Republic (e-mail:"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic Faculty of Informatics, Masaryk University, Brno, Czech Republic (e-mail:","institution_ids":["https://openalex.org/I60587646","https://openalex.org/I21449261"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5002346308"],"corresponding_institution_ids":["https://openalex.org/I60587646"],"apc_list":null,"apc_paid":null,"fwci":0.3547,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67731312,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"24","issue":"4","first_page":"844","last_page":"862"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.98580002784729,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8289186954498291},{"id":"https://openalex.org/keywords/event-calculus","display_name":"Event calculus","score":0.6170192360877991},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.565508246421814},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5394533276557922},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5168536305427551},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.46666401624679565},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3652461767196655}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8289186954498291},{"id":"https://openalex.org/C18460168","wikidata":"https://www.wikidata.org/wiki/Q5416707","display_name":"Event calculus","level":2,"score":0.6170192360877991},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.565508246421814},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5394533276557922},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5168536305427551},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.46666401624679565},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3652461767196655},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068424000280","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068424000280","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E0C3F905117E7F793E09C5A355B34BB2/S1471068424000280a.pdf/div-class-title-early-validation-of-high-level-system-requirements-with-event-calculus-and-answer-set-programming-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s1471068424000280","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068424000280","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E0C3F905117E7F793E09C5A355B34BB2/S1471068424000280a.pdf/div-class-title-early-validation-of-high-level-system-requirements-with-event-calculus-and-answer-set-programming-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1268529082","display_name":null,"funder_award_id":"240002","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G1494534914","display_name":"Collaborative Research: Halogen Behavior In the Pluton-to-Volcanic Arc System","funder_award_id":"2400028","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1622782223","display_name":null,"funder_award_id":"MCIN/AEI/10","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G2215172943","display_name":"US-Lithuania Planning Visit:  University of Central Florida/Vilnius University Auxology and Forensic Anthropology Planning Meeting","funder_award_id":"1068424","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2262748287","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G2601397997","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2863773509","display_name":null,"funder_award_id":"MCIN/AEI/ 10.13039/501100011033","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G300979063","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3412273058","display_name":null,"funder_award_id":"AEI/ 10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3429648993","display_name":null,"funder_award_id":"PID202","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3463879373","display_name":null,"funder_award_id":"NextGenerationEU/PRTR","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3681454997","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4042783231","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G410571670","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G4126322094","display_name":null,"funder_award_id":"01100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G451917667","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G5003894964","display_name":null,"funder_award_id":"TED2021-131295B-C33","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G5080475149","display_name":null,"funder_award_id":"10.13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G5967599077","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G661330594","display_name":null,"funder_award_id":"00110","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G6677760267","display_name":null,"funder_award_id":"PID2021-123673OB-C32","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G6685425346","display_name":null,"funder_award_id":"0011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7024220182","display_name":"RI: SMALL: Inducing Answer Set Programs to Provide Accurate and Concise Explanation of Machine-learned Models","funder_award_id":"1910131","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7084143925","display_name":null,"funder_award_id":"AEI/10","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7149750178","display_name":null,"funder_award_id":"MCIN/AEI/ 10.13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7266728691","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8051717526","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8260616629","display_name":null,"funder_award_id":"011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8570012161","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G8638682022","display_name":null,"funder_award_id":"10.13039/50110001103","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8856943319","display_name":null,"funder_award_id":"23-06506S","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G8909017353","display_name":null,"funder_award_id":"MCIN/AEI/ 10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320273","display_name":"University of Cambridge","ror":"https://ror.org/013meh722"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320327708","display_name":"University of Texas at Dallas","ror":"https://ror.org/049emcs32"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4406400594.pdf","grobid_xml":"https://content.openalex.org/works/W4406400594.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W108139873","https://openalex.org/W2902824964","https://openalex.org/W2022079507","https://openalex.org/W2279614359","https://openalex.org/W3211240993","https://openalex.org/W4294621065","https://openalex.org/W4287111973","https://openalex.org/W3173807671","https://openalex.org/W3020620556","https://openalex.org/W188269519"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2,46,123],"proposes":[3],"a":[4,48,51,56],"new":[5],"methodology":[6],"for":[7,146],"early":[8],"validation":[9],"of":[10,19,27,34,50,55,94,117],"high-level":[11],"requirements":[12,53],"on":[13,98],"cyber-physical":[14],"systems":[15],"with":[16,102],"the":[17,76,91,95,99,122,135],"aim":[18],"improving":[20,147],"their":[21],"quality":[22],"and,":[23],"thus,":[24],"lowering":[25],"chances":[26],"specification":[28,54],"errors":[29],"propagating":[30],"into":[31],"later":[32],"stages":[33],"development":[35],"where":[36],"it":[37],"is":[38,68],"much":[39],"more":[40],"expensive":[41],"to":[42,111,131,140,149,160],"fix":[43],"them.":[44,143],"The":[45,79],"presents":[47],"transformation":[49],"real-world":[52],"medical":[57],"device\u2014the":[58],"Patient-Controlled":[59],"Analgesia":[60],"(PCA)":[61],"Pump\u2014into":[62],"an":[63],"Event":[64],"Calculus":[65],"model":[66],"that":[67,129,154],"then":[69],"evaluated":[70],"using":[71],"Answer":[72],"Set":[73],"Programming":[74],"and":[75,109,126,137],"s(CASP)":[77,82,148],"system.":[78],"evaluation":[80,136,152],"under":[81],"allowed":[83],"deductive":[84],"as":[85,87,157,159],"well":[86,158],"abductive":[88],"reasoning":[89],"about":[90],"specified":[92],"functionality":[93],"PCA":[96],"pump":[97],"conceptual":[100],"level":[101],"minimal":[103],"implementation":[104],"or":[105],"design":[106],"dependent":[107],"influences":[108],"led":[110],"fully":[112],"automatically":[113],"detected":[114],"nuanced":[115],"violations":[116],"critical":[118],"safety":[119],"properties.":[120],"Further,":[121],"discusses":[124],"scalability":[125],"non-termination":[127],"challenges":[128],"had":[130],"be":[132],"faced":[133],"in":[134],"techniques":[138],"proposed":[139],"(partially)":[141],"solve":[142],"Finally,":[144],"ideas":[145],"overcome":[150],"its":[151,162],"limitations":[153],"still":[155],"persist":[156],"increase":[161],"expressiveness":[163],"are":[164],"presented.":[165]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}