{"id":"https://openalex.org/W4412030084","doi":"https://doi.org/10.1177/00375497251340070","title":"Verification of quantitative temporal properties in RealTime-DEVS","display_name":"Verification of quantitative temporal properties in RealTime-DEVS","publication_year":2025,"publication_date":"2025-07-04","ids":{"openalex":"https://openalex.org/W4412030084","doi":"https://doi.org/10.1177/00375497251340070"},"language":"en","primary_location":{"id":"doi:10.1177/00375497251340070","is_oa":false,"landing_page_url":"https://doi.org/10.1177/00375497251340070","pdf_url":null,"source":{"id":"https://openalex.org/S32573412","display_name":"SIMULATION","issn_l":"0037-5497","issn":["0037-5497","1741-3133"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIMULATION","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112018396","display_name":"Ariel Gonz\u00e1lez","orcid":null},"institutions":[{"id":"https://openalex.org/I15366983","display_name":"National University of R\u00edo Cuarto","ror":"https://ror.org/0002pcv65","country_code":"AR","type":"education","lineage":["https://openalex.org/I15366983"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Ariel Gonz\u00e1lez","raw_affiliation_strings":["Universidad Nacional de R\u00edo Cuarto, Argentina"],"affiliations":[{"raw_affiliation_string":"Universidad Nacional de R\u00edo Cuarto, Argentina","institution_ids":["https://openalex.org/I15366983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032325980","display_name":"Maximiliano Cristi\u00e1","orcid":"https://orcid.org/0000-0001-9163-2609"},"institutions":[{"id":"https://openalex.org/I4141589","display_name":"National University of Rosario","ror":"https://ror.org/02tphfq59","country_code":"AR","type":"education","lineage":["https://openalex.org/I4141589"]},{"id":"https://openalex.org/I4210109384","display_name":"Centro Internacional Franco-Argentino de Ciencias de la Informaci\u00f3n y de Sistemas","ror":"https://ror.org/02m19wv39","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I21491767","https://openalex.org/I4141589","https://openalex.org/I4210107757","https://openalex.org/I4210109384","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Maximiliano Cristi\u00e1","raw_affiliation_strings":["Universidad Nacional de Rosario and CIFASIS, Argentina"],"affiliations":[{"raw_affiliation_string":"Universidad Nacional de Rosario and CIFASIS, Argentina","institution_ids":["https://openalex.org/I4141589","https://openalex.org/I4210109384"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027979379","display_name":"Carlos M. Luna","orcid":"https://orcid.org/0000-0002-9288-096X"},"institutions":[{"id":"https://openalex.org/I180910786","display_name":"Universidad de la Rep\u00fablica","ror":"https://ror.org/030bbe882","country_code":"UY","type":"education","lineage":["https://openalex.org/I180910786"]}],"countries":["UY"],"is_corresponding":false,"raw_author_name":"Carlos Luna","raw_affiliation_strings":["Universidad de la Rep\u00fablica, Uruguay"],"affiliations":[{"raw_affiliation_string":"Universidad de la Rep\u00fablica, Uruguay","institution_ids":["https://openalex.org/I180910786"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5112018396"],"corresponding_institution_ids":["https://openalex.org/I15366983"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2010154,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"101","issue":"10","first_page":"1057","last_page":"1076"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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.9991999864578247,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9975000023841858,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/devs","display_name":"DEVS","score":0.8793509006500244},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7183569073677063},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37212568521499634},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.347234845161438},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.18957972526550293},{"id":"https://openalex.org/keywords/modeling-and-simulation","display_name":"Modeling and simulation","score":0.07781481742858887}],"concepts":[{"id":"https://openalex.org/C68757728","wikidata":"https://www.wikidata.org/wiki/Q911082","display_name":"DEVS","level":3,"score":0.8793509006500244},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7183569073677063},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37212568521499634},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.347234845161438},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.18957972526550293},{"id":"https://openalex.org/C167343916","wikidata":"https://www.wikidata.org/wiki/Q6888384","display_name":"Modeling and simulation","level":2,"score":0.07781481742858887}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1177/00375497251340070","is_oa":false,"landing_page_url":"https://doi.org/10.1177/00375497251340070","pdf_url":null,"source":{"id":"https://openalex.org/S32573412","display_name":"SIMULATION","issn_l":"0037-5497","issn":["0037-5497","1741-3133"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIMULATION","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W50729311","https://openalex.org/W117556101","https://openalex.org/W153868954","https://openalex.org/W183540839","https://openalex.org/W1465777884","https://openalex.org/W1490345466","https://openalex.org/W1502575381","https://openalex.org/W1533232226","https://openalex.org/W1606784654","https://openalex.org/W1848324794","https://openalex.org/W1962072139","https://openalex.org/W1976080895","https://openalex.org/W1996832037","https://openalex.org/W2010806372","https://openalex.org/W2017300403","https://openalex.org/W2022782983","https://openalex.org/W2026629052","https://openalex.org/W2078173708","https://openalex.org/W2087107052","https://openalex.org/W2097219874","https://openalex.org/W2101508170","https://openalex.org/W2110806620","https://openalex.org/W2115309705","https://openalex.org/W2117189826","https://openalex.org/W2125174515","https://openalex.org/W2150220388","https://openalex.org/W2229827170","https://openalex.org/W2343455713","https://openalex.org/W2491982257","https://openalex.org/W2504797558","https://openalex.org/W2578922287","https://openalex.org/W2580863388","https://openalex.org/W2749179653","https://openalex.org/W2800293522","https://openalex.org/W3001269405","https://openalex.org/W3098270706","https://openalex.org/W4200359383","https://openalex.org/W4206441762","https://openalex.org/W4231463997","https://openalex.org/W4234909918","https://openalex.org/W4236162364","https://openalex.org/W4239249613","https://openalex.org/W4244211979","https://openalex.org/W4249442404","https://openalex.org/W4250167974","https://openalex.org/W4285787290","https://openalex.org/W4298468057","https://openalex.org/W4300420355","https://openalex.org/W4403069374","https://openalex.org/W4406611121","https://openalex.org/W4409494781","https://openalex.org/W4410034306","https://openalex.org/W6629085924","https://openalex.org/W6637217931","https://openalex.org/W6638292592","https://openalex.org/W6673658301","https://openalex.org/W6683681806","https://openalex.org/W6759331463"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2144520669","https://openalex.org/W2293708090","https://openalex.org/W2295011979","https://openalex.org/W2077935043","https://openalex.org/W4317792673","https://openalex.org/W2066969803","https://openalex.org/W4320063119"],"abstract_inverted_index":{"Real-time":[0],"DEVS":[1],"(RT-DEVS)":[2],"can":[3],"model":[4,32],"systems":[5],"with":[6,55],"quantitative":[7,41,79],"temporal":[8,18,42,80],"requirements.":[9],"Ensuring":[10],"that":[11,15],"such":[12],"models":[13,90],"verify":[14,36],"kind":[16,57],"of":[17,39,58],"properties":[19,43],"requires":[20],"to":[21,35,62,78,85],"use":[22,30,67],"something":[23],"beyond":[24],"simulation.":[25],"In":[26,60],"this":[27,56],"work,":[28],"we":[29,66,82],"the":[31,68,98],"checker":[33],"Uppaal":[34,50],"a":[37],"class":[38],"recurrent":[40],"appearing":[44],"in":[45,53,88],"RT-DEVS":[46,89],"models,":[47],"even":[48],"though":[49],"cannot":[51],"deal":[52],"general":[54],"properties.":[59],"order":[61],"overcome":[63],"these":[64],"limitations,":[65],"technique":[69],"known":[70],"as":[71],"automata":[72],"observer.":[73],"Second,":[74],"by":[75],"introducing":[76],"mutations":[77],"properties,":[81],"are":[83],"able":[84],"find":[86],"errors":[87],"and":[91],"their":[92],"implementations.":[93],"A":[94],"case":[95],"study":[96],"from":[97],"railway":[99],"domain":[100],"is":[101],"presented.":[102]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}