{"id":"https://openalex.org/W4318041403","doi":"https://doi.org/10.1145/3581771","title":"A Proven Translation from a UML State Machine Subset to Timed Automata","display_name":"A Proven Translation from a UML State Machine Subset to Timed Automata","publication_year":2023,"publication_date":"2023-01-25","ids":{"openalex":"https://openalex.org/W4318041403","doi":"https://doi.org/10.1145/3581771"},"language":"en","primary_location":{"id":"doi:10.1145/3581771","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3581771","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3581771","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3581771","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089844587","display_name":"Florent Peres","orcid":null},"institutions":[{"id":"https://openalex.org/I4210154111","display_name":"Universit\u00e9 Gustave Eiffel","ror":"https://ror.org/03x42jk29","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210154111"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Florent Peres","raw_affiliation_strings":["Universit\u00e9 Gustave Eiffel, COSYS-ESTAS, Villeneuve d'Ascq, France","Universit\u00e9 Gustave Eiffel (Cit\u00e9 Descartes, 5 Boulevard Descartes \u2022 Champs-sur-Marne, \r\n77454 Marne-la-Vall\u00e9e Cedex 2 - France)","COSYS-ESTAS  - \u00c9valuation des Syst\u00e8mes de Transports Automatis\u00e9s et de leur S\u00e9curit\u00e9 (20 rue Elis\u00e9e Reclus, BP317, 59666 Villeneuve d'Ascq Cedex  - France)"],"raw_orcid":"https://orcid.org/0000-0003-3998-2948","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Gustave Eiffel, COSYS-ESTAS, Villeneuve d'Ascq, France","institution_ids":["https://openalex.org/I4210154111"]},{"raw_affiliation_string":"Universit\u00e9 Gustave Eiffel (Cit\u00e9 Descartes, 5 Boulevard Descartes \u2022 Champs-sur-Marne, \r\n77454 Marne-la-Vall\u00e9e Cedex 2 - France)","institution_ids":["https://openalex.org/I4210154111"]},{"raw_affiliation_string":"COSYS-ESTAS  - \u00c9valuation des Syst\u00e8mes de Transports Automatis\u00e9s et de leur S\u00e9curit\u00e9 (20 rue Elis\u00e9e Reclus, BP317, 59666 Villeneuve d'Ascq Cedex  - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009196110","display_name":"Mohamed Ghazel","orcid":"https://orcid.org/0000-0002-1160-7997"},"institutions":[{"id":"https://openalex.org/I4210154111","display_name":"Universit\u00e9 Gustave Eiffel","ror":"https://ror.org/03x42jk29","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210154111"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mohamed Ghazel","raw_affiliation_strings":["Universit\u00e9 Gustave Eiffel, COSYS-ESTAS, Villeneuve d'Ascq, France","Universit\u00e9 Gustave Eiffel, COSYS-ESTAS, France"],"raw_orcid":"https://orcid.org/0000-0002-1160-7997","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Gustave Eiffel, COSYS-ESTAS, Villeneuve d'Ascq, France","institution_ids":["https://openalex.org/I4210154111"]},{"raw_affiliation_string":"Universit\u00e9 Gustave Eiffel, COSYS-ESTAS, France","institution_ids":["https://openalex.org/I4210154111"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210154111"],"apc_list":null,"apc_paid":null,"fwci":1.0453,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.78800563,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"23","issue":"5","first_page":"1","last_page":"33"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.7340797185897827},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6340909004211426},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6269835233688354},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5867413878440857},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.5789555311203003},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.514626145362854},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.45444899797439575},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.4176177382469177},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35907286405563354},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32973432540893555},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.059511542320251465},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.05433487892150879}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7340797185897827},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6340909004211426},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6269835233688354},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5867413878440857},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.5789555311203003},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.514626145362854},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45444899797439575},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.4176177382469177},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35907286405563354},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32973432540893555},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.059511542320251465},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.05433487892150879},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3581771","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3581771","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3581771","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04072931v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04072931","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Embedded Computing Systems (TECS), 2023, ⟨10.1145/3581771⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3581771","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3581771","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3581771","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4318041403.pdf","grobid_xml":"https://content.openalex.org/works/W4318041403.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W137536751","https://openalex.org/W153868954","https://openalex.org/W1534869992","https://openalex.org/W1548139097","https://openalex.org/W1589928505","https://openalex.org/W1596935793","https://openalex.org/W1597414920","https://openalex.org/W1601209671","https://openalex.org/W1923222846","https://openalex.org/W2000518871","https://openalex.org/W2000947342","https://openalex.org/W2009691504","https://openalex.org/W2011157819","https://openalex.org/W2020010810","https://openalex.org/W2024286707","https://openalex.org/W2026294803","https://openalex.org/W2039444673","https://openalex.org/W2044856809","https://openalex.org/W2048551412","https://openalex.org/W2061420542","https://openalex.org/W2084998880","https://openalex.org/W2101508170","https://openalex.org/W2115425820","https://openalex.org/W2125493459","https://openalex.org/W2129395888","https://openalex.org/W2130773092","https://openalex.org/W2146033518","https://openalex.org/W2166969310","https://openalex.org/W2167694722","https://openalex.org/W2169673105","https://openalex.org/W4232784769"],"related_works":["https://openalex.org/W2359043774","https://openalex.org/W2387087283","https://openalex.org/W2103939680","https://openalex.org/W2101953902","https://openalex.org/W2489425329","https://openalex.org/W2009748842","https://openalex.org/W2020544977","https://openalex.org/W2355586323","https://openalex.org/W207211690","https://openalex.org/W1951066104"],"abstract_inverted_index":{"Although":[0],"Unified":[1],"Modeling":[2],"Language":[3],"(UML)":[4],"state":[5,48,60,67,90,95,116],"machines":[6,49,61,68,91,96,117],"constitute":[7],"a":[8,40,44,70,85,108,124,130,163],"convenient":[9],"modeling":[10],"formalism":[11],"that":[12,62],"is":[13,57,97,105,121,140,145],"widely":[14],"used":[15],"in":[16],"many":[17],"applications,":[18],"the":[19,75,79,100,112,134],"lack":[20],"of":[21,46,94,102,115],"formal":[22,31,86],"semantics":[23,88,101],"impedes":[24],"carrying":[25],"out":[26,147],"automatic":[27],"processing,":[28],"such":[29],"as":[30,69],"verification.":[32],"In":[33],"this":[34,83],"article,":[35],"we":[36],"aim":[37],"to":[38,50,65,118,161],"achieve":[39],"proven":[41],"translation":[42,109],"from":[43,111],"subset":[45],"UML":[47],"timed":[51,103,119,131],"automata.":[52],"A":[53],"generic":[54],"abstract":[55],"syntax":[56],"defined":[58,122],"for":[59,89],"allows":[63,159],"us":[64,160],"specify":[66],"tree-like":[71],"structure,":[72],"explicitly":[73],"illustrating":[74],"hierarchical":[76],"relationships":[77],"within":[78],"model.":[80],"Based":[81],"on":[82],"syntax,":[84],"asynchronous":[87],"and":[92,123,136,153],"systems":[93],"established.":[98],"Additionally,":[99],"automata":[104,120],"specified.":[106],"Then,":[107],"relation":[110,127],"considered":[113],"set":[114],"strong":[125,164],"equivalence":[126],"\u2014":[128,139],"namely,":[129],"bisimulation":[132],"between":[133,166],"source":[135],"target":[137],"models":[138],"formally":[141],"proven.":[142],"The":[143],"proof":[144,158],"carried":[146],"inductively":[148],"while":[149],"considering":[150],"continuous":[151],"(time)":[152],"discrete":[154],"transitions":[155],"separately.":[156],"This":[157],"demonstrate":[162],"similitude":[165],"these":[167],"models.":[168]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}