{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:54:13Z","timestamp":1730220853405,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/etfa.2018.8502620","type":"proceedings-article","created":{"date-parts":[[2018,11,15]],"date-time":"2018-11-15T22:20:08Z","timestamp":1542320408000},"page":"161-168","source":"Crossref","is-referenced-by-count":0,"title":["Static Flow Analysis of the Action Language for Foundational UML"],"prefix":"10.1109","author":[{"given":"Jean","family":"MaIm","sequence":"first","affiliation":[]},{"given":"Federico","family":"Ciccozzi","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Gustafsson","sequence":"additional","affiliation":[]},{"given":"Bjorn","family":"Lisper","sequence":"additional","affiliation":[]},{"given":"Jonas","family":"Skoog","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_17"},{"journal-title":"Software Engineering","year":"2006","author":"sommerville","key":"ref33"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-30982-3_1","article-title":"The Less Well Known UML","volume":"7320","author":"selic","year":"2012","journal-title":"Formal Methods for Model-Driven Engineering"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2016.07.002"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02144-2_14"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.248"},{"key":"ref36","article-title":"WCET tool challenge 2011: Report","author":"von hanxleden","year":"2011","journal-title":"Proc WCET"},{"key":"ref35","first-page":"14","article-title":"Unit Testing of Model to Text Transformations","author":"tiso","year":"2014","journal-title":"Proc AMTA"},{"key":"ref34","article-title":"Formalizing Execution Semantics of UML Profiles with fUML","author":"tatibouet","year":"2014","journal-title":"Proceedings of MoDELS"},{"key":"ref10","first-page":"1","article-title":"Execution of UML models: a systematic review of research and practice","author":"ciccozzi","year":"2018","journal-title":"Software & Systems Modeling"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2465449.2465450"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2016.2604018"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"journal-title":"Software Quality Assurance From Theory to Implementation","year":"2004","author":"galin","key":"ref14"},{"journal-title":"A Flexible WCET Analysis Method for Safety-Critical Real-Time System using UML-MARTE Model Checker","year":"2016","author":"ge","key":"ref15"},{"key":"ref16","article-title":"ALF (ARTIST2 Language for Flow Analysis) specification","author":"gustafsson","year":"2011","journal-title":"Technical Report"},{"key":"ref17","article-title":"Alf-a language for wcet flow analysis","author":"gustafsson","year":"2009","journal-title":"Procs of WCET OCG"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.12"},{"key":"ref19","article-title":"Towards WCET Analysis of Multicore Architectures using UPPAAL","author":"gustavsson","year":"2010","journal-title":"Proc WCET"},{"key":"ref28","article-title":"On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf","author":"micskei","year":"2014","journal-title":"Proc OSS4MDE"},{"key":"ref4","article-title":"Fiacre: an Intermediate Language for Model Verification in the Topcased Environment","author":"berthomieu","year":"2008","journal-title":"ERTS 2008"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2008.4526573"},{"key":"ref3","article-title":"fREX: fUML-based Reverse Engineering of Executable Behavior for Software Dynamic Analysis","author":"bergmayr","year":"2016","journal-title":"MIS Proceedings"},{"key":"ref6","first-page":"1","article-title":"On the automated translational execution of the action language for foundational UML","author":"ciccozzi","year":"2016","journal-title":"Software & Systems Modeling"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0205-x"},{"journal-title":"Reversible debugging software","year":"2013","author":"britton","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.07.014"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1145\/3183399.3183406","article-title":"UniComp: a semantics-aware model compiler for optimised predictable software","author":"ciccozzi","year":"2018","journal-title":"Proc of ICSE NIER"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/978-3-319-19584-1_9","article-title":"The concerto methodology for model-based development of avionics software","author":"baldovin","year":"2015","journal-title":"Lecture Notes in Computer Science"},{"key":"ref9","first-page":"1","article-title":"Architecture optimization: speed or accuracy?","author":"ciccozzi","year":"2016","journal-title":"Both! Software Quality Journal"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-016-9250-7"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/581352.581355"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985858"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.212"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45231-8_38"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/43.664229"},{"journal-title":"Towards automated analysis of executable models","year":"2017","author":"malm","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.74"}],"event":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2018,9,4]]},"location":"Turin","end":{"date-parts":[[2018,9,7]]}},"container-title":["2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8488382\/8502441\/08502620.pdf?arnumber=8502620","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T19:25:02Z","timestamp":1598210702000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8502620\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/etfa.2018.8502620","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}