{"id":13,"date":"2017-01-30T23:03:36","date_gmt":"2017-01-30T23:03:36","guid":{"rendered":"http:\/\/flux.cs.queensu.ca\/mase\/?page_id=13"},"modified":"2025-01-15T17:52:00","modified_gmt":"2025-01-15T17:52:00","slug":"publications","status":"publish","type":"page","link":"https:\/\/labs.cs.queensu.ca\/mase\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"\n<p class=\"has-ast-global-color-5-background-color has-background\">View publications by: <a href=\"https:\/\/labs.cs.queensu.ca\/mase\/publications\/per-year\/\" data-type=\"page\" data-id=\"90\">year<\/a> | <a href=\"\/mase\/publications\/per-type\">type<\/a><\/p>\n\n\n\n<p>Most publications prior to 2021 are listed below. For an up-to-date list that also includes recent publications, please see&nbsp;<a href=\"https:\/\/scholar.google.com\/citations?user=MZggB6kAAAAJ&amp;hl=en&amp;oi=ao\">Google Scholar<\/a>&nbsp;or&nbsp;<a href=\"https:\/\/dblp.org\/search?q=juergen+dingel\">DBLP<\/a>.<a><\/a><\/p>\n\n\n<div class=\"teachpress_pub_list\"><form name=\"tppublistform\" method=\"get\"><a name=\"tppubs\" id=\"tppubs\"><\/a><div class=\"tp_search_input\"><input name=\"tsr\" id=\"tp_search_input_field\" type=\"search\" placeholder=\"Enter search word\" value=\"\" tabindex=\"1\"\/><div class=\"teachpress_search_button\"><input name=\"tps_button\" class=\"tp_search_button\" type=\"submit\" tabindex=\"10\" value=\"Search\"\/><\/div><\/div><\/form><div class=\"tablenav\"><div class=\"tablenav-pages\"><span class=\"displaying-num\">290 entries<\/span> <a class=\"page-numbers button disabled\">&laquo;<\/a> <a class=\"page-numbers button disabled\">&lsaquo;<\/a> 1 of 15 <a href=\"https:\/\/labs.cs.queensu.ca\/mase\/publications\/?limit=2&amp;tgid=&amp;yr=&amp;type=&amp;usr=&amp;auth=&amp;tsr=\" title=\"next page\" class=\"page-numbers button\">&rsaquo;<\/a> <a href=\"https:\/\/labs.cs.queensu.ca\/mase\/publications\/?limit=15&amp;tgid=&amp;yr=&amp;type=&amp;usr=&amp;auth=&amp;tsr=\" title=\"last page\" class=\"page-numbers button\">&raquo;<\/a> <\/div><\/div><div class=\"teachpress_publication_list\"><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">1.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Babaei, Majid;  Dingel, Juergen<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('1','tp_links')\" style=\"cursor:pointer;\">Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">ACM\/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS'21), <\/span><span class=\"tp_pub_additional_pages\">pp. 89-100, <\/span><span class=\"tp_pub_additional_publisher\">IEEE, <\/span><span class=\"tp_pub_additional_year\">2021<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_1\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('1','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_1\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('1','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_1\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{BD21,<br \/>\r\ntitle = {Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development},<br \/>\r\nauthor = {Majid Babaei and Juergen Dingel},<br \/>\r\nurl = {https:\/\/ieeexplore.ieee.org\/abstract\/document\/9592407},<br \/>\r\ndoi = {10.1109\/MODELS50736.2021.00018},<br \/>\r\nyear  = {2021},<br \/>\r\ndate = {2021-10-01},<br \/>\r\nurldate = {2021-10-01},<br \/>\r\nbooktitle = {ACM\/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS'21)},<br \/>\r\npages = {89-100},<br \/>\r\npublisher = {IEEE},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('1','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_1\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/ieeexplore.ieee.org\/abstract\/document\/9592407\" title=\"https:\/\/ieeexplore.ieee.org\/abstract\/document\/9592407\" target=\"_blank\">https:\/\/ieeexplore.ieee.org\/abstract\/document\/9592407<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1109\/MODELS50736.2021.00018\" title=\"Follow DOI:10.1109\/MODELS50736.2021.00018\" target=\"_blank\">doi:10.1109\/MODELS50736.2021.00018<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('1','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_article\"><div class=\"tp_pub_number\">2.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Bagherzadeh, Mojtaba;  Jahed, Karim;  Dingel, Juergen;  Combemale, Benoit<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('2','tp_links')\" style=\"cursor:pointer;\">Live Modeling in the Context of State Machine Models and Code Generation<\/a> <span class=\"tp_pub_type tp_  article\">Journal Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_journal\">Software and Systems Modeling (SoSyM), <\/span><span class=\"tp_pub_additional_volume\">vol. 20, <\/span><span class=\"tp_pub_additional_pages\">pp. 795-819, <\/span><span class=\"tp_pub_additional_year\">2021<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_2\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('2','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_2\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('2','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_2\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@article{BJDC21,<br \/>\r\ntitle = {Live Modeling in the Context of State Machine Models and Code Generation},<br \/>\r\nauthor = {Mojtaba Bagherzadeh and Karim Jahed and Juergen Dingel and Benoit Combemale},<br \/>\r\nurl = {https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00829-y},<br \/>\r\ndoi = {10.1007\/s10270-020-00829-y},<br \/>\r\nyear  = {2021},<br \/>\r\ndate = {2021-06-01},<br \/>\r\njournal = {Software and Systems Modeling (SoSyM)},<br \/>\r\nvolume = {20},<br \/>\r\npages = {795-819},<br \/>\r\npublisher = {Springer},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {article}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('2','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_2\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00829-y\" title=\"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00829-y\" target=\"_blank\">https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00829-y<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1007\/s10270-020-00829-y\" title=\"Follow DOI:10.1007\/s10270-020-00829-y\" target=\"_blank\">doi:10.1007\/s10270-020-00829-y<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('2','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">3.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Babaei, Majid;  Bagherzadeh, Mojtaba;  Dingel, Juergen<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('4','tp_links')\" style=\"cursor:pointer;\">MReplayer: A Trace Replayer of Distributed UML-RT Models booktitle = MODELS'20 Demo Track<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">23rd International Conference on Model Driven Engineering Languages and Systems (MODELS'20). Demonstration Track, <\/span><span class=\"tp_pub_additional_pages\">pp. 1-5, <\/span><span class=\"tp_pub_additional_publisher\">ACM, <\/span><span class=\"tp_pub_additional_year\">2020<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_4\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('4','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_4\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('4','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_4\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{BBD20b,<br \/>\r\ntitle = {MReplayer: A Trace Replayer of Distributed UML-RT Models booktitle = MODELS'20 Demo Track},<br \/>\r\nauthor = {Majid Babaei and Mojtaba Bagherzadeh and Juergen Dingel},<br \/>\r\nurl = {https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3422003},<br \/>\r\ndoi = {10.1145\/3417990.3422003},<br \/>\r\nyear  = {2020},<br \/>\r\ndate = {2020-10-01},<br \/>\r\nbooktitle = {23rd International Conference on Model Driven Engineering Languages and Systems (MODELS'20). Demonstration Track},<br \/>\r\npages = {1-5},<br \/>\r\npublisher = {ACM},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('4','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_4\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3422003\" title=\"https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3422003\" target=\"_blank\">https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3422003<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1145\/3417990.3422003\" title=\"Follow DOI:10.1145\/3417990.3422003\" target=\"_blank\">doi:10.1145\/3417990.3422003<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('4','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">4.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Babaei, Majid;  Bagherzadeh, Mojtaba;  Dingel, Juergen<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('3','tp_links')\" style=\"cursor:pointer;\">Efficient Reordering and Replay of Execution Traces of Distributed Reactive Systems in the Context of Model-driven Development<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">23rd International Conference on Model Driven Engineering Languages and Systems (MODELS'20), <\/span><span class=\"tp_pub_additional_pages\">pp. 285-296, <\/span><span class=\"tp_pub_additional_publisher\">ACM, <\/span><span class=\"tp_pub_additional_year\">2020<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_3\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('3','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_3\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('3','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_3\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{BBD20,<br \/>\r\ntitle = {Efficient Reordering and Replay of Execution Traces of Distributed Reactive Systems in the Context of Model-driven Development},<br \/>\r\nauthor = {Majid Babaei and Mojtaba Bagherzadeh and Juergen Dingel},<br \/>\r\nurl = {https:\/\/dl.acm.org\/doi\/10.1145\/3365438.3410939},<br \/>\r\ndoi = {10.1145\/3365438.3410939},<br \/>\r\nyear  = {2020},<br \/>\r\ndate = {2020-10-01},<br \/>\r\nbooktitle = {23rd International Conference on Model Driven Engineering Languages and Systems (MODELS'20)},<br \/>\r\npages = {285-296},<br \/>\r\npublisher = {ACM},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('3','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_3\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3365438.3410939\" title=\"https:\/\/dl.acm.org\/doi\/10.1145\/3365438.3410939\" target=\"_blank\">https:\/\/dl.acm.org\/doi\/10.1145\/3365438.3410939<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1145\/3365438.3410939\" title=\"Follow DOI:10.1145\/3365438.3410939\" target=\"_blank\">doi:10.1145\/3365438.3410939<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('3','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">5.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Walsh, Liam;  Dingel, Juergen;  Jahed, Karim<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('5','tp_links')\" style=\"cursor:pointer;\">Toward Client-Agnostic Hybrid Model Editor Tools as a Service. Extended Abstract booktitle = Second International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS'20)<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_pages\">pp. 1, <\/span><span class=\"tp_pub_additional_publisher\">ACM, <\/span><span class=\"tp_pub_additional_year\">2020<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_5\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('5','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_5\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('5','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_5\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{WDJ20,<br \/>\r\ntitle = {Toward Client-Agnostic Hybrid Model Editor Tools as a Service. Extended Abstract booktitle = Second International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS'20)},<br \/>\r\nauthor = {Liam Walsh and Juergen Dingel and Karim Jahed},<br \/>\r\nurl = {https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3421440},<br \/>\r\ndoi = {10.1145\/3417990.3421440},<br \/>\r\nyear  = {2020},<br \/>\r\ndate = {2020-10-01},<br \/>\r\npages = {1},<br \/>\r\npublisher = {ACM},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('5','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_5\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3421440\" title=\"https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3421440\" target=\"_blank\">https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3421440<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1145\/3417990.3421440\" title=\"Follow DOI:10.1145\/3417990.3421440\" target=\"_blank\">doi:10.1145\/3417990.3421440<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('5','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_article\"><div class=\"tp_pub_number\">6.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Bagherzadeh, Mojtaba;  Kahani, Nafiseh;  Jahed, Karim;  Dingel, Juergen<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('6','tp_links')\" style=\"cursor:pointer;\">Execution of Partial State Machine Models<\/a> <span class=\"tp_pub_type tp_  article\">Journal Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_journal\">IEEE Transactions on Software Engineering, <\/span><span class=\"tp_pub_additional_year\">2020<\/span><span class=\"tp_pub_additional_note\">, (In print)<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_6\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('6','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_6\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('6','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_6\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@article{BKJD20,<br \/>\r\ntitle = {Execution of Partial State Machine Models},<br \/>\r\nauthor = {Mojtaba Bagherzadeh and Nafiseh Kahani and Karim Jahed and Juergen Dingel},<br \/>\r\nurl = {https:\/\/ieeexplore.ieee.org\/document\/9139402},<br \/>\r\ndoi = {10.1109\/TSE.2020.3008850},<br \/>\r\nyear  = {2020},<br \/>\r\ndate = {2020-01-01},<br \/>\r\njournal = {IEEE Transactions on Software Engineering},<br \/>\r\npublisher = {IEEE},<br \/>\r\nnote = {In print},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {article}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('6','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_6\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/ieeexplore.ieee.org\/document\/9139402\" title=\"https:\/\/ieeexplore.ieee.org\/document\/9139402\" target=\"_blank\">https:\/\/ieeexplore.ieee.org\/document\/9139402<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1109\/TSE.2020.3008850\" title=\"Follow DOI:10.1109\/TSE.2020.3008850\" target=\"_blank\">doi:10.1109\/TSE.2020.3008850<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('6','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_article\"><div class=\"tp_pub_number\">7.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Hili, Nicolas;  Bagherzadeh, Mojtaba;  Jahed, Karim;  Dingel, Juergen<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('8','tp_links')\" style=\"cursor:pointer;\">A model-based architecture for interactive run-time monitoring<\/a> <span class=\"tp_pub_type tp_  article\">Journal Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_journal\">Software and Systems Modeling (SoSyM) publisher = Springer, <\/span><span class=\"tp_pub_additional_volume\">vol. 19, <\/span><span class=\"tp_pub_additional_number\">no. 4, <\/span><span class=\"tp_pub_additional_pages\">pp. 959-981, <\/span><span class=\"tp_pub_additional_year\">2020<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_8\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('8','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_8\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('8','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_8\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@article{HBJD20,<br \/>\r\ntitle = {A model-based architecture for interactive run-time monitoring},<br \/>\r\nauthor = {Nicolas Hili and Mojtaba Bagherzadeh and Karim Jahed and Juergen Dingel},<br \/>\r\nurl = {http:\/\/link.springer.com\/article\/10.1007\/s10270-020-00780-y},<br \/>\r\ndoi = {10.1007\/s10270-020-00780-y},<br \/>\r\nyear  = {2020},<br \/>\r\ndate = {2020-01-01},<br \/>\r\njournal = {Software and Systems Modeling (SoSyM) publisher = Springer},<br \/>\r\nvolume = {19},<br \/>\r\nnumber = {4},<br \/>\r\npages = {959-981},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {article}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('8','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_8\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"http:\/\/link.springer.com\/article\/10.1007\/s10270-020-00780-y\" title=\"http:\/\/link.springer.com\/article\/10.1007\/s10270-020-00780-y\" target=\"_blank\">http:\/\/link.springer.com\/article\/10.1007\/s10270-020-00780-y<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1007\/s10270-020-00780-y\" title=\"Follow DOI:10.1007\/s10270-020-00780-y\" target=\"_blank\">doi:10.1007\/s10270-020-00780-y<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('8','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_article\"><div class=\"tp_pub_number\">8.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Jahed, Karim;  Bagherzadeh, Mojtaba;  Dingel, Juergen<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('7','tp_links')\" style=\"cursor:pointer;\">On the Benefits of File-level Modularity in the Context of Model-driven Development<\/a> <span class=\"tp_pub_type tp_  article\">Journal Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_journal\">Software and Systems Modeling (SoSyM), <\/span><span class=\"tp_pub_additional_volume\">vol. 20, <\/span><span class=\"tp_pub_additional_pages\">pp. 267-286, <\/span><span class=\"tp_pub_additional_year\">2020<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_7\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('7','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_7\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('7','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_7\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@article{JDB20,<br \/>\r\ntitle = {On the Benefits of File-level Modularity in the Context of Model-driven Development},<br \/>\r\nauthor = {Karim Jahed and Mojtaba Bagherzadeh and Juergen Dingel},<br \/>\r\nurl = {https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00804-7},<br \/>\r\ndoi = {10.1007\/s10270-020-00804-7},<br \/>\r\nyear  = {2020},<br \/>\r\ndate = {2020-01-01},<br \/>\r\njournal = {Software and Systems Modeling (SoSyM)},<br \/>\r\nvolume = {20},<br \/>\r\npages = {267-286},<br \/>\r\npublisher = {Springer},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {article}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('7','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_7\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00804-7\" title=\"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00804-7\" target=\"_blank\">https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00804-7<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1007\/s10270-020-00804-7\" title=\"Follow DOI:10.1007\/s10270-020-00804-7\" target=\"_blank\">doi:10.1007\/s10270-020-00804-7<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('7','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">9.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ahmadi, Reza;  Jahed, Karim;  Dingel, Juergen<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('9','tp_links')\" style=\"cursor:pointer;\">mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). Demonstration track, <\/span><span class=\"tp_pub_additional_pages\">pp. 1182-1185, <\/span><span class=\"tp_pub_additional_publisher\">IEEE, <\/span><span class=\"tp_pub_additional_address\">San Diego, California, USA, <\/span><span class=\"tp_pub_additional_year\">2019<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_9\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('9','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_9\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('9','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_9\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{AJD19,<br \/>\r\ntitle = {mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines},<br \/>\r\nauthor = {Reza Ahmadi and Karim Jahed and Juergen Dingel},<br \/>\r\nurl = {https:\/\/ieeexplore.ieee.org\/abstract\/document\/8952438},<br \/>\r\ndoi = {10.1109\/ASE.2019.00132},<br \/>\r\nyear  = {2019},<br \/>\r\ndate = {2019-11-01},<br \/>\r\nbooktitle = {34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). Demonstration track},<br \/>\r\npages = {1182-1185},<br \/>\r\npublisher = {IEEE},<br \/>\r\naddress = {San Diego, California, USA},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('9','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_9\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/ieeexplore.ieee.org\/abstract\/document\/8952438\" title=\"https:\/\/ieeexplore.ieee.org\/abstract\/document\/8952438\" target=\"_blank\">https:\/\/ieeexplore.ieee.org\/abstract\/document\/8952438<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1109\/ASE.2019.00132\" title=\"Follow DOI:10.1109\/ASE.2019.00132\" target=\"_blank\">doi:10.1109\/ASE.2019.00132<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('9','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">10.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Bagherzadeh, Mojtaba;  Jahed, Karim;  Kahani, Nafiseh;  Dingel, Juergen<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('10','tp_links')\" style=\"cursor:pointer;\">PMExec: An Execution Engine of Partial UML-RT Models<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). Demonstration track, <\/span><span class=\"tp_pub_additional_pages\">pp. 1178-1181, <\/span><span class=\"tp_pub_additional_publisher\">IEEE, <\/span><span class=\"tp_pub_additional_address\">San Diego, California, USA, <\/span><span class=\"tp_pub_additional_year\">2019<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_10\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('10','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_10\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('10','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_10\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{BJKD19,<br \/>\r\ntitle = {PMExec: An Execution Engine of Partial UML-RT Models},<br \/>\r\nauthor = {Mojtaba Bagherzadeh and Karim Jahed and Nafiseh Kahani and Juergen Dingel},<br \/>\r\nurl = {https:\/\/ieeexplore.ieee.org\/document\/8952369},<br \/>\r\ndoi = {10.1109\/ASE.2019.00131},<br \/>\r\nyear  = {2019},<br \/>\r\ndate = {2019-11-01},<br \/>\r\nbooktitle = {34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). Demonstration track},<br \/>\r\npages = {1178-1181},<br \/>\r\npublisher = {IEEE},<br \/>\r\naddress = {San Diego, California, USA},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('10','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_10\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/ieeexplore.ieee.org\/document\/8952369\" title=\"https:\/\/ieeexplore.ieee.org\/document\/8952369\" target=\"_blank\">https:\/\/ieeexplore.ieee.org\/document\/8952369<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1109\/ASE.2019.00131\" title=\"Follow DOI:10.1109\/ASE.2019.00131\" target=\"_blank\">doi:10.1109\/ASE.2019.00131<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('10','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">11.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Babaei, Majid;  Jahed, Karim;  Dingel, Juergen<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('11','tp_links')\" style=\"cursor:pointer;\">Solving the RoboSoccer challenge problem with UML-RT and Papyrus-RT<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">MDETools'19, <\/span><span class=\"tp_pub_additional_pages\">pp. 221-227, <\/span><span class=\"tp_pub_additional_publisher\">IEEE doi = 10.1109\/MODELS-C.2019.00036, <\/span><span class=\"tp_pub_additional_year\">2019<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_11\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('11','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_11\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('11','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_11\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{BJD19,<br \/>\r\ntitle = {Solving the RoboSoccer challenge problem with UML-RT and Papyrus-RT},<br \/>\r\nauthor = {Majid Babaei and Karim Jahed and Juergen Dingel},<br \/>\r\nurl = {https:\/\/ieeexplore.ieee.org\/abstract\/document\/8904710},<br \/>\r\nyear  = {2019},<br \/>\r\ndate = {2019-09-01},<br \/>\r\nbooktitle = {MDETools'19},<br \/>\r\npages = {221-227},<br \/>\r\npublisher = {IEEE doi = 10.1109\/MODELS-C.2019.00036},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('11','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_11\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/ieeexplore.ieee.org\/abstract\/document\/8904710\" title=\"https:\/\/ieeexplore.ieee.org\/abstract\/document\/8904710\" target=\"_blank\">https:\/\/ieeexplore.ieee.org\/abstract\/document\/8904710<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('11','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">12.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Bagherzadeh, Mojtaba;  Jahed, Karim;  Combemale, Benoit;  Dingel, Juergen<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('12','tp_links')\" style=\"cursor:pointer;\">Live-UMLRT: A Tool for Live Modeling of UML-RT Models<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">ACM\/IEEE 22st International Conference on Model Driven Engineering Languages and Systems Companion (MODELS'19-C), <\/span><span class=\"tp_pub_additional_pages\">pp. 743-747, <\/span><span class=\"tp_pub_additional_publisher\">IEEE, <\/span><span class=\"tp_pub_additional_year\">2019<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_12\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('12','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_12\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('12','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_12\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{BJCD19,<br \/>\r\ntitle = {Live-UMLRT: A Tool for Live Modeling of UML-RT Models},<br \/>\r\nauthor = {Mojtaba Bagherzadeh and Karim Jahed and Benoit Combemale and Juergen Dingel},<br \/>\r\nurl = {https:\/\/ieeexplore.ieee.org\/document\/8904869},<br \/>\r\ndoi = {10.1109\/MODELS-C.2019.00115},<br \/>\r\nyear  = {2019},<br \/>\r\ndate = {2019-09-01},<br \/>\r\nbooktitle = {ACM\/IEEE 22st International Conference on Model Driven Engineering Languages and Systems Companion (MODELS'19-C)},<br \/>\r\npages = {743-747},<br \/>\r\npublisher = {IEEE},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('12','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_12\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/ieeexplore.ieee.org\/document\/8904869\" title=\"https:\/\/ieeexplore.ieee.org\/document\/8904869\" target=\"_blank\">https:\/\/ieeexplore.ieee.org\/document\/8904869<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1109\/MODELS-C.2019.00115\" title=\"Follow DOI:10.1109\/MODELS-C.2019.00115\" target=\"_blank\">doi:10.1109\/MODELS-C.2019.00115<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('12','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">13.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Rajbahadur, Gopi Krishnan;  Oliva, Gustavo;  Hassan, Ahmed;  Dingel, Juergen<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('13','tp_links')\" style=\"cursor:pointer;\">Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">ACM\/IEEE 22st International Conference on Model Driven Engineering Languages and Systems (MODELS'19), <\/span><span class=\"tp_pub_additional_pages\">pp. 12-22, <\/span><span class=\"tp_pub_additional_publisher\">IEEE, <\/span><span class=\"tp_pub_additional_address\">Munich, Germany, <\/span><span class=\"tp_pub_additional_year\">2019<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_13\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('13','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_13\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('13','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_13\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{ROHD19b,<br \/>\r\ntitle = {Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines},<br \/>\r\nauthor = {Gopi Krishnan Rajbahadur and Gustavo Oliva and Ahmed Hassan and Juergen Dingel},<br \/>\r\nurl = {https:\/\/ieeexplore.ieee.org\/document\/8906968},<br \/>\r\ndoi = {10.1109\/MODELS.2019.00-19},<br \/>\r\nyear  = {2019},<br \/>\r\ndate = {2019-09-01},<br \/>\r\nbooktitle = {ACM\/IEEE 22st International Conference on Model Driven Engineering Languages and Systems (MODELS'19)},<br \/>\r\npages = {12-22},<br \/>\r\npublisher = {IEEE},<br \/>\r\naddress = {Munich, Germany},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('13','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_13\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/ieeexplore.ieee.org\/document\/8906968\" title=\"https:\/\/ieeexplore.ieee.org\/document\/8906968\" target=\"_blank\">https:\/\/ieeexplore.ieee.org\/document\/8906968<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1109\/MODELS.2019.00-19\" title=\"Follow DOI:10.1109\/MODELS.2019.00-19\" target=\"_blank\">doi:10.1109\/MODELS.2019.00-19<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('13','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">14.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Rajbahadur, Gopi Krishnan;  Oliva, Gustavo;  Hassan, Ahmed;  Dingel, Juergen<\/p><p class=\"tp_pub_title\">Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">ACM\/IEEE 22st International Conference on Model Driven Engineering Languages and Systems (MODELS'19), <\/span><span class=\"tp_pub_additional_publisher\">IEEE, <\/span><span class=\"tp_pub_additional_address\">Munich, Germany, <\/span><span class=\"tp_pub_additional_year\">2019<\/span><span class=\"tp_pub_additional_note\">, (To appear)<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_14\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('14','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_14\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{ROHD19,<br \/>\r\ntitle = {Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines},<br \/>\r\nauthor = {Gopi Krishnan Rajbahadur and Gustavo Oliva and Ahmed Hassan and Juergen Dingel},<br \/>\r\nyear  = {2019},<br \/>\r\ndate = {2019-09-01},<br \/>\r\nbooktitle = {ACM\/IEEE 22st International Conference on Model Driven Engineering Languages and Systems (MODELS'19)},<br \/>\r\npublisher = {IEEE},<br \/>\r\naddress = {Munich, Germany},<br \/>\r\nnote = {To appear},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('14','tp_bibtex')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">15.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ahmadi, Reza;  Dingel, Juergen<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('15','tp_links')\" style=\"cursor:pointer;\">Concolic Testing for Models of State-based Systems<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE'19), <\/span><span class=\"tp_pub_additional_pages\">pp. 4-15, <\/span><span class=\"tp_pub_additional_publisher\">ACM, <\/span><span class=\"tp_pub_additional_address\">Tallinn, Estonia, <\/span><span class=\"tp_pub_additional_year\">2019<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_15\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('15','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_15\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('15','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_15\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{AD19b,<br \/>\r\ntitle = {Concolic Testing for Models of State-based Systems},<br \/>\r\nauthor = {Reza Ahmadi and Juergen Dingel},<br \/>\r\nurl = {https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338908},<br \/>\r\ndoi = {10.1145\/3338906.3338908},<br \/>\r\nyear  = {2019},<br \/>\r\ndate = {2019-08-01},<br \/>\r\nbooktitle = {27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE'19)},<br \/>\r\npages = {4-15},<br \/>\r\npublisher = {ACM},<br \/>\r\naddress = {Tallinn, Estonia},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('15','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_15\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338908\" title=\"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338908\" target=\"_blank\">https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338908<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1145\/3338906.3338908\" title=\"Follow DOI:10.1145\/3338906.3338908\" target=\"_blank\">doi:10.1145\/3338906.3338908<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('15','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">16.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ahmadi, Reza;  Dingel, Juergen<\/p><p class=\"tp_pub_title\">Concolic Testing for Models of State-based Systems <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE'19), <\/span><span class=\"tp_pub_additional_publisher\">ACM, <\/span><span class=\"tp_pub_additional_address\">Tallinn, Estonia, <\/span><span class=\"tp_pub_additional_year\">2019<\/span><span class=\"tp_pub_additional_note\">, (To appear)<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_16\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('16','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_16\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{AD19,<br \/>\r\ntitle = {Concolic Testing for Models of State-based Systems},<br \/>\r\nauthor = {Reza Ahmadi and Juergen Dingel},<br \/>\r\nyear  = {2019},<br \/>\r\ndate = {2019-08-01},<br \/>\r\nbooktitle = {27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE'19)},<br \/>\r\npublisher = {ACM},<br \/>\r\naddress = {Tallinn, Estonia},<br \/>\r\nnote = {To appear},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('16','tp_bibtex')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">17.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Jahed, Karim;  Dingel, J<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('17','tp_links')\" style=\"cursor:pointer;\">Enabling Model-Driven Software Development Tools for the Internet of Things<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">11th Workshop on Modeling in Software Engineering (MiSE'19), <\/span><span class=\"tp_pub_additional_pages\">pp. 93-99, <\/span><span class=\"tp_pub_additional_publisher\">IEEE, <\/span><span class=\"tp_pub_additional_address\">Montreal, Canada, <\/span><span class=\"tp_pub_additional_year\">2019<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_17\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('17','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_17\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('17','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_17\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{JD19b,<br \/>\r\ntitle = {Enabling Model-Driven Software Development Tools for the Internet of Things},<br \/>\r\nauthor = {Karim Jahed and J Dingel},<br \/>\r\nurl = {https:\/\/doi.org\/10.1109\/MiSE.2019.00022},<br \/>\r\ndoi = {10.1109\/MiSE.2019.00022},<br \/>\r\nyear  = {2019},<br \/>\r\ndate = {2019-05-01},<br \/>\r\nbooktitle = {11th Workshop on Modeling in Software Engineering (MiSE'19)},<br \/>\r\npages = {93-99},<br \/>\r\npublisher = {IEEE},<br \/>\r\naddress = {Montreal, Canada},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('17','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_17\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/doi.org\/10.1109\/MiSE.2019.00022\" title=\"https:\/\/doi.org\/10.1109\/MiSE.2019.00022\" target=\"_blank\">https:\/\/doi.org\/10.1109\/MiSE.2019.00022<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1109\/MiSE.2019.00022\" title=\"Follow DOI:10.1109\/MiSE.2019.00022\" target=\"_blank\">doi:10.1109\/MiSE.2019.00022<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('17','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">18.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Jahed, Karim;  Dingel, J<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('18','tp_links')\" style=\"cursor:pointer;\">Enabling Model-Driven Software Development Tools for the Internet of Things<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">11th Workshop on Modeling in Software Engineering (MiSE'19), <\/span><span class=\"tp_pub_additional_pages\">pp. 93-99, <\/span><span class=\"tp_pub_additional_publisher\">IEEE, <\/span><span class=\"tp_pub_additional_address\">Montreal, Canada, <\/span><span class=\"tp_pub_additional_year\">2019<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_18\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('18','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_18\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('18','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_18\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{JD19,<br \/>\r\ntitle = {Enabling Model-Driven Software Development Tools for the Internet of Things},<br \/>\r\nauthor = {Karim Jahed and J Dingel},<br \/>\r\nurl = {https:\/\/doi.org\/10.1109\/MiSE.2019.00022},<br \/>\r\ndoi = {10.1109\/MiSE.2019.00022},<br \/>\r\nyear  = {2019},<br \/>\r\ndate = {2019-05-01},<br \/>\r\nbooktitle = {11th Workshop on Modeling in Software Engineering (MiSE'19)},<br \/>\r\npages = {93-99},<br \/>\r\npublisher = {IEEE},<br \/>\r\naddress = {Montreal, Canada},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('18','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_18\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/doi.org\/10.1109\/MiSE.2019.00022\" title=\"https:\/\/doi.org\/10.1109\/MiSE.2019.00022\" target=\"_blank\">https:\/\/doi.org\/10.1109\/MiSE.2019.00022<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1109\/MiSE.2019.00022\" title=\"Follow DOI:10.1109\/MiSE.2019.00022\" target=\"_blank\">doi:10.1109\/MiSE.2019.00022<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('18','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_article\"><div class=\"tp_pub_number\">19.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Atampore, Francis;  Dingel, Juergen;  Rudie, Karen<\/p><p class=\"tp_pub_title\">A Controller Synthesis Framework for Automated Service Composition <span class=\"tp_pub_type tp_  article\">Journal Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_journal\">Discrete Event Dynamic Systems (JDEDS), <\/span><span class=\"tp_pub_additional_volume\">vol. 29, <\/span><span class=\"tp_pub_additional_pages\">pp. 297-365, <\/span><span class=\"tp_pub_additional_year\">2019<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_19\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('19','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_19\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@article{ADR19b,<br \/>\r\ntitle = {A Controller Synthesis Framework for Automated Service Composition},<br \/>\r\nauthor = {Francis Atampore and Juergen Dingel and Karen Rudie},<br \/>\r\nyear  = {2019},<br \/>\r\ndate = {2019-01-01},<br \/>\r\njournal = {Discrete Event Dynamic Systems (JDEDS)},<br \/>\r\nvolume = {29},<br \/>\r\npages = {297-365},<br \/>\r\npublisher = {Springer},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {article}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('19','tp_bibtex')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_article\"><div class=\"tp_pub_number\">20.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Atampore, Francis;  Dingel, Juergen;  Rudie, Karen<\/p><p class=\"tp_pub_title\">A Controller Synthesis Framework for Automated Service Composition <span class=\"tp_pub_type tp_  article\">Journal Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_journal\">Discrete Event Dynamic Systems (JDEDS), <\/span><span class=\"tp_pub_additional_year\">2019<\/span><span class=\"tp_pub_additional_note\">, (To appear)<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_20\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('20','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_20\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@article{ADR19,<br \/>\r\ntitle = {A Controller Synthesis Framework for Automated Service Composition},<br \/>\r\nauthor = {Francis Atampore and Juergen Dingel and Karen Rudie},<br \/>\r\nyear  = {2019},<br \/>\r\ndate = {2019-01-01},<br \/>\r\njournal = {Discrete Event Dynamic Systems (JDEDS)},<br \/>\r\npublisher = {Springer},<br \/>\r\nnote = {To appear},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {article}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('20','tp_bibtex')\">Close<\/a><\/p><\/div><\/div><\/div><\/div><div class=\"tablenav\"><div class=\"tablenav-pages\"><span class=\"displaying-num\">290 entries<\/span> <a class=\"page-numbers button disabled\">&laquo;<\/a> <a class=\"page-numbers button disabled\">&lsaquo;<\/a> 1 of 15 <a href=\"https:\/\/labs.cs.queensu.ca\/mase\/publications\/?limit=2&amp;tgid=&amp;yr=&amp;type=&amp;usr=&amp;auth=&amp;tsr=\" title=\"next page\" class=\"page-numbers button\">&rsaquo;<\/a> <a href=\"https:\/\/labs.cs.queensu.ca\/mase\/publications\/?limit=15&amp;tgid=&amp;yr=&amp;type=&amp;usr=&amp;auth=&amp;tsr=\" title=\"last page\" class=\"page-numbers button\">&raquo;<\/a> <\/div><\/div><\/div>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>View publications by: year | type Most publications prior to 2021 are listed below. For an up-to-date list that also [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"_uag_custom_page_level_css":"","site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"class_list":["post-13","page","type-page","status-publish","hentry"],"acf":[],"spectra_custom_meta":{"_edit_last":["2"],"_wp_page_template":["default"],"_edit_lock":["1736963523:2"],"_uag_page_assets":["a:9:{s:3:\"css\";s:263:\".uag-blocks-common-selector{z-index:var(--z-index-desktop) !important}@media (max-width: 976px){.uag-blocks-common-selector{z-index:var(--z-index-tablet) !important}}@media (max-width: 767px){.uag-blocks-common-selector{z-index:var(--z-index-mobile) !important}}\n\";s:2:\"js\";s:0:\"\";s:18:\"current_block_list\";a:11:{i:0;s:14:\"core\/paragraph\";i:1;s:14:\"core\/shortcode\";i:2;s:11:\"core\/search\";i:3;s:10:\"core\/group\";i:4;s:12:\"core\/heading\";i:5;s:17:\"core\/latest-posts\";i:6;s:20:\"core\/latest-comments\";i:7;s:13:\"core\/archives\";i:8;s:15:\"core\/categories\";i:9;s:12:\"core\/columns\";i:10;s:11:\"core\/column\";}s:8:\"uag_flag\";b:0;s:11:\"uag_version\";s:10:\"1761579844\";s:6:\"gfonts\";a:0:{}s:10:\"gfonts_url\";s:0:\"\";s:12:\"gfonts_files\";a:0:{}s:14:\"uag_faq_layout\";b:0;}"],"_uag_css_file_name":["uag-css-13.css"]},"uagb_featured_image_src":{"full":false,"thumbnail":false,"medium":false,"medium_large":false,"large":false,"1536x1536":false,"2048x2048":false},"uagb_author_info":{"display_name":"Doug Martin","author_link":"https:\/\/labs.cs.queensu.ca\/mase\/author\/dm70\/"},"uagb_comment_info":0,"uagb_excerpt":"View publications by: year | type Most publications prior to 2021 are listed below. For an up-to-date list that also [&hellip;]","_links":{"self":[{"href":"https:\/\/labs.cs.queensu.ca\/mase\/wp-json\/wp\/v2\/pages\/13","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/labs.cs.queensu.ca\/mase\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/labs.cs.queensu.ca\/mase\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/labs.cs.queensu.ca\/mase\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/labs.cs.queensu.ca\/mase\/wp-json\/wp\/v2\/comments?post=13"}],"version-history":[{"count":4,"href":"https:\/\/labs.cs.queensu.ca\/mase\/wp-json\/wp\/v2\/pages\/13\/revisions"}],"predecessor-version":[{"id":382,"href":"https:\/\/labs.cs.queensu.ca\/mase\/wp-json\/wp\/v2\/pages\/13\/revisions\/382"}],"wp:attachment":[{"href":"https:\/\/labs.cs.queensu.ca\/mase\/wp-json\/wp\/v2\/media?parent=13"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}