{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T15:29:28Z","timestamp":1773329368093,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,14]],"date-time":"2018-10-14T00:00:00Z","timestamp":1539475200000},"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":[[2018,10,14]]},"DOI":"10.1145\/3239372.3239407","type":"proceedings-article","created":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T12:21:55Z","timestamp":1538655715000},"page":"346-356","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Slicing UML-based Models of Real-time Embedded Systems"],"prefix":"10.1145","author":[{"given":"Reza","family":"Ahmadi","sequence":"first","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}]},{"given":"Ernesto","family":"Posse","sequence":"additional","affiliation":[{"name":"Zeligsoft, Gatineau, Quebec, Canada"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}]}],"member":"320","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"A piece of cake. http:\/\/www0.cs.ucl.ac.uk\/staff\/mharman\/exe1.html. Accessed: 2018-02-02.  A piece of cake. http:\/\/www0.cs.ucl.ac.uk\/staff\/mharman\/exe1.html. Accessed: 2018-02-02."},{"key":"e_1_3_2_1_2_1","unstructured":"Autofocus. https:\/\/af3.fortiss.org\/en\/ 2016. Accessed: 2017-12-15.  Autofocus. https:\/\/af3.fortiss.org\/en\/ 2016. Accessed: 2017-12-15."},{"key":"e_1_3_2_1_3_1","unstructured":"Rational Software Architect Realtime Edition. http:\/\/www-01.ibm.com\/support\/docview.wss?uid=swg24034299 2016. Accessed: 2016-8-10.  Rational Software Architect Realtime Edition. http:\/\/www-01.ibm.com\/support\/docview.wss?uid=swg24034299 2016. Accessed: 2016-8-10."},{"key":"e_1_3_2_1_4_1","unstructured":"Modeling realtime applications in RSARTE. https:\/\/www.ibm.com\/developerworks\/community\/blogs\/a8b06f94-c701-42e5-a15f-e86cf8a8f62e\/resource\/Documents\/RSARTEConcepts.pdf 2017. Accessed: 2018-03-06.  Modeling realtime applications in RSARTE. https:\/\/www.ibm.com\/developerworks\/community\/blogs\/a8b06f94-c701-42e5-a15f-e86cf8a8f62e\/resource\/Documents\/RSARTEConcepts.pdf 2017. Accessed: 2018-03-06."},{"key":"e_1_3_2_1_5_1","unstructured":"mxGraph. https:\/\/jgraph.github.io\/mxgraph\/ 2017. Accessed: 2018-03-02.  mxGraph. https:\/\/jgraph.github.io\/mxgraph\/ 2017. Accessed: 2018-03-02."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100089"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92997-2_10"},{"key":"e_1_3_2_1_8_1","unstructured":"Reza Ahmadi Nicolas Hili Leo Jweda Nondini Das Suchita Ganesan and Juergen Dingel. Run-time monitoring of a rover: MDE research with open source software and low-cost hardware. In Open Source for Model-Driven Engineering (OSS4MDE'16).  Reza Ahmadi Nicolas Hili Leo Jweda Nondini Das Suchita Ganesan and Juergen Dingel. Run-time monitoring of a rover: MDE research with open source software and low-cost hardware. In Open Source for Model-Driven Engineering (OSS4MDE'16)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.72"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106278"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050655.2050664"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0300-x"},{"key":"e_1_3_2_1_13_1","first-page":"2","volume-title":"OSS4MDE@ MoDELS","author":"Bordeleau Francis","year":"2014"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2013.48"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025191"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2007.29"},{"key":"e_1_3_2_1_18_1","unstructured":"Martin Feilkas Andreas Fleischmann C Pfaller M Spichkova D Trachtenherz etal A top-down methodology for the development of automotive software. 2009.  Martin Feilkas Andreas Fleischmann C Pfaller M Spichkova D Trachtenherz et al. A top-down methodology for the development of automotive software. 2009."},{"key":"e_1_3_2_1_19_1","volume-title":"Morgan Kaufmann","author":"Friedenthal Sanford","year":"2014"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.83912"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/267895.267926"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/77606.77608"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646272.685783"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.34"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/942800.943551"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1360602.1360611"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1929101.1929125"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/645547.658853"},{"key":"e_1_3_2_1_30_1","unstructured":"Jeff Magee and Jeff Kramer. State models and Java programs. wiley 1999.   Jeff Magee and Jeff Kramer. State models and Java programs. wiley 1999."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"key":"e_1_3_2_1_32_1","first-page":"75","volume-title":"Proceedings of the 4th International SPIN Workshop","author":"Millett Lynette I","year":"1998"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/390011.808263"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155677"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0399-z"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337288"},{"key":"e_1_3_2_1_37_1","first-page":"50","volume-title":"ME@ MODELS","author":"Salay Rick","year":"2016"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"N Sasirekha A Edwin Robert and Dr M Hemalatha. Program slicing techniques and its applications. arXiv preprint arXiv:1108.1352 2011.  N Sasirekha A Edwin Robert and Dr M Hemalatha. Program slicing techniques and its applications. arXiv preprint arXiv:1108.1352 2011.","DOI":"10.5121\/ijsea.2011.2304"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/BFb0057795","volume-title":"Languages, compilers, and tools for embedded systems","author":"Selic Bran","year":"1998"},{"key":"e_1_3_2_1_41_1","volume-title":"John Wiley & Sons New York","author":"Selic Bran","year":"1994"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859038"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/978-81-322-1665-0_74","volume-title":"Intelligent Computing, Networking, and Informatics","author":"Sridhar Adepu","year":"2014"},{"key":"e_1_3_2_1_44_1","first-page":"52","volume-title":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","author":"Stafford Judith A","year":"2003"},{"key":"e_1_3_2_1_45_1","first-page":"675","article-title":"Debugging with GDB","author":"Stallman Richard","year":"1988","journal-title":"Free Software Foundation"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/800078.802557"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358577"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2231981"}],"event":{"name":"MODELS '18: ACM\/IEEE 21th International Conference on Model Driven Engineering Languages and Systems","location":"Copenhagen Denmark","acronym":"MODELS '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239407","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3239372.3239407","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:19Z","timestamp":1750208899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239407"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,14]]},"references-count":48,"alternative-id":["10.1145\/3239372.3239407","10.1145\/3239372"],"URL":"https:\/\/doi.org\/10.1145\/3239372.3239407","relation":{},"subject":[],"published":{"date-parts":[[2018,10,14]]},"assertion":[{"value":"2018-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}