{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:21:43Z","timestamp":1775874103432,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T00:00:00Z","timestamp":1602806400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,16]]},"DOI":"10.1145\/3417990.3422003","type":"proceedings-article","created":{"date-parts":[[2020,10,27]],"date-time":"2020-10-27T02:54:12Z","timestamp":1603767252000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["MReplayer"],"prefix":"10.1145","author":[{"given":"Majid","family":"Babaei","sequence":"first","affiliation":[{"name":"Queen's University, Canada"}]},{"given":"Mojtaba","family":"Bagherzadeh","sequence":"additional","affiliation":[{"name":"Queen's University, Canada"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[{"name":"Queen's University, Canada"}]}],"member":"320","published-online":{"date-parts":[[2020,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1182--1185","author":"Ahmadi R.","unstructured":"R. Ahmadi , K. Jahed , and J. Dingel . 2019. mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines . In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1182--1185 . R. Ahmadi, K. Jahed, and J. Dingel. 2019. mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines. In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1182--1185."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3237009.3237015"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410939"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106278"},{"key":"e_1_3_2_1_5_1","volume-title":"PMExec: An Execution Engine of Partial UML-RT Models. In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1178--1181","author":"Bagherzadeh M.","unstructured":"M. Bagherzadeh , K. Jahed , N. Kahani , and J. Dingel . 2019 . PMExec: An Execution Engine of Partial UML-RT Models. In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1178--1181 . M. Bagherzadeh, K. Jahed, N. Kahani, and J. Dingel. 2019. PMExec: An Execution Engine of Partial UML-RT Models. In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1178--1181."},{"key":"e_1_3_2_1_6_1","unstructured":"M. Bagherzadeh N. Kahani K. Jahed and J. Dingel. 2020. Execution of Partial State Machine Models. IEEE Transactions on Software Engineering (2020) 1--29.  M. Bagherzadeh N. Kahani K. Jahed and J. Dingel. 2020. Execution of Partial State Machine Models. IEEE Transactions on Software Engineering (2020) 1--29."},{"key":"e_1_3_2_1_7_1","volume-title":"Advanced and efficient execution trace management for executable domain-specific modeling languages. Software and Systems Modeling (Feb","author":"Bousse Erwan","year":"2019","unstructured":"Erwan Bousse , Tanja Mayerhofer , Benoit Combemale , and Benoit Baudry . 2019. Advanced and efficient execution trace management for executable domain-specific modeling languages. Software and Systems Modeling (Feb . 2019 ), 1--37. Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, and Benoit Baudry. 2019. Advanced and efficient execution trace management for executable domain-specific modeling languages. Software and Systems Modeling (Feb. 2019), 1--37."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2790077"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0102-z"},{"key":"e_1_3_2_1_10_1","volume-title":"Retrieved","author":"Foundation Eclipse","year":"2016","unstructured":"Eclipse Foundation . 2016 . Eclipse Papyrus for Real Time (Papyrus-RT). https:\/\/www.eclipse.org\/papyrus-rt . Retrieved May 15, 2020. Eclipse Foundation. 2016. Eclipse Papyrus for Real Time (Papyrus-RT). https:\/\/www.eclipse.org\/papyrus-rt. Retrieved May 15, 2020."},{"key":"e_1_3_2_1_11_1","volume-title":"Model-Level Debugging of Embedded Real-Time Systems. In 10th Int. Conference on Computer and Information Technology (CIT'10)","author":"Haberl Wolfgang","year":"2010","unstructured":"Wolfgang Haberl , Markus Herrmannsdoerfer , Jan Birke , and Uwe Baumgarten . 2010 . Model-Level Debugging of Embedded Real-Time Systems. In 10th Int. Conference on Computer and Information Technology (CIT'10) . IEEE, 1887--1894. Wolfgang Haberl, Markus Herrmannsdoerfer, Jan Birke, and Uwe Baumgarten. 2010. Model-Level Debugging of Embedded Real-Time Systems. In 10th Int. Conference on Computer and Information Technology (CIT'10). IEEE, 1887--1894."},{"key":"e_1_3_2_1_12_1","volume-title":"A model-based architecture for interactive run-time monitoring. Software and Systems Modeling","author":"Hili Nicolas","year":"2020","unstructured":"Nicolas Hili , Mojtaba Bagherzadeh , Karim Jahed , and Juergen Dingel . 2020. A model-based architecture for interactive run-time monitoring. Software and Systems Modeling ( 2020 ), 1--23. Nicolas Hili, Mojtaba Bagherzadeh, Karim Jahed, and Juergen Dingel. 2020. A model-based architecture for interactive run-time monitoring. Software and Systems Modeling (2020), 1--23."},{"key":"e_1_3_2_1_13_1","volume-title":"Imam and Vivek Sarkar","author":"Shams","year":"2014","unstructured":"Shams M. Imam and Vivek Sarkar . 2014 . Savina - An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries (AGERE! '14). Association for Computing Machinery , New York, NY, USA, 67--80. Shams M. Imam and Vivek Sarkar. 2014. Savina - An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries (AGERE! '14). Association for Computing Machinery, New York, NY, USA, 67--80."},{"key":"e_1_3_2_1_14_1","volume-title":"Model-Based Debugging of Embedded Software Systems","author":"Iyenghar Padma","year":"2011","unstructured":"Padma Iyenghar , Elke Pulvermuelle , Clemens Westerkamp , Michael Uelschen , and Juergen Wuebbelmann . 2011. Model-Based Debugging of Embedded Software Systems . Gesellschaft Informatik (GI)-Softwaretechnik (SWT) ( 2011 ). Padma Iyenghar, Elke Pulvermuelle, Clemens Westerkamp, Michael Uelschen, and Juergen Wuebbelmann. 2011. Model-Based Debugging of Embedded Software Systems. Gesellschaft Informatik (GI)-Softwaretechnik (SWT) (2011)."},{"key":"e_1_3_2_1_15_1","unstructured":"Karim Jahed. 2019. Papyrus-RT Distribution. https:\/\/github.com\/kjahed\/papyrusrt-distribution. Retrieved: 2020-5-20.  Karim Jahed. 2019. Papyrus-RT Distribution. https:\/\/github.com\/kjahed\/papyrusrt-distribution. Retrieved: 2020-5-20."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC '17)","author":"Sandeep","unstructured":"Sandeep S. Kulkarni and Nitin H. Vaidya. 2017. Effectiveness of Delaying Timestamp Computation . In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC '17) . ACM, New York, NY, USA, 263--272. Sandeep S. Kulkarni and Nitin H. Vaidya. 2017. Effectiveness of Delaying Timestamp Computation. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC '17). ACM, New York, NY, USA, 263--272."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21759-4_10"},{"key":"e_1_3_2_1_18_1","volume-title":"https:\/\/www.antlr.org\/. Retrieved","author":"Parr Terence","year":"2019","unstructured":"Terence Parr . 2017. ANTLR (A Nother Tool for Language Recognition). https:\/\/www.antlr.org\/. Retrieved June 5, 2019 . Terence Parr. 2017. ANTLR (ANother Tool for Language Recognition). https:\/\/www.antlr.org\/. Retrieved June 5, 2019."},{"key":"e_1_3_2_1_19_1","volume-title":"Real-Time Object-Oriented Modeling","author":"Selic Bran","unstructured":"Bran Selic , Garth Gullekson , and Paul T Ward . 1994. Real-Time Object-Oriented Modeling . Vol. 2 . John Wiley and Sons New York . Bran Selic, Garth Gullekson, and Paul T Ward. 1994. Real-Time Object-Oriented Modeling. Vol. 2. John Wiley and Sons New York."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45234-6_7"}],"event":{"name":"MODELS '20: ACM\/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems","location":"Virtual Event Canada","acronym":"MODELS '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3422003","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3417990.3422003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:35Z","timestamp":1750195895000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3422003"}},"subtitle":["a trace replayer of distributed UML-RT models"],"short-title":[],"issued":{"date-parts":[[2020,10,16]]},"references-count":20,"alternative-id":["10.1145\/3417990.3422003","10.1145\/3417990"],"URL":"https:\/\/doi.org\/10.1145\/3417990.3422003","relation":{},"subject":[],"published":{"date-parts":[[2020,10,16]]},"assertion":[{"value":"2020-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}