{"id":"https://openalex.org/W2894714123","doi":"https://doi.org/10.1145/3239372.3239395","title":"Unified LTL Verification and Embedded Execution of UML Models","display_name":"Unified LTL Verification and Embedded Execution of UML Models","publication_year":2018,"publication_date":"2018-10-04","ids":{"openalex":"https://openalex.org/W2894714123","doi":"https://doi.org/10.1145/3239372.3239395","mag":"2894714123"},"language":"en","primary_location":{"id":"doi:10.1145/3239372.3239395","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3239372.3239395","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","raw_type":"proceedings-article"},"type":"preprint","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/A5025709332","display_name":"Valentin Besnard","orcid":"https://orcid.org/0000-0001-6744-4149"},"institutions":[{"id":"https://openalex.org/I4210149659","display_name":"\u00c9cole Sup\u00e9rieure d'\u00c9lectronique de l'Ouest","ror":"https://ror.org/04nx9ps90","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210149659"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Valentin Besnard","raw_affiliation_strings":["ERIS, ESEO-TECH, Angers, France"],"affiliations":[{"raw_affiliation_string":"ERIS, ESEO-TECH, Angers, France","institution_ids":["https://openalex.org/I4210149659"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113020325","display_name":"Matthias Brun","orcid":null},"institutions":[{"id":"https://openalex.org/I4210149659","display_name":"\u00c9cole Sup\u00e9rieure d'\u00c9lectronique de l'Ouest","ror":"https://ror.org/04nx9ps90","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210149659"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Matthias Brun","raw_affiliation_strings":["ERIS, ESEO-TECH, Angers, France"],"affiliations":[{"raw_affiliation_string":"ERIS, ESEO-TECH, Angers, France","institution_ids":["https://openalex.org/I4210149659"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058699498","display_name":"Fr\u00e9d\u00e9ric Jouault","orcid":"https://orcid.org/0000-0002-2395-9623"},"institutions":[{"id":"https://openalex.org/I4210149659","display_name":"\u00c9cole Sup\u00e9rieure d'\u00c9lectronique de l'Ouest","ror":"https://ror.org/04nx9ps90","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210149659"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Jouault","raw_affiliation_strings":["ERIS, ESEO-TECH, Angers, France"],"affiliations":[{"raw_affiliation_string":"ERIS, ESEO-TECH, Angers, France","institution_ids":["https://openalex.org/I4210149659"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062908084","display_name":"Ciprian Teodorov","orcid":"https://orcid.org/0000-0002-0722-5857"},"institutions":[{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ciprian Teodorov","raw_affiliation_strings":["Lab-STICC UMR CNRS 6285, ENSTA Bretagne, Brest, France"],"affiliations":[{"raw_affiliation_string":"Lab-STICC UMR CNRS 6285, ENSTA Bretagne, Brest, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I161929037","https://openalex.org/I4210123702","https://openalex.org/I4210148559"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003925837","display_name":"Philippe Dhaussy","orcid":null},"institutions":[{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Philippe Dhaussy","raw_affiliation_strings":["Lab-STICC UMR CNRS 6285, ENSTA Bretagne, Brest, France"],"affiliations":[{"raw_affiliation_string":"Lab-STICC UMR CNRS 6285, ENSTA Bretagne, Brest, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I161929037","https://openalex.org/I4210123702","https://openalex.org/I4210148559"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5025709332"],"corresponding_institution_ids":["https://openalex.org/I4210149659"],"apc_list":null,"apc_paid":null,"fwci":5.13585872,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.95005291,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"112","last_page":"122"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9994000196456909,"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.8237094283103943},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.648628294467926},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.599556565284729},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.592488169670105},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5329825282096863},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.4865645468235016},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.46799346804618835},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.4291852116584778},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.4275388717651367},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3669775724411011},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.3320457339286804},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.0850423276424408}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8237094283103943},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.648628294467926},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.599556565284729},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.592488169670105},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5329825282096863},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4865645468235016},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.46799346804618835},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.4291852116584778},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.4275388717651367},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3669775724411011},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.3320457339286804},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0850423276424408},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3239372.3239395","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3239372.3239395","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W12785170","https://openalex.org/W1531306764","https://openalex.org/W1570116272","https://openalex.org/W1754034137","https://openalex.org/W1901342657","https://openalex.org/W2012616631","https://openalex.org/W2020609867","https://openalex.org/W2036458483","https://openalex.org/W2078534088","https://openalex.org/W2089234532","https://openalex.org/W2108340685","https://openalex.org/W2111502483","https://openalex.org/W2113422096","https://openalex.org/W2115101979","https://openalex.org/W2124057877","https://openalex.org/W2124705135","https://openalex.org/W2134123176","https://openalex.org/W2167932076","https://openalex.org/W2170609026","https://openalex.org/W2206698113","https://openalex.org/W2398416929","https://openalex.org/W2418938958","https://openalex.org/W2513478072","https://openalex.org/W2537902738","https://openalex.org/W2610657489","https://openalex.org/W2741192005","https://openalex.org/W2777513370","https://openalex.org/W2798066811","https://openalex.org/W2808062607","https://openalex.org/W4255895675","https://openalex.org/W4285719527","https://openalex.org/W6600532510"],"related_works":["https://openalex.org/W2152752131","https://openalex.org/W2122355433","https://openalex.org/W2106507440","https://openalex.org/W2105710452","https://openalex.org/W2162615969","https://openalex.org/W2096723742","https://openalex.org/W2035731992","https://openalex.org/W79857529","https://openalex.org/W1574742821","https://openalex.org/W2114398233"],"abstract_inverted_index":{"The":[0],"increasing":[1],"complexity":[2],"of":[3,20,141],"embedded":[4,116,155],"systems":[5],"leads":[6],"to":[7,38],"uncertain":[8],"behaviors,":[9],"security":[10],"flaws,":[11],"and":[12,54,83,90,108,114],"design":[13,31,43],"mistakes.":[14],"With":[15],"model-based":[16],"engineering,":[17],"early":[18],"diagnosis":[19,73],"such":[21],"issues":[22],"is":[23,67],"made":[24],"possible":[25],"by":[26],"verification":[27,140],"tools":[28],"working":[29],"on":[30,110,134,144,152],"models.":[32],"However,":[33],"three":[34],"severe":[35],"drawbacks":[36],"remain":[37],"be":[39,87],"fixed.":[40],"First,":[41],"transforming":[42],"models":[44,53,82],"into":[45],"executable":[46],"code":[47,85],"creates":[48],"a":[49,60,64,98,119,135,145,153],"semantic":[50],"gap":[51],"between":[52,79],"code.":[55],"Furthermore,":[56],"for":[57,122],"formal":[58,65,81,106],"verification,":[59,107],"second":[61],"transformation":[62],"(towards":[63],"language)":[66],"generally":[68],"required,":[69],"which":[70],"complicates":[71],"the":[72],"process.":[74],"Finally,":[75],"an":[76],"equivalence":[77],"relation":[78],"verified":[80],"deployed":[84],"should":[86],"built,":[88],"proven,":[89],"maintained.":[91],"To":[92],"tackle":[93],"these":[94,124],"issues,":[95],"we":[96],"introduce":[97],"UML":[99],"interpreter":[100,121],"that":[101],"fulfills":[102],"multiple":[103],"purposes:":[104],"simulation,":[105],"execution":[109,151],"both":[111],"desktop":[112,146],"computer":[113],"bare-metal":[115],"target.":[117,156],"Using":[118],"single":[120],"all":[123],"activities":[125],"ensures":[126],"operational":[127],"semantics":[128],"consistency.":[129],"We":[130],"illustrate":[131],"our":[132],"approach":[133],"level":[136],"crossing":[137],"example,":[138],"showing":[139],"LTL":[142],"properties":[143],"computer,":[147],"as":[148,150],"well":[149],"stm32":[154]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}