CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://conf.researchr.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://conf.researchr.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>MODELS 2020 - Technical Track - MODELS 2020</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://conf.researchr.org";</script> <link rel="stylesheet" href="https://conf.researchr.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/getFile/90d3301c-8d5f-4628-8170-a5fdb8457b7f/custom.css?1596670473531" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='About Contributions related to all aspects of modeling, modeling languages and model-based engineering are cordially invited to the 23rd edition of MODELS, in Montreal, Canada 18-23 October 2020. MODELS is the premier conference series for model-based software and systems engineering. Since 1998, MODELS has covered all aspects of modeling, from languages and methods, to tools and applications. Attendees of MODELS come from diverse backgrounds, including researchers, academics, engineers and industrial professionals. MODELS 2020 is a forum for participants to exchange cutting-edge resea ...'> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://conf.researchr.org/getImage/models-2020/carousel/07695h.jpg?1568745159000'> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ var isActivatingFirstTab = false; // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ if(!isActivatingFirstTab){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ const firstItem = $(this).find('a[data-toggle="tab"]').first(); isActivatingFirstTab = true; firstItem.tab('show'); isActivatingFirstTab = false; } }); } </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='MODELS 2020 - Technical Track - MODELS 2020'>  <meta name='description' content='About Contributions related to all aspects of modeling, modeling languages and model-based engineering are cordially invited to the 23rd edition of MODELS, in Montreal, Canada 18-23 October 2020. MODELS is the premier conference series for model-based software and systems engineering. Since 1998, MODELS has covered all aspects of modeling, from languages and methods, to tools and applications. Attendees of MODELS come from diverse backgrounds, including researchers, academics, engineers and industrial professionals. MODELS 2020 is a forum for participants to exchange cutting-edge resea ...'> </head> <body id="track"><div class="frame"><a href="https://conf.researchr.org/blogposts/models-2020" class="blog-link btn btn-xs btn-default navigate">Write a Blog >></a><div class="logobar"><div class="container"><a href="https://conf.researchr.org/home/models-2020" class="navbar-brand navigate"><span class="brand-text">MODELS 2020</span></a><div class="place">Fri 16 - Fri 23 October 2020 <a href="https://conf.researchr.org/venue/models-2020/models-2020-venue" class="navigate"></a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/venue/models-2020/models-2020-venue" class="navigate">Venue: Online</a></li><li class="block"><a href="https://conf.researchr.org/attending/models-2020/registration" class="navigate">Registration</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Sponsorship <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/info/models-2020/sponsors-and-supporters" class="navigate">Sponsors and Supporters</a></li><li class="block"><a href="https://conf.researchr.org/info/models-2020/Sponsorship+Opportunities" class="navigate">Sponsorship</a></li><li class="block"><a href="https://conf.researchr.org/info/models-2020/message-from-the-general-chairs" class="navigate">Impact of COVID-19</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/program/models-2020/program-models-2020/" class="navigate">MODELS Program</a></li><li class="block"><a href="https://conf.researchr.org/program/models-2020/program-models-2020/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block"><a href="https://conf.researchr.org/info/models-2020/program-overview" class="navigate">Program Overview</a></li><li class="block"><a href="https://conf.researchr.org/info/models-2020/conference-proceedings" class="navigate">Conference Proceedings</a></li><li class="block divider"></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Filter by Day</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/program/models-2020/program-models-2020/" data-fltr-type="date" data-fltr-val="Fri 16 Oct 2020" class="navigate">Fri 16 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/models-2020/program-models-2020/" data-fltr-type="date" data-fltr-val="Sat 17 Oct 2020" class="navigate">Sat 17 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/models-2020/program-models-2020/" data-fltr-type="date" data-fltr-val="Sun 18 Oct 2020" class="navigate">Sun 18 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/models-2020/program-models-2020/" data-fltr-type="date" data-fltr-val="Mon 19 Oct 2020" class="navigate">Mon 19 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/models-2020/program-models-2020/" data-fltr-type="date" data-fltr-val="Tue 20 Oct 2020" class="navigate">Tue 20 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/models-2020/program-models-2020/" data-fltr-type="date" data-fltr-val="Wed 21 Oct 2020" class="navigate">Wed 21 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/models-2020/program-models-2020/" data-fltr-type="date" data-fltr-val="Thu 22 Oct 2020" class="navigate">Thu 22 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/models-2020/program-models-2020/" data-fltr-type="date" data-fltr-val="Fri 23 Oct 2020" class="navigate">Fri 23 Oct</a></li></ul></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="block dropdown-header">MODELS 2020</li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" class="navigate">Technical Track</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-industry-days" class="navigate">Industry Days</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-artifact-evaluation" class="navigate">Artifact Evaluation</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-educators-symposium" class="navigate">Educators Symposium</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-tools---demonstrations" class="navigate">Tools & Demonstrations</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-posters" class="navigate">Posters</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-tutorials" class="navigate">Tutorials</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-doctoral-symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-acm-student-research-competition" class="navigate">ACM Student Research Competition</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/awards" class="navigate">Awards</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-panel" class="navigate">Panel</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-models-information" class="navigate">MODELS</a></li><li class="block"><a href="https://conf.researchr.org/track/models-2020/models-2020-sam-conference" class="navigate">SAM Conference</a></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="block dropdown-header">MODELS 2020 Committees</li><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-steering-committee" class="navigate">Steering Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Technical Track</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-technical-track-pc---foundations-track" class="navigate">PC - Foundations Track</a></li><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-technical-track-pc---practice-and-innovation-track" class="navigate">PC - Practice and Innovation Track</a></li><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-technical-track-program-board" class="navigate">Program Board</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Artifact Evaluation</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-artifact-evaluation-chairs---artifact-evaluation" class="navigate">Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-artifact-evaluation-artifact-evaluation-committee" class="navigate">Artifact Evaluation Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Educators Symposium</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-education-symposium-chairs-education-symposium" class="navigate">Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-education-symposium-pc---education-symposium" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Tools & Demonstrations</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-tools---demonstrations-chairs---tools_demonstrations" class="navigate">Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-tools---demonstrations-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Posters</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-posters-chairs---posters" class="navigate">Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-posters-poster-committee" class="navigate">Poster Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Workshops</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-workshops-chairs" class="navigate">Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-workshops-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Tutorials</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-tutorials-chairs-tutorials" class="navigate">Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-tutorials-pc---tutorials" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Doctoral Symposium</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-doctoral-symposium-chairs---doctoral-symposium" class="navigate">Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-doctoral-symposium-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ACM Student Research Competition</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-acm-student-research-competition-chairs---acm-student-research-competition" class="navigate">Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/models-2020/models-2020-acm-student-research-competition-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://conf.researchr.org/people-index/models-2020" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div></div></ul></li><li class="block"><a href="https://conf.researchr.org/search/models-2020//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/series/models" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://conf.researchr.org/home/models-2025" class="navigate">MODELS 2025</a></li><li class="block"><a href="https://conf.researchr.org/home/models-2024" class="navigate">MODELS 2024</a></li><li class="block"><a href="https://conf.researchr.org/home/models-2023" class="navigate">MODELS 2023</a></li><li class="block"><a href="https://conf.researchr.org/home/models-2022" class="navigate">MODELS 2022</a></li><li class="block"><a href="https://conf.researchr.org/home/models-2021" class="navigate">MODELS 2021</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> MODELS 2020</span></li><li class="block"><a href="https://modelsconf19.org/" target="_blank" class="navigate">MODELS 2019 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="https://modelsconf2018.github.io/" target="_blank" class="navigate">MODELS 2018 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="https://www.cs.utexas.edu/models2017/home" target="_blank" class="navigate">MODELS 2017 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://models2016.irisa.fr/" target="_blank" class="navigate">MODELS 2016 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://cruise.eecs.uottawa.ca/models2015/" target="_blank" class="navigate">MODELS 2015 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://models2014.webs.upv.es/" target="_blank" class="navigate">MODELS 2014 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://models2013.lcc.uma.es/" target="_blank" class="navigate">MODELS 2013 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.models2012.info/" target="_blank" class="navigate">MODELS 2012 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecs.victoria.ac.nz/Events/MODELS2011/" target="_blank" class="navigate">MODELS 2011 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://models2010.ifi.uio.no/" target="_blank" class="navigate">MODELS 2010 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.cs.colostate.edu/models09/index.html" target="_blank" class="navigate">MODELS 2009 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.irit.fr/models/index.html" target="_blank" class="navigate">MODELS 2008 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://models2007.isis.vanderbilt.edu/index.html" target="_blank" class="navigate">MODELS 2007 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://web.archive.org/web/20070609154305/http://www.disi.unige.it/researchsites/models06/" target="_blank" class="navigate">MODELS 2006 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.cs.colostate.edu/models05" target="_blank" class="navigate">MODELS 2005 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ctp.di.fct.unl.pt/UML2004/" target="_blank" class="navigate">UML 2004 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://web.archive.org/web/20041207030726/http://ase.arc.nasa.gov/uml03/" target="_blank" class="navigate">UML 2003 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://web.archive.org/web/20021109171924/www.inf.tu-dresden.de/uml/index.html" target="_blank" class="navigate">UML 2002 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.cs.toronto.edu/uml2001/" target="_blank" class="navigate">UML 2001 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://web.archive.org/web/20011211123038/http://www.cs.york.ac.uk/uml2000/" target="_blank" class="navigate">UML 2000 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://web.archive.org/web/20001218004600/www.cs.colostate.edu/UML99" target="_blank" class="navigate">UML 1999 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://web.archive.org/web/20001205155000/www.essaim.univ-mulhouse.fr/uml/evenements/index.html" target="_blank" class="navigate">UML 1998 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/models-2020/https%3A%5Es%5Esconf.researchr.org%5Estrack%5Esmodels-2020%5Esmodels-2020-technical-track" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://conf.researchr.org/signup/models-2020" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/models-2020" class="navigate">MODELS 2020</a> (<a href="https://conf.researchr.org/series/models" class="navigate">series</a>) / </span><h1>Technical Track<span class="pull-right small h1">MODELS 2020</span></h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li><li><a href="#Submission-and-Evaluation-Process" data-toggle="tab">Submission and Evaluation Process</a></li><li><a href="#Accepted-papers" data-toggle="tab">Accepted papers</a></li><li><a href="#Call-for-papers" data-toggle="tab">Call for papers</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "><h2><a href="#about" id="about" class="anchor-link">About</a></h2> <hr> <p>Contributions related to all aspects of modeling, modeling languages and model-based engineering are cordially invited to the 23rd edition of MODELS, in Montreal, Canada 18-23 October 2020.</p> <p>MODELS is the premier conference series for model-based software and systems engineering. Since 1998, MODELS has covered all aspects of modeling, from languages and methods, to tools and applications. Attendees of MODELS come from diverse backgrounds, including researchers, academics, engineers and industrial professionals. MODELS 2020 is a forum for participants to exchange cutting-edge research results and innovative practical experiences around modeling and model-based software and systems.</p> <p>This year’s edition will provide an opportunity for the modeling community to further advance the foundations of modeling, and come up with innovative applications of modeling in emerging areas of cyber-physical systems, embedded systems, socio-technical systems, cloud computing, big data, machine learning, security, open source, and sustainability.</p> <p>In 2020, MODELS has a special theme on “Modeling in the era of data”. We especially encourage contributions where model-driven engineering intersects with research and applications on, not exclusively, data curation, data science, artificial intelligence, machine learning, Internet of Things, and smart cities.</p> <p>We invite you to join us at <em>MODELS 2020</em>, Montreal, Canada and to help shape the modelling methods and technologies of the future!</p> <h2><a href="#topic-of-interest" id="topic-of-interest" class="anchor-link">Topic of Interest</a></h2> <p>MODELS 2020 seeks submissions on diverse topics related to modeling for software and systems engineering, including, but not limited to:</p> <ul> <li> <p>Foundations of MBE, including definition of the syntax and semantics of modeling and model transformation languages.</p> </li> <li> <p>New paradigms, formalisms, applications, approaches, frameworks, or processes for MBE.</p> </li> <li> <p>Definition, usage, and analysis of generative and reengineering approaches.</p> </li> <li> <p>Development of systems engineering and modeling-in-the-large concepts.</p> </li> <li> <p>Search-based MBE and artificial intelligence for MBE.</p> </li> <li> <p>Human factors in model-based software and systems engineering.</p> </li> <li> <p>Tools, meta-tools and language workbenches for MBE, including model management.</p> </li> <li> <p>Integration of modeling languages and tools (hybrid multi-modeling approaches).</p> </li> <li> <p>Evaluation and comparison of modeling languages, techniques and tools.</p> </li> <li> <p>Quality assurance (analysis, testing, verification) for functional and non-functional properties of models and model transformations.</p> </li> <li> <p>Collaborative modeling research to address global and team management issues (e.g., browser-based and cloud-enabled collaboration research and tools).</p> </li> <li> <p>Evolution of general-purpose modeling languages and related standards.</p> </li> <li> <p>Evidence-based education research for curricular concerns on modeling topics.</p> </li> <li> <p>Modeling in software engineering; applications of models to address general software engineering challenges.</p> </li> <li> <p>Modeling for specific challenges such as collaboration, scalability, security, interoperability, adaptability, flexibility, maintainability, dependability, reuse, energy efficiency, and uncertainty.</p> </li> <li> <p>Modeling with, and for, new and emerging systems and paradigms such as cyber-security, cyber-physical systems (CPSs), the internet of things (IoTs), cloud computing, DevOps, data analytics, data science, machine learning, big data, systems engineering, social media, devices and services, robotics, mobile applications, conversational agents, open source software, sustainability and modeling for social good.</p> </li> </ul> </div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row date-facets"><div class="col-sm-1"><strong>Dates</strong></div><div class="col-sm-11"><div data-facet-type="date" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://conf.researchr.org/userProgramSettingsModalConferenceEdition" accept-charset="UTF-8" method="POST" role="form" class="form-horizontal"><input type="hidden" name="form11390898770538530f0e2bbdb67872b491120c5c8a7" value="1" /><input type="hidden" name="context" value="models-2020" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT-04:00) Eastern Time (US & Canada)</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-09:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-08:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-07:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-07:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-06:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-06:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-05:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-05:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-04:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-04:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-03:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-02:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-02:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-02:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT+01:00) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT+01:00) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT+01:00) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT+01:00) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+02:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+03:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+03:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+03:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+03:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+03:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+10:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+11:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+11:00) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+12:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+13:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+13:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"models-2020"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != -300){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 21 Oct</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Eastern Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-11"><table data-facet-date="Wed 21 Oct 2020" data-facet-date-order="201021" data-facet-room="Room A" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">11:00 - 12:15</div></td><td colspan="2"><div class="session-info-in-table">A1-Model Transformation<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-a" target="_blank" class="room-link navigate">Room A</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/vadimzaytsev" target="_blank" class="navigate">Vadim Zaytsev</a><span class="prog-aff"> University of Twente, The Netherlands</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="12504948-96a1-49f7-a3ac-60ec4645675e" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="60f80442-6988-46ca-88b2-7093a104166c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="60f80442-6988-46ca-88b2-7093a104166c">Certifying Rule-Based Model Transformation Engines for Proof Preservation<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/zhengcheng" class="navigate">Zheng Cheng</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/massimotisi" class="navigate">Massimo Tisi</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/joachimhotonnier" class="navigate">Joachim Hotonnier</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="c9c8d8d5-26da-4ce5-a665-3febdbd87c78" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:20</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="c5b59a93-28b0-48c1-b2b9-ebb5e49e92ce" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c5b59a93-28b0-48c1-b2b9-ebb5e49e92ce">An Exploratory Study on Performance Engineering in Model Transformations<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/raffaelagroner" class="navigate">Raffaela Groner</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/luisbeaucamp" class="navigate">Luis Beaucamp</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/matthiastichy1" class="navigate">Matthias Tichy</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/steffenbecker" class="navigate">Steffen Becker</a><span class="prog-aff"> University of Stuttgart</span></div></td></tr><tr data-slot-id="75722012-f419-41f3-9778-908711e7a602" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:40</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="a0e73557-e13c-41a3-b231-ce38c4a4c1db" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a0e73557-e13c-41a3-b231-ce38c4a4c1db">Benchmarking bidirectional transformations: theory, implementation, application, and assessment<span class="pull-right"><span title="Journal-first research paper published in SoSym" data-facet-badge="J1st" class="output-badge" style="max-width:40px;"><span class="label-primary label">J1st</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/anthonyanjorin" class="navigate">Anthony Anjorin</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/thomasbuchmann" class="navigate">Thomas Buchmann</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/bernhardwestfechtel" class="navigate">Bernhard Westfechtel</a><span class="prog-aff"> University of Bayreuth</span>, <a href="https://conf.researchr.org/profile/models-2020/zinovydiskin" class="navigate">Zinovy Diskin</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/hsiangshangko1" class="navigate">Hsiang-Shang Ko</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/rominaeramo" class="navigate">Romina Eramo</a><span class="prog-aff"> University of L'Aquila</span>, <a href="https://conf.researchr.org/profile/models-2020/georghinkel" class="navigate">Georg Hinkel</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/leilasamimidehkordi" class="navigate">Leila Samimi-Dehkordi</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/albertzundorf" class="navigate">Albert Zündorf</a><span class="prog-aff"> Kassel University</span></div><a href="https://doi.org/10.1007/s10270-019-00752-x" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="71cc4d5f-33c7-4bf7-8414-9e68e76541c6" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:55</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="f843709e-43fb-41a1-9542-0f63b402a161" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f843709e-43fb-41a1-9542-0f63b402a161">A Profiler for the Matching Process of Henshin<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/raffaelagroner" class="navigate">Raffaela Groner</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/sophiegylstorff" class="navigate">Sophie Gylstorff</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/matthiastichy" class="navigate">Matthias Tichy</a><span class="prog-aff"> Ulm University, Germany</span></div></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Wed 21 Oct 2020" data-facet-date-order="201021" data-facet-room="Room B" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">11:00 - 12:15</div></td><td colspan="2"><div class="session-info-in-table">B1-Systems Engineering I<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-b" target="_blank" class="room-link navigate">Room B</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/francisbordeleau" target="_blank" class="navigate">Francis Bordeleau</a><span class="prog-aff"> École de Technologie Supérieure (ETS)</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="f7c99bbd-8bcf-43e1-8a26-184fb2524879" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="d6c1a7d2-1954-48d7-a10b-978ae5f6d853" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d6c1a7d2-1954-48d7-a10b-978ae5f6d853">Modeling Mechanical Functional Architectures in SysML<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/imkedrave" class="navigate">Imke Drave</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/gregorhoepfner" class="navigate">Gregor Hoepfner</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/thilozerwas" class="navigate">Thilo Zerwas</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/joergberroth" class="navigate">Joerg Berroth</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/kathrinspuetz" class="navigate">Kathrin Spuetz</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/christianguist" class="navigate">Christian Guist</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/jenskohl" class="navigate">Jens Kohl</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/bernhardrumpe" class="navigate">Bernhard Rumpe</a><span class="prog-aff"> RWTH Aachen</span>, <a href="https://conf.researchr.org/profile/models-2020/georgjacobs" class="navigate">Georg Jacobs</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/andreaswortmann" class="navigate">Andreas Wortmann</a><span class="prog-aff"> RWTH Aachen University</span></div></td></tr><tr data-slot-id="53583048-6616-4ea1-ba4b-21b940d61f94" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:20</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="1e412126-f54c-4fd3-843b-5c5b001013cb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1e412126-f54c-4fd3-843b-5c5b001013cb">A Parametric Model For Creating Customized Fabrication Machines<span class="pull-right"><span title="Practice and innovation track research paper" data-facet-badge="P&I" class="output-badge" style="max-width:40px;"><span class="label-primary label">P&I</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/frikkfossdal" class="navigate">Frikk Fossdal</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/rogardtheldal1" class="navigate">Rogardt Heldal</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/jensdyvik" class="navigate">Jens Dyvik</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/adrianrutle1" class="navigate">Adrian Rutle</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="0fff7709-29ba-494e-8c54-da52f40aeabd" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:40</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="3c6ea7d4-a737-453f-b6f5-57cbcf07ccc0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3c6ea7d4-a737-453f-b6f5-57cbcf07ccc0">Model-driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/jorgchristiankirchhof" class="navigate">Jörg Christian Kirchhof</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/judithmichael" class="navigate">Judith Michael</a><span class="prog-aff"> RWTH Aachen University</span>, <a href="https://conf.researchr.org/profile/models-2020/bernhardrumpe" class="navigate">Bernhard Rumpe</a><span class="prog-aff"> RWTH Aachen</span>, <a href="https://conf.researchr.org/profile/models-2020/simonvarga" class="navigate">Simon Varga</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/andreaswortmann" class="navigate">Andreas Wortmann</a><span class="prog-aff"> RWTH Aachen University</span></div></td></tr><tr data-slot-id="738c5bdf-5412-40bb-b556-ec6111b6f798" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="e81f1e1e-07c9-49d3-aaad-fa5742fc37f4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e81f1e1e-07c9-49d3-aaad-fa5742fc37f4">Towards high-level fuzzy control specifications for building automation systems<span class="pull-right"><span title="Journal-first research paper published in SoSym" data-facet-badge="J1st" class="output-badge" style="max-width:40px;"><span class="label-primary label">J1st</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/vascoamaral1" class="navigate">Vasco Amaral</a><span class="prog-aff"> Universidade Nova de Lisboa</span>, <a href="https://conf.researchr.org/profile/models-2020/juancvida" class="navigate">Juan C. Vida</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/paulocarreira" class="navigate">Paulo Carreira</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/joaoaguiam" class="navigate">Joao Aguiam</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/joaosousa1" class="navigate">João Sousa</a><span class="prog-aff"> </span></div><a href="https://doi.org/10.1007/s10270-019-00755-8" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Wed 21 Oct 2020" data-facet-date-order="201021" data-facet-room="Room A" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">13:15 - 14:30</div></td><td colspan="2"><div class="session-info-in-table">A2-Education and Games<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-a" target="_blank" class="room-link navigate">Room A</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/steffenzschaler" target="_blank" class="navigate">Steffen Zschaler</a><span class="prog-aff"> King's College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="44f1cee6-8e7d-445b-ad56-f780a6142c9b" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:15</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="054eae4f-47ce-4d67-b54b-4b517ca8d7d7" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="054eae4f-47ce-4d67-b54b-4b517ca8d7d7">Is Automated Grading of Models Effective? Assessing Automated Grading of Class Diagrams<span class="pull-right"><span title="Practice and innovation track research paper" data-facet-badge="P&I" class="output-badge" style="max-width:40px;"><span class="label-primary label">P&I</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/weiyibian" class="navigate">Weiyi Bian</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/omaralam" class="navigate">Omar Alam</a><span class="prog-aff"> Trent University</span>, <a href="https://conf.researchr.org/profile/models-2020/jorgkienzle" class="navigate">Jörg Kienzle</a><span class="prog-aff"> McGill University, Canada</span></div></td></tr><tr data-slot-id="90e43366-6bb0-44d1-bb58-61e9622822a5" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:35</div><strong>15m</strong></div><div class="event-type">Short-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="7ab54547-4f2f-4e95-b752-d133c2cc0958" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7ab54547-4f2f-4e95-b752-d133c2cc0958">A Model-driven Alternative to Programming in Blocks using Rule-based Transformations<span class="pull-right"><span title="New ideas and vision research paper" data-facet-badge="NIV" class="output-badge" style="max-width:40px;"><span class="label-primary label">NIV</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/huseyinergin" class="navigate">Huseyin Ergin</a><span class="prog-aff"> Ball State University</span>, <a href="https://conf.researchr.org/profile/models-2020/wenjunshi" class="navigate">Wenjun Shi</a><span class="prog-aff"> East China Normal University, China</span>, <a href="https://conf.researchr.org/profile/models-2020/herartdominggusnurue" class="navigate">Herart Dominggus Nurue</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/jeffgray" class="navigate">Jeff Gray</a><span class="prog-aff"> University of Alabama</span></div><a href="https://conf.researchr.org/details/models-2020/models-2020-technical-track/10/A-Model-driven-Alternative-to-Programming-in-Blocks-using-Rule-based-Transformations" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="13ba7c86-cc6e-44d5-acf3-41919aebcb34" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:50</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="260e43e5-47ec-438c-8ce6-8b15a62a93aa" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="260e43e5-47ec-438c-8ce6-8b15a62a93aa">Papyrus for gamers, let's play modeling<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/antoniobucchiarone" class="navigate">Antonio Bucchiarone</a><span class="prog-aff"> Fondazione Bruno Kessler, Trento, Italy</span>, <a href="https://conf.researchr.org/profile/models-2020/maximesavaryleblanc" class="navigate">Maxime Savary-Leblanc</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/xavierlepallec" class="navigate">Xavier Le Pallec</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/jeanmichelbruel" class="navigate">Jean-Michel Bruel</a><span class="prog-aff"> Université de Toulouse, France</span>, <a href="https://conf.researchr.org/profile/models-2020/antoniocicchetti" class="navigate">Antonio Cicchetti</a><span class="prog-aff"> Mälardalen University</span>, <a href="https://conf.researchr.org/profile/models-2020/jordicabot" class="navigate">Jordi Cabot</a><span class="prog-aff"> ICREA - UOC</span>, <a href="https://conf.researchr.org/profile/models-2020/sebastiangerard" class="navigate">Sebastian Gerard</a><span class="prog-aff"> CEA Saclay - NanoInnov</span>, <a href="https://conf.researchr.org/profile/models-2020/hamnaaslam" class="navigate">Hamna Aslam</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/annapaolamarconi" class="navigate">Annapaola Marconi</a><span class="prog-aff"> Fondazione Bruno Kessler, Trento, Italy</span>, <a href="https://conf.researchr.org/profile/models-2020/mirkoperillo" class="navigate">Mirko Perillo</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="eecc73a3-9487-4e9d-a266-61e155207011" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:05</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="c8027b91-edc4-4746-8573-95e34c83d9c0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c8027b91-edc4-4746-8573-95e34c83d9c0">Automated Video Game World Map Synthesis by Model-Based Techniques<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/boqichen" class="navigate">Boqi Chen</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/dylanhavelock" class="navigate">Dylan Havelock</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/connorplante" class="navigate">Connor Plante</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/michaelsukkarieh" class="navigate">Michael Sukkarieh</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/oszkarsemerath" class="navigate">Oszkár Semeráth</a><span class="prog-aff"> Budapest University of Technology and Economics</span>, <a href="https://conf.researchr.org/profile/models-2020/danielvarro" class="navigate">Daniel Varro</a><span class="prog-aff"> McGill University / Budapest University of Technology and Economics</span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Wed 21 Oct 2020" data-facet-date-order="201021" data-facet-room="Room B" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">13:15 - 14:30</div></td><td colspan="2"><div class="session-info-in-table">B2-MDE Process Support<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-b" target="_blank" class="room-link navigate">Room B</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/jesussanchezcuadrado" target="_blank" class="navigate">Jesús Sánchez Cuadrado</a><span class="prog-aff"> </span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5526bcaf-700d-4363-809a-fb78680b62b8" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:15</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="08278289-998b-418f-9e18-0f045761d801" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="08278289-998b-418f-9e18-0f045761d801">To build, or not to build: ModelFlow, a build solution for MDE projects<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/beatrizsanchez" class="navigate">Beatriz Sanchez</a><span class="prog-aff"> University of York</span>, <a href="https://conf.researchr.org/profile/models-2020/dimitriskolovos" class="navigate">Dimitris Kolovos</a><span class="prog-aff"> University of York</span>, <a href="https://conf.researchr.org/profile/models-2020/richardpaige" class="navigate">Richard Paige</a><span class="prog-aff"> McMaster University</span></div><a href="https://drive.google.com/file/d/1QlEJ3LKWCqRKh6NalSDycTNAfe1GS_4Z/view?usp=sharing" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://conf.researchr.org/details/models-2020/models-2020-technical-track/13/To-build-or-not-to-build-ModelFlow-a-build-solution-for-MDE-projects" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="d779376b-5496-424f-8aa2-e59e1d761d52" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:35</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="e02d24e6-78be-453c-86b3-a992045833ca" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e02d24e6-78be-453c-86b3-a992045833ca">An extensible framework for customizable model repair<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/angelabarriga" class="navigate">Angela Barriga</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/rogardtheldal2" class="navigate">Rogardt Heldal</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/ludovicoiovino" class="navigate">Ludovico Iovino</a><span class="prog-aff"> Gran Sasso Science Institute, L'Aquila, Italy</span>, <a href="https://conf.researchr.org/profile/models-2020/magnusmarthinsen" class="navigate">Magnus Marthinsen</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/adrianrutle2" class="navigate">Adrian Rutle</a><span class="prog-aff"> Western Norway University of Applied Sciences</span></div></td></tr><tr data-slot-id="89546029-e0fa-4d80-8197-9a399c27077d" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:55</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="fbed72b6-8894-479b-8a4e-f1556aa38509" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fbed72b6-8894-479b-8a4e-f1556aa38509">Interactive Metamodel/Model Co-Evolution: A Clustering-based Multi-Objective Approach<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/waelkessentini" class="navigate">Wael Kessentini</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/vahidalizadeh" class="navigate">Vahid Alizadeh</a><span class="prog-aff"> DePaul University</span></div></td></tr><tr data-slot-id="d2327cd9-5b6a-422d-8d0f-d304022553b2" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:15</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="5e835eea-8730-4fbf-8b96-ff29c4c6efe9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5e835eea-8730-4fbf-8b96-ff29c4c6efe9">Ark: a constraint-based method for architectural synthesis of smart systems<span class="pull-right"><span title="Journal-first research paper published in SoSym" data-facet-badge="J1st" class="output-badge" style="max-width:40px;"><span class="label-primary label">J1st</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/milenaguessi" class="navigate">Milena Guessi</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/flaviooquendo" class="navigate">Flavio Oquendo</a><span class="prog-aff"> IRISA (UMR CNRS) - Univ. Bretagne-Sud (UBS)</span>, <a href="https://conf.researchr.org/profile/models-2020/elisayuminakagawa" class="navigate">Elisa Yumi Nakagawa</a><span class="prog-aff"> University of São Paulo, Brazil</span></div><a href="https://doi.org/10.1007/s10270-019-00764-7" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Wed 21 Oct 2020" data-facet-date-order="201021" data-facet-room="Room A" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">15:00 - 16:15</div></td><td colspan="2"><div class="session-info-in-table">A3-Systems Engineering II<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-a" target="_blank" class="room-link navigate">Room A</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/nellybencomo" target="_blank" class="navigate">Nelly Bencomo</a><span class="prog-aff"> Aston University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="d7ad46d0-8ab4-4160-b989-c47fafe77b74" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="e683613b-7577-43f0-ace5-53c23e085f6f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e683613b-7577-43f0-ace5-53c23e085f6f">AC-ROS: Assurance Case Driven Adaptation for the Robot Operating System<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/bettyhccheng" class="navigate">Betty H.C. Cheng</a><span class="prog-aff"> Michigan State University</span>, <a href="https://conf.researchr.org/profile/models-2020/robertclark" class="navigate">Robert Clark</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/jonathonfleck" class="navigate">Jonathon Fleck</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/michaellangford" class="navigate">Michael Langford</a><span class="prog-aff"> Michigan State University</span>, <a href="https://conf.researchr.org/profile/models-2020/philipmckinley1" class="navigate">Philip McKinley</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="fac20f35-fd37-437b-8c7a-452178c07c5f" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:20</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="9213dfa2-3080-4f8d-ba4f-3ef1de347a4c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9213dfa2-3080-4f8d-ba4f-3ef1de347a4c">Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering<span class="pull-right"><span title="Practice and innovation track research paper" data-facet-badge="P&I" class="output-badge" style="max-width:40px;"><span class="label-primary label">P&I</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/sophiewood" class="navigate">Sophie Wood</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/nicholasmatragkas" class="navigate">Nicholas Matragkas</a><span class="prog-aff"> University of York</span>, <a href="https://conf.researchr.org/profile/models-2020/dimitriskolovos" class="navigate">Dimitris Kolovos</a><span class="prog-aff"> University of York</span>, <a href="https://conf.researchr.org/profile/models-2020/richardpaige" class="navigate">Richard Paige</a><span class="prog-aff"> McMaster University</span>, <a href="https://conf.researchr.org/profile/models-2020/simosgerasimou" class="navigate">Simos Gerasimou</a><span class="prog-aff"> University of York, UK</span></div><a href="https://dl.acm.org/doi/10.1145/3365438.3410965" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://arxiv.org/abs/2008.02164" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="ed275d68-a3c8-4842-affa-b9ae20ba0065" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="071afedc-8719-4168-a1e5-b79498357996" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="071afedc-8719-4168-a1e5-b79498357996">Model-Based Automatic Fleet Deployment of Edge Computing Applications<span class="pull-right"><span title="Practice and innovation track research paper" data-facet-badge="P&I" class="output-badge" style="max-width:40px;"><span class="label-primary label">P&I</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/huisong" class="navigate">Hui Song</a><span class="prog-aff"> SINTEF Digital</span>, <a href="https://conf.researchr.org/profile/models-2020/rustemdautov" class="navigate">Rustem Dautov</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/nicolasferry" class="navigate">Nicolas Ferry</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/arnorsolberg1" class="navigate">Arnor Solberg</a><span class="prog-aff"> Tellu IoT ordinary PC member PI papers</span>, <a href="https://conf.researchr.org/profile/models-2020/franckfleurey" class="navigate">Franck Fleurey</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="027744f5-dfe6-4063-b042-088d33e1cb06" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="6853119f-f878-4612-983f-eb1c3113dc84" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6853119f-f878-4612-983f-eb1c3113dc84">CyprIoT Project - An Open Source Toolset to Model and Generate a Network of Things<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/imadberrouyne" class="navigate">Imad Berrouyne</a><span class="prog-aff"> </span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Wed 21 Oct 2020" data-facet-date-order="201021" data-facet-room="Room B" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">15:00 - 16:15</div></td><td colspan="2"><div class="session-info-in-table">B3-Model Analysis and Validation<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-b" target="_blank" class="room-link navigate">Room B</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/marshachechik" target="_blank" class="navigate">Marsha Chechik</a><span class="prog-aff"> University of Toronto, Canada</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ebda5e19-36b7-48c9-9802-5a310f3df22e" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="61f2623f-971c-4371-8673-ad9576fa9440" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="61f2623f-971c-4371-8673-ad9576fa9440">Semantic Comparisons of Alloy Models<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/janoliverringert" class="navigate">Jan Oliver Ringert</a><span class="prog-aff"> University of Leicester</span>, <a href="https://conf.researchr.org/profile/models-2020/syedwaqeewali" class="navigate">Syed Waqee Wali</a><span class="prog-aff"> University of Leicester, UK</span></div><a href="https://doi.org/10.1145/3365438.3410955" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://github.com/jringert/alloy-diff/blob/master/docs/Semantic_Comparisons_of_Alloy_Models.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="ab6ee962-f486-45b0-8ac0-e5df921a44e4" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:20</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="eae25a81-a9e0-40fe-8897-ae7440213c4b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="eae25a81-a9e0-40fe-8897-ae7440213c4b">Automated Generation of Consistent Models with Structural and Attribute Constraints<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/oszkarsemerath" class="navigate">Oszkár Semeráth</a><span class="prog-aff"> Budapest University of Technology and Economics</span>, <a href="https://conf.researchr.org/profile/models-2020/arenbabikian" class="navigate">Aren Babikian</a><span class="prog-aff"> McGill University</span>, <a href="https://conf.researchr.org/profile/models-2020/anqili" class="navigate">Anqi Li</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/kristofmarussy" class="navigate">Kristóf Marussy</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/danielvarro" class="navigate">Daniel Varro</a><span class="prog-aff"> McGill University / Budapest University of Technology and Economics</span></div><a href="https://dl.acm.org/doi/10.1145/3365438.3410962" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="7f006450-bfc3-400f-8940-ef75d6dc3264" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="9a5d2e50-d2a8-465a-8711-af7a3c42d875" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9a5d2e50-d2a8-465a-8711-af7a3c42d875">mel - Model Extractor Language for Extracting Facts from Models<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/roberthackman" class="navigate">Robert Hackman</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/joatlee" class="navigate">Joanne M. Atlee</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://conf.researchr.org/profile/models-2020/finnhacket" class="navigate">Finn Hacket</a><span class="prog-aff"> Computer Science, University of Waterloo</span>, <a href="https://conf.researchr.org/profile/models-2020/mikegodfrey" class="navigate">Michael W. Godfrey</a><span class="prog-aff"> University of Waterloo, Canada</span></div></td></tr><tr data-slot-id="43ec13e4-d543-4d32-8da5-caae6841dd2c" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="bc5c8b5a-629f-4de9-83b8-e95e403f850d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="bc5c8b5a-629f-4de9-83b8-e95e403f850d">Strengthening Validation of Model Behavior through Filmstrip Templates in the tool USE<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/nishadesai" class="navigate">Nisha Desai</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/martingogolla" class="navigate">Martin Gogolla</a><span class="prog-aff"> </span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 22 Oct</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Eastern Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-11"><table data-facet-date="Thu 22 Oct 2020" data-facet-date-order="201022" data-facet-room="Room A" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">11:00 - 12:15</div></td><td colspan="2"><div class="session-info-in-table">A4-Requirements<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-a" target="_blank" class="room-link navigate">Room A</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/lolaburgueno" target="_blank" class="navigate">Lola Burgueño</a><span class="prog-aff"> Open University of Catalonia & CEA LIST</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="54817714-d565-4a98-ad6e-c6bacabad2a0" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="f8fe953a-22ff-4e0d-b916-098324b933eb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f8fe953a-22ff-4e0d-b916-098324b933eb">Leveraging Natural-language Requirements for Deriving Better Acceptance Criteria from Models<span class="pull-right"><span title="Practice and innovation track research paper" data-facet-badge="P&I" class="output-badge" style="max-width:40px;"><span class="label-primary label">P&I</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/alvaroveizaga" class="navigate">Alvaro Veizaga</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/mauricioalferez" class="navigate">Mauricio Alferez</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/damianotorre" class="navigate">Damiano Torre</a><span class="prog-aff"> University of Luxembourg</span>, <a href="https://conf.researchr.org/profile/models-2020/mehrdadsabetzadeh" class="navigate">Mehrdad Sabetzadeh</a><span class="prog-aff"> University of Ottawa</span>, <a href="https://conf.researchr.org/profile/models-2020/lionelbriand" class="navigate">Lionel Briand</a><span class="prog-aff"> SnT Centre/University of Luxembourg</span></div></td></tr><tr data-slot-id="06bd941f-cb1f-4cb9-b583-bb1e86bb9fb4" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:20</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="d6a01e9e-c6df-480b-8dd8-ad91bca11d3a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d6a01e9e-c6df-480b-8dd8-ad91bca11d3a">From Text to Visual BPMN Process Models: Design and Evaluation<span class="pull-right"><span title="Practice and innovation track research paper" data-facet-badge="P&I" class="output-badge" style="max-width:40px;"><span class="label-primary label">P&I</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/anaivanchikj" class="navigate">Ana Ivanchikj</a><span class="prog-aff"> Software Institute, Faculty of Informatics, USI Lugano</span>, <a href="https://conf.researchr.org/profile/models-2020/souhailaserbout" class="navigate">souhaila serbout</a><span class="prog-aff"> Software Institute @ USI</span>, <a href="https://conf.researchr.org/profile/models-2020/cesarepautasso" class="navigate">Cesare Pautasso</a><span class="prog-aff"> Software Institute, Faculty of Informatics, USI Lugano</span></div><a href="https://dl.acm.org/doi/abs/10.1145/3365438.3410990" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3365438.3410990" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="http://design.inf.usi.ch/publications/2020/models" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://conf.researchr.org/details/models-2020/models-2020-technical-track/26/From-Text-to-Visual-BPMN-Process-Models-Design-and-Evaluation" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="330d712f-168f-4d32-a5bc-b1dd3d94fd7e" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:40</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="63e910bd-163c-4c28-bb36-2c3d70d71491" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="63e910bd-163c-4c28-bb36-2c3d70d71491">"Union is Power": Analyzing Families of Goal Models using Union Models<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/sanaaalwidian" class="navigate">Sanaa Alwidian</a><span class="prog-aff"> University of Montreal</span>, <a href="https://conf.researchr.org/profile/models-2020/danielamyot" class="navigate">Daniel Amyot</a><span class="prog-aff"> University of Ottawa</span></div></td></tr><tr data-slot-id="bf7f64ff-165d-47c8-9caf-f78ede43e324" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="7a3613ed-806f-42ab-a257-464084b6c7de" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7a3613ed-806f-42ab-a257-464084b6c7de">Using empirical studies to mitigate symbol overload in iStar extensions<span class="pull-right"><span title="Journal-first research paper published in SoSym" data-facet-badge="J1st" class="output-badge" style="max-width:40px;"><span class="label-primary label">J1st</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/enyogoncalves" class="navigate">Enyo Gonçalves</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/camiloalmendra" class="navigate">Camilo Almendra</a><span class="prog-aff"> Universidade Federal do Ceará</span>, <a href="https://conf.researchr.org/profile/models-2020/miguelgoulao" class="navigate">Miguel Goulao</a><span class="prog-aff"> NOVA-LINCS, FCT/UNL</span>, <a href="https://conf.researchr.org/profile/models-2020/joaoaraujo" class="navigate">João Araújo</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/jaelsoncastro" class="navigate">Jaelson Castro</a><span class="prog-aff"> </span></div><a href="https://doi.org/10.1007/s10270-019-00770-9" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Thu 22 Oct 2020" data-facet-date-order="201022" data-facet-room="Room B" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">11:00 - 12:15</div></td><td colspan="2"><div class="session-info-in-table">B4-Language Engineering and Modularity<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-b" target="_blank" class="room-link navigate">Room B</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/benoitcombemale" target="_blank" class="navigate">Benoit Combemale</a><span class="prog-aff"> University of Toulouse and Inria</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="6b637d79-1aed-4ada-9eab-ff0798926ba0" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="9c505a2d-ae6c-4d74-9c6e-25b1b4cebd0e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9c505a2d-ae6c-4d74-9c6e-25b1b4cebd0e">A Compositional Framework for Systematic Modeling Language Reuse<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/arvidbutting" class="navigate">Arvid Butting</a><span class="prog-aff"> Software Engineering RWTH Aachen University</span>, <a href="https://conf.researchr.org/profile/models-2020/jeromepfeiffer" class="navigate">Jerome Pfeiffer</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/bernhardrumpe" class="navigate">Bernhard Rumpe</a><span class="prog-aff"> RWTH Aachen</span>, <a href="https://conf.researchr.org/profile/models-2020/andreaswortmann" class="navigate">Andreas Wortmann</a><span class="prog-aff"> RWTH Aachen University</span></div></td></tr><tr data-slot-id="548a26c2-2bcc-4a5e-a75a-79b27cc0a3c3" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:20</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="6d0472e7-d663-441c-8098-3f9ff38051a5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6d0472e7-d663-441c-8098-3f9ff38051a5">Template Based Model Engineering in UML<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/gillesvanwormhoudt" class="navigate">Gilles Vanwormhoudt</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/matthieuallon" class="navigate">Matthieu Allon</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/oliviercaron" class="navigate">Olivier Caron</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/bernardcarre" class="navigate">Bernard Carré</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="66181700-d6ee-4711-a499-df7c217f0607" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:40</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="f2af89df-cba4-446d-8610-765b5bdee5a9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f2af89df-cba4-446d-8610-765b5bdee5a9">On the benefits of file-level modularity for EMF models<span class="pull-right"><span title="Journal-first research paper published in SoSym" data-facet-badge="J1st" class="output-badge" style="max-width:40px;"><span class="label-primary label">J1st</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/mojtababagherzadeh2" class="navigate">Mojtaba Bagherzadeh</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/karimjahed" class="navigate">Karim Jahed</a><span class="prog-aff"> Queen's University</span>, <a href="https://conf.researchr.org/profile/models-2020/juergendingel" class="navigate">Juergen Dingel</a><span class="prog-aff"> Queen's University, Kingston, Ontario</span></div><a href="https://doi.org/10.1007/s10270-020-00804-7" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://www.researchgate.net/publication/342132492_On_the_benefits_of_file-level_modularity_for_EMF_models" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="d1d272d4-5083-47c8-be91-2a646b9b582d" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:55</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="1fd5d2fc-69d6-4de7-989d-6b11b28bbbf9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1fd5d2fc-69d6-4de7-989d-6b11b28bbbf9">Concrete Syntax-Based Find for Graphical DSLs<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/elinakalnina" class="navigate">Elina Kalnina</a><span class="prog-aff"> </span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Thu 22 Oct 2020" data-facet-date-order="201022" data-facet-room="Room A" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">15:00 - 16:15</div></td><td colspan="2"><div class="session-info-in-table">A5-Behavioural Modeling<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-a" target="_blank" class="room-link navigate">Room A</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/massimotisi" target="_blank" class="navigate">Massimo Tisi</a><span class="prog-aff"> </span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5de7095c-d4fd-4e5f-9cac-a9211a6c5285" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="5c73567d-8562-40eb-b62b-2ee369e9ba34" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5c73567d-8562-40eb-b62b-2ee369e9ba34">Synthesis of State Machine Models<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/nafisehkahani" class="navigate">Nafiseh Kahani</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/mojtababagherzadeh2" class="navigate">Mojtaba Bagherzadeh</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/jamesrcordy" class="navigate">James R. Cordy</a><span class="prog-aff"> </span></div><a href="https://research.cs.queensu.ca/home/cordy/Papers/KBC_MODELS20_Synthesis.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="00a6975f-7d05-4fc2-8b9d-0e64a9ec2406" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:20</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="5a0182f5-cce7-4d50-8d1a-c5555f489322" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5a0182f5-cce7-4d50-8d1a-c5555f489322">Efficient Reordering and Replay of Execution Traces of Distributed Reactive Systems in the Context of Model-driven Development<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/majidbabaei" class="navigate">Majid Babaei</a><span class="prog-aff"> Queen's University</span>, <a href="https://conf.researchr.org/profile/models-2020/mojtababagherzadeh2" class="navigate">Mojtaba Bagherzadeh</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/juergendingel" class="navigate">Juergen Dingel</a><span class="prog-aff"> Queen's University, Kingston, Ontario</span></div><a href="https://www.researchgate.net/publication/344127097_Efficient_Reordering_and_Replay_of_Execution_Traces_of_Distributed_Reactive_Systems_in_the_Context_of_Model-driven_Development" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="16f8a1cb-53d6-4a1f-a552-11fffd64941a" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>15m</strong></div><div class="event-type">Short-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="3f1c624f-8b39-4ab1-bbcd-9d7be62f05ee" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3f1c624f-8b39-4ab1-bbcd-9d7be62f05ee">Designing, Animating, and Verifying Partial UML Models<span class="pull-right"><span title="New ideas and vision research paper" data-facet-badge="NIV" class="output-badge" style="max-width:40px;"><span class="label-primary label">NIV</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/fredericjouault" class="navigate">Frédéric Jouault</a><span class="prog-aff"> ERIS Team, ESEO , France</span>, <a href="https://conf.researchr.org/profile/models-2020/valentinbesnard" class="navigate">Valentin Besnard</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/theolecalvar" class="navigate">Théo Le Calvar</a><span class="prog-aff"> University of Angers</span>, <a href="https://conf.researchr.org/profile/models-2020/ciprianteodorov" class="navigate">Ciprian Teodorov</a><span class="prog-aff"> ENSTA Bretagne</span>, <a href="https://conf.researchr.org/profile/models-2020/matthiasbrun" class="navigate">Matthias Brun</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/jeromedelatour" class="navigate">Jérôme Delatour</a><span class="prog-aff"> </span></div><a href="https://dl.acm.org/doi/10.1145/3365438.3410967" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3365438.3410967" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://dl.acm.org/doi/10.1145/3365438.3410967?cid=81314494297" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Authorizer link</a><a href="https://conf.researchr.org/details/models-2020/models-2020-technical-track/35/Designing-Animating-and-Verifying-Partial-UML-Models" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="47bf7cb0-f468-4b07-83e4-e28e6a44de14" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:55</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="3d9be4fe-c25d-4603-8331-d9d3327ea7bb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3d9be4fe-c25d-4603-8331-d9d3327ea7bb">Mixed-semantics composition of statecharts for the component-based design of reactive systems<span class="pull-right"><span title="Journal-first research paper published in SoSym" data-facet-badge="J1st" class="output-badge" style="max-width:40px;"><span class="label-primary label">J1st</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/bencegraics1" class="navigate">Bence Graics</a><span class="prog-aff"> Budapest University of Technology and Economics</span>, <a href="https://conf.researchr.org/profile/models-2020/vincemolnar" class="navigate">Vince Molnár</a><span class="prog-aff"> Budapest University of Technology and Economics</span>, <a href="https://conf.researchr.org/profile/models-2020/andrasvoros" class="navigate">András Vörös</a><span class="prog-aff"> Budapest University of Technology and Economics</span>, <a href="https://conf.researchr.org/profile/models-2020/istvanmajzik" class="navigate">Istvan Majzik</a><span class="prog-aff"> Budapest University of Technology and Economics</span>, <a href="https://conf.researchr.org/profile/models-2020/danielvarro" class="navigate">Daniel Varro</a><span class="prog-aff"> McGill University / Budapest University of Technology and Economics</span></div><a href="https://link.springer.com/article/10.1007/s10270-020-00806-5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/s10270-020-00806-5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Thu 22 Oct 2020" data-facet-date-order="201022" data-facet-room="Room B" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">15:00 - 16:15</div></td><td colspan="2"><div class="session-info-in-table">B5-Models and Data<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-b" target="_blank" class="room-link navigate">Room B</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/dimitriskolovos" target="_blank" class="navigate">Dimitris Kolovos</a><span class="prog-aff"> University of York</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="98dfa12d-6997-46fa-b5ea-3b4402270618" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="f6e76a1c-753b-4d61-b480-c6c577ed6ff0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f6e76a1c-753b-4d61-b480-c6c577ed6ff0">Detecting Quality Problems in Research Data: A Model-Driven Approach<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/arnokesper" class="navigate">Arno Kesper</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/violawenz" class="navigate">Viola Wenz</a><span class="prog-aff"> Philipps-Universität Marburg</span>, <a href="https://conf.researchr.org/profile/models-2020/gabrieletaentzer" class="navigate">Gabriele Taentzer</a><span class="prog-aff"> Universität Marburg</span></div><a href="https://dl.acm.org/doi/10.1145/3365438.3410987" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3365438.3410987" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://conf.researchr.org/details/models-2020/models-2020-technical-track/37/Detecting-Quality-Problems-in-Research-Data-A-Model-Driven-Approach" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="2ae591c6-eeb9-4498-9c91-444dc94e945b" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:20</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="f7d0dc4a-ece8-43fe-8483-8c313dd00801" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f7d0dc4a-ece8-43fe-8483-8c313dd00801">Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven Services<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/susannebraun" class="navigate">Susanne Braun</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/marcustrapp" class="navigate">Marcus Trapp</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/claudianass" class="navigate">Claudia Nass</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/matthiasgerbershagen" class="navigate">Matthias Gerbershagen</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/stefanschweitzer" class="navigate">Stefan Schweitzer</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/rodrigofalcao" class="navigate">Rodrigo Falcão</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/matthiasnaab" class="navigate">Matthias Naab</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/markusschweitzer" class="navigate">Markus Schweitzer</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/torstenkreutzer" class="navigate">Torsten Kreutzer</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/nikolauswire" class="navigate">Nikolaus Wire</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="5f491627-d063-4030-90c4-f37e8f560ee2" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:35</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="02c1ea9b-6526-4062-9476-40de906d196f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="02c1ea9b-6526-4062-9476-40de906d196f">Towards User-Centred tooling for Modelling of Big Data Applications<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/houriehkhalajzadeh" class="navigate">Hourieh Khalajzadeh</a><span class="prog-aff"> Monash University, Australia</span>, <a href="https://conf.researchr.org/profile/models-2020/tarunverma" class="navigate">Tarun Verma</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/anjsimmons" class="navigate">Anj Simmons</a><span class="prog-aff"> Deakin University</span>, <a href="https://conf.researchr.org/profile/models-2020/johngrundy" class="navigate">John Grundy</a><span class="prog-aff"> Monash University</span>, <a href="https://conf.researchr.org/profile/models-2020/mohamedabdelrazek" class="navigate">Mohamed Abdelrazek</a><span class="prog-aff"> Deakin University, Australia</span>, <a href="https://conf.researchr.org/profile/models-2020/johnhosking" class="navigate">John Hosking</a><span class="prog-aff"> University of Auckland</span></div></td></tr><tr data-slot-id="322bb2bf-0845-4aac-8070-35ba04b6121f" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:50</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="495aa6a9-9279-4f58-86c8-84b120cc8ea6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="495aa6a9-9279-4f58-86c8-84b120cc8ea6">TyphonML: a Modeling Environment to Develop Hybrid Polystores<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/francescobasciani" class="navigate">Francesco Basciani</a><span class="prog-aff"> University of L'Aquila</span>, <a href="https://conf.researchr.org/profile/models-2020/juridirocco" class="navigate">Juri Di Rocco</a><span class="prog-aff"> University of L'Aquila</span>, <a href="https://conf.researchr.org/profile/models-2020/davidediruscio" class="navigate">Davide Di Ruscio</a><span class="prog-aff"> University of L'Aquila</span>, <a href="https://conf.researchr.org/profile/models-2020/ludovicoiovino" class="navigate">Ludovico Iovino</a><span class="prog-aff"> Gran Sasso Science Institute, L'Aquila, Italy</span>, <a href="https://conf.researchr.org/profile/models-2020/alfonsopierantonio" class="navigate">Alfonso Pierantonio</a><span class="prog-aff"> Università degli Studi dell'Aquila</span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Fri 23 Oct</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Eastern Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-11"><table data-facet-date="Fri 23 Oct 2020" data-facet-date-order="201023" data-facet-room="Room B" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">11:00 - 12:15</div></td><td colspan="2"><div class="session-info-in-table">B6-Verification, Testing and Execution<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-b" target="_blank" class="room-link navigate">Room B</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/danielstruber" target="_blank" class="navigate">Daniel Strüber</a><span class="prog-aff"> Radboud University Nijmegen</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="12b8d65e-9632-4abf-aa5a-390fa328792f" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>15m</strong></div><div class="event-type">Short-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="08b1617c-2ff7-4954-a118-18b36d6be6ae" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="08b1617c-2ff7-4954-a118-18b36d6be6ae">SceML - A Graphical Modeling Framework for Scenario-based Testing of Autonomous Vehicles<span class="pull-right"><span title="New ideas and vision research paper" data-facet-badge="NIV" class="output-badge" style="max-width:40px;"><span class="label-primary label">NIV</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/barbaraschutt" class="navigate">Barbara Schütt</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/thilobraun" class="navigate">Thilo Braun</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/ericsax1" class="navigate">Eric Sax</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="0bd3efb1-7953-4e4e-9133-ead597b8be77" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:15</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="1f7ab83a-7a2d-4f97-b2aa-7adfa3474f4a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1f7ab83a-7a2d-4f97-b2aa-7adfa3474f4a">Specification and Automated Verification of Atomic Concurrent Real-Time Transactions<span class="pull-right"><span title="Journal-first research paper published in SoSym" data-facet-badge="J1st" class="output-badge" style="max-width:40px;"><span class="label-primary label">J1st</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/simincai" class="navigate">Simin Cai</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/barbaragallina" class="navigate">Barbara Gallina</a><span class="prog-aff"> Mälardalen University</span>, <a href="https://conf.researchr.org/profile/models-2020/dagnystrom" class="navigate">Dag Nyström</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/cristinaseceleanu" class="navigate">Cristina Seceleanu</a><span class="prog-aff"> Mälardalen University</span></div></td></tr><tr data-slot-id="bbfd3a05-697c-4555-9da7-c5d2e033a847" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="f62b68f6-e73b-4dd8-a575-e3030159c15b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f62b68f6-e73b-4dd8-a575-e3030159c15b">An improved approach on the model checking for an agent-based simulation system<span class="pull-right"><span title="Journal-first research paper published in SoSym" data-facet-badge="J1st" class="output-badge" style="max-width:40px;"><span class="label-primary label">J1st</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/yinlingliu" class="navigate">Yinling Liu</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/taowang2" class="navigate">tao wang</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/haiqingzhang" class="navigate">Haiqing Zhang</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/vincentcheutet" class="navigate">Vincent Cheutet</a><span class="prog-aff"> </span></div><a href="https://doi.org/10.1007/s10270-020-00807-4" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="d860cf24-1909-4c06-9e1b-1259cec42dca" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:45</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="cc2cd672-440a-4f7f-a4f1-a767c9c58a22" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="cc2cd672-440a-4f7f-a4f1-a767c9c58a22">Enhancing Development and Consistency of UML Models and Model Executions with USE Studio <span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/marcelschafer" class="navigate">Marcel Schäfer</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/martingogolla" class="navigate">Martin Gogolla</a><span class="prog-aff"> </span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Fri 23 Oct 2020" data-facet-date-order="201023" data-facet-room="Room A" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">13:15 - 14:30</div></td><td colspan="2"><div class="session-info-in-table">A6-Modeling Environments and Model Search<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-a" target="_blank" class="room-link navigate">Room A</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/antoniocicchetti" target="_blank" class="navigate">Antonio Cicchetti</a><span class="prog-aff"> Mälardalen University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="c179126a-cbc7-47c1-81b4-f87bab43bc4e" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:15</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="30aabce5-6066-4c72-805f-0793bd1a7ead" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="30aabce5-6066-4c72-805f-0793bd1a7ead">Efficient Generation of Graphical Model Views via Lazy Model-to-Text Transformation<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/dimitriskolovos" class="navigate">Dimitris Kolovos</a><span class="prog-aff"> University of York</span>, <a href="https://conf.researchr.org/profile/models-2020/alfonsodelavega" class="navigate">Alfonso de la Vega</a><span class="prog-aff"> University of York</span>, <a href="https://conf.researchr.org/profile/models-2020/justincooper" class="navigate">Justin Cooper</a><span class="prog-aff"> </span></div><a href="https://dl.acm.org/doi/10.1145/3365438.3410943" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Authorizer link</a><a href="https://pure.york.ac.uk/portal/en/publications/efficient-generation-of-graphical-model-views-via-lazy-modeltotext-transformation(d6243416-3201-4629-a907-157bfa79982b).html" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="eea18e97-bee9-4995-acd2-e85d1cc89a56" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:35</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="ada66863-99de-4f5e-bd48-5d4243563282" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ada66863-99de-4f5e-bd48-5d4243563282">MAR: A structure-based search engine for models<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/joseantoniohernandezlopez" class="navigate">José Antonio Hernández López</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/jesussanchezcuadrado" class="navigate">Jesús Sánchez Cuadrado</a><span class="prog-aff"> </span></div><a href="http://mar-search.org" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3365438.3410947" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://dl.acm.org/doi/abs/10.1145/3365438.3410947" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Authorizer link</a><a href="https://arxiv.org/pdf/2008.11858" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="3add37fe-da8a-4498-8d39-fffda699a023" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:55</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="d059ffd0-a83f-49c3-a754-9b898f3f40c5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d059ffd0-a83f-49c3-a754-9b898f3f40c5">ModelMine: A Tool to Facilitate Mining Models from Open Source Repositories<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/sayedmohsinreza" class="navigate">Sayed Mohsin Reza</a><span class="prog-aff"> PhD Student</span>, <a href="https://conf.researchr.org/profile/models-2020/omarbadreddin" class="navigate">Omar Badreddin</a><span class="prog-aff"> University of Texas</span>, <a href="https://conf.researchr.org/profile/models-2020/khandokerrahad1" class="navigate">Khandoker Rahad</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="c5905b86-5757-496f-94ac-7648e8d56332" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:10</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="dac4c1d0-f712-4941-8511-4c700f2d16a9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="dac4c1d0-f712-4941-8511-4c700f2d16a9">Gentleman a light-weight web-based projectional editor generator<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/louisedouardlafontant" class="navigate">Louis-Edouard Lafontant</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/eugenesyriani" class="navigate">Eugene Syriani</a><span class="prog-aff"> Université de Montréal</span></div><a href="https://youtu.be/rPYouGPThKY" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3417990.3421998" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://dx.doi.org/10.1145/3417990.3421998" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Authorizer link</a></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Fri 23 Oct 2020" data-facet-date-order="201023" data-facet-room="Room B" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">13:15 - 14:30</div></td><td colspan="2"><div class="session-info-in-table">B7-Run-time and Architecture<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-b" target="_blank" class="room-link navigate">Room B</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/branselic" target="_blank" class="navigate">Bran Selic</a><span class="prog-aff"> Malina Software Corporation</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e37d620f-a843-4a22-9e3a-897b62812fea" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:15</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="7eebb6ea-470e-44c6-b335-08708663a4c6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7eebb6ea-470e-44c6-b335-08708663a4c6">A model-based approach for developing event-driven architectures with AsyncAPI<span class="pull-right"><span title="Practice and innovation track research paper" data-facet-badge="P&I" class="output-badge" style="max-width:40px;"><span class="label-primary label">P&I</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/abelgomez" class="navigate">Abel Gómez</a><span class="prog-aff"> Universitat Oberta de Catalunya</span>, <a href="https://conf.researchr.org/profile/models-2020/markeliglesiasurkia" class="navigate">Markel Iglesias-Urkia</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/aitorurbieta" class="navigate">Aitor Urbieta</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/jordicabot" class="navigate">Jordi Cabot</a><span class="prog-aff"> ICREA - UOC</span></div><a href="https://doi.org/10.1145/3365438.3410948" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://abel.gomez.llana.me/wp-content/uploads/2020/10/gomez-models-2020.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://conf.researchr.org/details/models-2020/models-2020-technical-track/49/A-model-based-approach-for-developing-event-driven-architectures-with-AsyncAPI" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="ee188203-5114-4977-a3a8-ede73b009ac9" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:35</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="7fad88c1-c8d3-4bf4-8297-84616746271b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7fad88c1-c8d3-4bf4-8297-84616746271b">A Scalable Querying Scheme for Memory-efficient Runtime Models with History<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/lucassakizloglou" class="navigate">Lucas Sakizloglou</a><span class="prog-aff"> Hasso Plattner Institute, University of Potsdam</span>, <a href="https://conf.researchr.org/profile/models-2020/sonaghahremani" class="navigate">Sona Ghahremani</a><span class="prog-aff"> Hasso Plattner Institute, University of Potsdam</span>, <a href="https://conf.researchr.org/profile/models-2020/matthiasbarkowsky" class="navigate">Matthias Barkowsky</a><span class="prog-aff"> Hasso Plattner Institute, University of Potsdam, Germany</span>, <a href="https://conf.researchr.org/profile/models-2020/matthiasbarkowsky" class="navigate">Matthias Barkowsky</a><span class="prog-aff"> Hasso Plattner Institute, University of Potsdam, Germany</span>, <a href="https://conf.researchr.org/profile/models-2020/holgergiese" class="navigate">Holger Giese</a><span class="prog-aff"> Hasso Plattner Institute, University of Potsdam</span></div><a href="https://dl.acm.org/doi/10.1145/3365438.3410961" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3365438.3410961" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://arxiv.org/abs/2008.04230" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="66c53999-bf1d-41b2-9ef2-406c53fd3e5e" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:55</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="60e6f113-db1d-4330-895b-7fbdeb77e080" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="60e6f113-db1d-4330-895b-7fbdeb77e080">A model-based architecture for interactive run-time monitoring<span class="pull-right"><span title="Journal-first research paper published in SoSym" data-facet-badge="J1st" class="output-badge" style="max-width:40px;"><span class="label-primary label">J1st</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/nicolashili1" class="navigate">Nicolas Hili</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/mojtababagherzadeh2" class="navigate">Mojtaba Bagherzadeh</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/karimjahed" class="navigate">Karim Jahed</a><span class="prog-aff"> Queen's University</span>, <a href="https://conf.researchr.org/profile/models-2020/juergendingel" class="navigate">Juergen Dingel</a><span class="prog-aff"> Queen's University, Kingston, Ontario</span></div><a href="https://doi.org/10.1007/s10270-020-00780-y" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="792a124c-6471-4f14-a19e-acf4509a664f" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:10</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="306d4674-9eed-4863-bf4b-947bec30529d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="306d4674-9eed-4863-bf4b-947bec30529d">MReplayer: A Trace Replayer of Distributed UML-RT Models<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/majidbabaei" class="navigate">Majid Babaei</a><span class="prog-aff"> Queen's University</span>, <a href="https://conf.researchr.org/profile/models-2020/mojtababagherzadeh2" class="navigate">Mojtaba Bagherzadeh</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/juergendingel" class="navigate">Juergen Dingel</a><span class="prog-aff"> Queen's University, Kingston, Ontario</span></div><a href="https://www.researchgate.net/publication/344127517_MReplayer_A_Trace_Replayer_of_Distributed_UML-RT_Models" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Fri 23 Oct 2020" data-facet-date-order="201023" data-facet-room="Room A" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">15:00 - 16:15</div></td><td colspan="2"><div class="session-info-in-table">A7-Safety, Security and Testing<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-a" target="_blank" class="room-link navigate">Room A</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/joatlee" target="_blank" class="navigate">Joanne M. Atlee</a><span class="prog-aff"> University of Waterloo</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="632c04c7-d6aa-44b9-8aca-3699348787ad" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="fc0d2304-dfb6-4d4e-a715-bcfef06bb3d0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fc0d2304-dfb6-4d4e-a715-bcfef06bb3d0">Automating the Early Detection of Security Design Flaws<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/katjatuma" class="navigate">Katja Tuma</a><span class="prog-aff"> Chalmers | University of Gothenburg</span>, <a href="https://conf.researchr.org/profile/models-2020/laurenssion" class="navigate">Laurens Sion</a><span class="prog-aff"> imec-DistriNet, KU Leuven</span>, <a href="https://conf.researchr.org/profile/models-2020/riccardoscandariato1" class="navigate">Riccardo Scandariato</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/koenyskout" class="navigate">Koen Yskout</a><span class="prog-aff"> imec - DistriNet, KU Leuven</span></div><a href="https://drive.google.com/file/d/1xatl5D2VSl1PQIUED19zgdd6hZkuZk6U/view?usp=sharing" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="c899a7bb-728d-44d3-8e3f-8d5975ed3eb5" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:20</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="5e7a3338-b8d2-4b8e-8dfd-573ce7292103" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5e7a3338-b8d2-4b8e-8dfd-573ce7292103">Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/thorstenkoch" class="navigate">Thorsten Koch</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/stefandziwok" class="navigate">Stefan Dziwok</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/jorgholtmann" class="navigate">Jörg Holtmann</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/ericbodden1" class="navigate">Eric Bodden</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="e160b002-eb56-4e77-8457-0e5b9c89f5c8" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="aaa5fe40-223d-4ed7-bde3-af986df559f0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="aaa5fe40-223d-4ed7-bde3-af986df559f0">Automating Test Schedule Generation with Domain-Specific Languages: A Configurable, Model-Driven Approach<span class="pull-right"><span title="Practice and innovation track research paper" data-facet-badge="P&I" class="output-badge" style="max-width:40px;"><span class="label-primary label">P&I</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/anthonyanjorin" class="navigate">Anthony Anjorin</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/nilsweidmann1" class="navigate">Nils Weidmann</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/robinoppermann1" class="navigate">Robin Oppermann</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/larsfritsche1" class="navigate">Lars Fritsche</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/andyschurr" class="navigate">Andy Schürr</a><span class="prog-aff"> TU Darmstadt</span></div></td></tr><tr data-slot-id="0cebed10-394f-4ba0-8a4c-1ff4adbef66b" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>10m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="09ed3956-55f3-4512-9644-2d89fe91b86e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="09ed3956-55f3-4512-9644-2d89fe91b86e">MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety Artifacts<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/alessiodisandro" class="navigate">Alessio Di Sandro</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/gehanselim1" class="navigate">Gehan Selim</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/saharkokaly1" class="navigate">Sahar Kokaly</a><span class="prog-aff"> General Motors</span>, <a href="https://conf.researchr.org/profile/models-2020/torinviger" class="navigate">Torin Viger</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/ricksalay" class="navigate">Rick Salay</a><span class="prog-aff"> University of Toronto</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Fri 23 Oct 2020" data-facet-date-order="201023" data-facet-room="Room B" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c2"></td><td><div class="slot-label">15:00 - 16:15</div></td><td colspan="2"><div class="session-info-in-table">B8-Variability and Evaluation<span class="pull-right"><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" target="_blank" class="text-muted navigate">Technical Track</a></span> at <a href="https://conf.researchr.org/room/models-2020/models-2020-venue-room-b" target="_blank" class="room-link navigate">Room B</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/models-2020/mahdimanesh" target="_blank" class="navigate">Mahdi Manesh</a><span class="prog-aff"> Porsche Digital GmbH</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="643616d6-7197-4ab8-9460-4410122c0e07" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="be18867f-15ba-42ae-87e6-eabcd3ad0493" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="be18867f-15ba-42ae-87e6-eabcd3ad0493">Variability Representations in Class Models: An Empirical Assessment<span class="pull-right"><span title="Foundation track research paper" data-facet-badge="FT" class="output-badge" style="max-width:40px;"><span class="label-primary label">FT</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/danielstruber" class="navigate">Daniel Strüber</a><span class="prog-aff"> Radboud University Nijmegen</span>, <a href="https://conf.researchr.org/profile/models-2020/anthonyanjorin" class="navigate">Anthony Anjorin</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/thorstenberger" class="navigate">Thorsten Berger</a><span class="prog-aff"> Chalmers University of Technology, Sweden / University of Gothenburg, Sweden</span></div><a href="https://www.danielstrueber.de/publications/SAB20.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="9ccf20d1-fb90-49a5-b607-956eeaa5da5c" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:20</div><strong>20m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="b007a075-eb08-45de-8ea0-ddb7fa4b9c09" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b007a075-eb08-45de-8ea0-ddb7fa4b9c09">Co-evolution of Simulink Models in a Model-Based Product Line<span class="pull-right"><span title="Practice and innovation track research paper" data-facet-badge="P&I" class="output-badge" style="max-width:40px;"><span class="label-primary label">P&I</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/robbertjongeling" class="navigate">Robbert Jongeling</a><span class="prog-aff"> Malardalen University</span>, <a href="https://conf.researchr.org/profile/models-2020/antoniocicchetti" class="navigate">Antonio Cicchetti</a><span class="prog-aff"> Mälardalen University</span>, <a href="https://conf.researchr.org/profile/models-2020/federicociccozzi" class="navigate">Federico Ciccozzi</a><span class="prog-aff"> Malardalen University</span>, <a href="https://conf.researchr.org/profile/models-2020/jancarlson" class="navigate">Jan Carlson</a><span class="prog-aff"> Malardalen University</span></div><a href="https://dl.acm.org/doi/proceedings/10.1145/3365438" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3365438.3410989" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="http://www.es.mdh.se/pdf_publications/5874.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="cef51f4c-e63c-4340-862d-863afad32936" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="290eb326-318c-4949-bf36-3812bcaba72e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="290eb326-318c-4949-bf36-3812bcaba72e">Claimed Advantages and Disadvantages of (dedicated) Model Transformation languages: A Systematic Literature Review<span class="pull-right"><span title="Journal-first research paper published in SoSym" data-facet-badge="J1st" class="output-badge" style="max-width:40px;"><span class="label-primary label">J1st</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/stefangotz" class="navigate">Stefan Götz</a><span class="prog-aff"> </span>, <a href="https://conf.researchr.org/profile/models-2020/matthiastichy" class="navigate">Matthias Tichy</a><span class="prog-aff"> Ulm University, Germany</span>, <a href="https://conf.researchr.org/profile/models-2020/raffaelagroner" class="navigate">Raffaela Groner</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="8dec6c01-2bfb-4b82-bc74-fa348b259f7a" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:55</div><strong>15m</strong></div><div class="event-type">Demonstration</div><span data-facet-track="MODELS Technical Track"></span></td><td><span data-event-star="962e25c4-5bcc-4f4d-add0-7b6c858a7a5d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="962e25c4-5bcc-4f4d-add0-7b6c858a7a5d">Using Benji to Systematically Evaluate Model Comparison Algorithms<span class="pull-right"><span title="Tool demonstration paper" data-facet-badge="Demo" class="output-badge" style="max-width:40px;"><span class="label-primary label">Demo</span></span></span></a></strong><div class="prog-track">Technical Track</div><div class="performers"><a href="https://conf.researchr.org/profile/models-2020/lorenzoaddazi" class="navigate">Lorenzo Addazi</a><span class="prog-aff"> Mälardalen University</span>, <a href="https://conf.researchr.org/profile/models-2020/antoniocicchetti" class="navigate">Antonio Cicchetti</a><span class="prog-aff"> Mälardalen University</span></div></td></tr></table></div></div></div></div></div><div id="Call-for-papers" class="tab-pane "><h2>Call for papers</h2><p><hr> <h2><a href="#foundations-track-papers" id="foundations-track-papers" class="anchor-link">Foundations Track Papers</a></h2> <p>We invite authors to submit high quality contributions describing significant, original, and unpublished results in the following categories: </p><ol> <b><li> Technical Papers</li></b> Technical papers should describe innovative research in modeling or model-driven engineering activities. Papers in this submission category should describe a novel contribution to the field and should carefully support claims of novelty with citations to the relevant literature.<p></p> <p><strong>Evaluation Criteria</strong>: Technical papers are evaluated on the basis of originality, soundness, relevance, importance of contribution, strength of validation, quality of presentation and appropriate comparison to related work. Where a submission builds upon previous work of the author(s), the novelty of the new contribution must be described clearly with respect to the previous work. Technical papers need to discuss clearly how the results were validated (e.g., formal proofs, controlled experiments, rigorous case studies, or simulations). Authors are strongly encouraged to make the artifacts used for the evaluation publicly accessible, e.g., through a Github repository or an alternative that is likely to remain available. There will be an artifact evaluation process, as discussed below.</p> <p><b> </b></p><li><b> <strong>New Ideas and Vision Papers</strong></b></li> We solicit short papers that present new ideas and visions. Such papers may describe new, non-conventional model-driven engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence that common wisdom should be challenged, present new unifying theories about existing modeling research that provides novel insight or that can lead to the development of new technologies or approaches, or apply modeling technology to radically new application areas.<p></p> <p><strong>Evaluation Criteria</strong>: New ideas and vision papers will be assessed primarily on their level of originality and potential for impact on the field in terms of promoting innovative thinking. Hence, inadequacies in the state-of-the-art and the pertinence, correctness, and impact of the idea/vision must be described clearly, even though the new idea need not be fully worked out, and a fully detailed roadmap need not be presented.</p> </ol> <h2><a href="#practice-and-innovation-track" id="practice-and-innovation-track" class="anchor-link">Practice and Innovation Track</a></h2> <p>The goal of this track is to fill the gap between foundational research in model-based engineering (MBE) and industrial needs. We invite authors from academia and/or industry to submit original contributions reporting on the development of innovative MBE solutions in industries, public sector, or open-source settings, as well as innovative application of MBE in such contexts. Examples include:</p> <ul> <li> <p>Scalable and cost-effective methodologies and tools</p> </li> <li> <p>Industrial case studies with valuable lessons learned</p> </li> <li> <p>Experience reports providing novel insights</p> </li> </ul> <p>Each paper should provide clear take-away value by describing the context of a problem of practical importance, and the application of MBE that leads to a solution.</p> <p><strong>Evaluation Criteria</strong>: A paper in the P&I Track will be evaluated mainly from its practical take-away and the potential impact of the findings. More specifically,</p> <ul> <li> <p>The paper should discuss why the solution to the problem is innovative (e.g., in terms of advancing the state-of-practice), effective, and/or efficient, and what likely practical impact it has or will have;</p> </li> <li> <p>The paper should provide a concise explanation of approaches, techniques, methodologies and tools employed;</p> </li> <li> <p>The paper should explain best practices that emerged, tools developed, and/or software processes involved.</p> </li> <li> <p>Studies reporting on negative findings must provide a thorough discussion of the potential causes of failure, and ideally a perspective on how to solve them.</p> </li> </ul> </p></div><div id="Submission-and-Evaluation-Process" class="tab-pane "><div class="page-header"><h1>Submission and Evaluation Process</h1></div> <p>The submission process for MODELS 2020 is similar to past MODELS conferences, with the specific details below. We however follow the double blind review process and “New Ideas and Vision Papers” should be submitted as short papers as mentioned. In the double blind review process, authors will not be identified to reviewers and reviewers will not be identified to authors. Please consult the <a href="#submission-information">submission information section</a> below to prepare your manuscript for the double-blind process.</p> <h2><a href="#submission-guidelines" id="submission-guidelines" class="anchor-link">Submission Guidelines</a></h2> <p>For Foundations and Practice & Innovation tracks, papers must be submitted electronically through the <a href="https://easychair.org/conferences/?conf=models2020" target="_blank">MODELS 2020 EasyChair</a> web page.</p> <ul> <li> <p>“Foundations” and “Practice and Innovation” papers must not exceed 10 pages for the main text, inclusive of all figures, tables, appendices, etc. Two more pages containing only references are permitted.</p> </li> <li> <p>“New Ideas/Vision” papers must not exceed 6 pages for the main text, inclusive of all figures, tables, appendices, etc. One more page containing only references is permitted.</p> </li> <li> <p>All submissions must be in PDF. The page limit is strict, and it will not be possible to purchase additional pages at any point in the process (including after the paper is accepted).</p> </li> <li>Formatting instructions are available at <a href="https://www.acm.org/publications/proceedings-template">https://www.acm.org/publications/proceedings-template</a> for both LaTeX and Word users. LaTeX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, enable the conference format in the preamble of the document (i.e., \documentclass[sigconf,review]{acmart}), and use the ACM reference format for the bibliography (i.e., \bibliographystyle{ACM-Reference-Format}). The review option adds line numbers, thereby allowing referees to refer to specific lines in their comments.</li> <li> <p>Lastly, MODELS 2020 will employ a double-blind review process. Thus, no submission may reveal its authors’ identities. The authors must make every effort to honor the double-blind review process. In particular, the authors’ names must be omitted from the submission and references to their prior work should be in the third person. For more information, check the submission information page.</p> </li> </ul> <p>Submissions that do not adhere to these limits or that violate the formatting guidelines will be desk-rejected without review. Accepted papers will be published in the conference proceedings published by</p> <p>ACM. Selected papers from the conference will be invited to revise and submit extended versions of the papers for publication in the International Journal on Software and Systems Modeling (SoSyM).</p> <h2><a href="#review-process" id="review-process" class="anchor-link">Review Process</a></h2> <p>MODELS 2020’s double blind review process will use a single phase with no rebuttals. There will be an extended discussion phase monitored by one Program Board member assigned to each paper. The Program Chairs will also be heavily involved in monitoring discussions and reviews, to ensure that quality reviews are produced.</p> <p>All papers that conform to the submission guidelines will be peer-reviewed by at least three members of the Program Committee. The Program Board will monitor the reviews of papers assigned to them, to ensure that the reviews are constructive and sufficiently detailed so that authors can both improve their papers and understand the rationale behind final decisions. After reviews are completed, the Program Board will lead a discussion phase on papers assigned to them, in order to come up with recommendations. These recommendations will be discussed at the Program Board meeting, to be held in early July 2020, in order to come up with decisions on papers to be presented at the conference.</p> <p>Authors of accepted papers will be invited to submit their accompanying artifacts (e.g., software, datasets, proofs) to the Artifact Evaluation track. The Artifact Evaluation track is run by a separate committee whose task is to assess how the artifacts support the results presented in the papers. Participation in the Artifact Evaluation process is optional and does not affect the final decision regarding the papers. Papers that successfully go through the Artifact Evaluation process will be rewarded with a seal of approval printed on the paper themselves. The artifacts will be archived.</p> <h2><a href="#important-dates" id="important-dates" class="anchor-link">Important Dates</a></h2> <p>Foundation Track and Practice and Innovation Track have the following deadlines:</p> <ul> <li> <p>May 15, 2020, Abstract submission</p> </li> <li> <p>May 22, 2020, Paper submission (firm)</p> </li> <li> <p>July 13, 2020, Author notification</p> </li> <li> <p>July 31, 2020, Camera Ready Due</p> </li> </ul> <p>Please note that:</p> <ul> <li> <p>Abstract submission is mandatory.</p> </li> <li> <p>All deadlines are hard. No extensions will be granted.</p> </li> <li> <p>All dates are according to time zone “Anywhere on Earth”, i.e., UTC-12.</p> </li> <li> <p>All accepted papers must be presented by an author who is registered as a “Regular” participant (student presenters must register as a Regular participant).</p> </li> </ul> <h2><a href="#submission-information" id="submission-information" class="anchor-link">Submission Information</a></h2> <p>MODELS 2020 will follow a double-blind reviewing process in which the identity of authors will not be known to the program committee at any time during the process. The papers submitted must not reveal the authors´ identities in any way. Hence, the authors should make every reasonable effort to keep the paper anonymous, but of course there is no need to guarantee that the authors’ identity is undiscoverable.</p> <p><strong><em>Why Double Blind?</em></strong></p> <p>There are many reasons for a double-blind review process at conferences, including to avoid (even unconscious) bias from the reviewers. Hence, to make the review process as fair as possible, we want to avoid either positive or negative bias of reviewers from the authors’ identities. Recently, many conferences have moved to a double blind process to avoid such bias, including ICSE, ICSME, FASE, ESEC/FSE, and ASE, among many others.</p> <p>For more information on motivations for double-blind reviewing, see Claire Le Goues’s very well argued, referenced and evidenced blog posting in favor of double-blind review processes for Software Engineering conferences. See also a list of double-blind resources from Robert Feldt, as well as a more formal study of the subject by Moritz Beller and Alberto Bacchelli, as well as studies on the benefits of double blind in merit reviewing.</p> <p>How to prepare your paper for double-blind reviewing?</p> <p>● Omit all authors’ names and affiliations from the title page. Omit also acknowledgements, if they mention any names or organizations.</p> <p>● Refer to your own work in the third person. You should not change the names of your own previously published tools, approaches, or systems, because this would clearly compromise the review process. Instead, refer to the authorship or provenance of tools, approaches, or systems in the third person, so that it is credible that another author could have written your paper.</p> <p>● If possible, do not rely on external sources for supplementary material (your website, your GitHub repository, your YouTube channel, a companion technical report or thesis) in the paper. Such material might reveal author identities. It is possible to post a link to an anonymous GitHub repository, or anonymous web hosting services, but the repository should be checked carefully for any information that could reveal the author’s identity, and it could be helpful to warn the reader that accessing the repository could reveal the author’s identity. In any case, you will be able to submit supplementary material through the EasyChair submission site, but check the material carefully for anything that can reveal the author’s identity. <a href="https://icer.acm.org/icer-2017/additional-advice-on-anonymization/">Here are some additional tips on anonymization from ACM</a>.</p> <p>Authors having further questions on double blind reviewing are encouraged to contact the Program Chairs by email. Papers that do not comply to the double blind review process will be desk-rejected.</p> <h2><a href="#attendance" id="attendance" class="anchor-link">Attendance</a></h2> <p>If a submission is accepted, at least one author of the paper is required to attend the conference and present the paper in person.</p> <h2><a href="#production-of-artifacts" id="production-of-artifacts" class="anchor-link">Production of artifacts</a></h2> <p>After the notification, the authors of accepted papers will be invited to submit <a href="models-2020-artifact-evaluation">artifacts related to the paper to be evaluated by the Artifact Evaluation Committee</a>.</p> </div><div id="Accepted-papers" class="tab-pane "><div class="page-header"><h1>Accepted papers</h1></div><style> .title { line-height: 0.1; } </style> <script> $(document).ready(function(){ $( "ul#tab li:nth-child(1)" ).removeClass("active"); $( "ul#tab li:nth-child(5)" ).addClass("active"); $( "#About" ).removeClass("active"); $( "#Accepted-papers" ).addClass("active"); }); </script> <h2 style="text-align:center;"> Foundation Track (main section) </h2> <hr>  <div class="title"> <h3> A Compositional Framework for Systematic Modeling Language Reuse </h3> </div>  <p> Authors: Arvid Butting, Jerome Pfeiffer, Bernhard Rumpe and Andreas Wortmann </p>  <p> Many engineering domains started using generic modeling languages, such as SysML, to describe or prescribe the systems under development. This raises a gap between the generic modeling languages and the domains of experience of the engineers using these. Engineering truly domain-specific languages (DSLs) for experts of these domains still is too challenging for their wide-spread adoption. One major obstacle, the inability to reuse multi-dimensional (encapsulating constituents of syntax and semantics) language components in a black-box fashion prevents the effective engineering of novel DSLs. To facilitate engineering DSLs, we devised a concept of 3D components for textual, external, and translational DSLs that relies on systematic reuse through systematic closed and open variability in which DSL syntaxes can be embedded, well-formedness rules joined, and code generators integrated in a black-box fashion. We present this concept, a method for its systematic application, an integrated collection of modeling languages supporting systematic language reuse, and an extensible framework that leverages these languages to derive novel DSLs from language product lines. These can greatly mitigate many of the challenges in DSL reuse and, hence, can advance the engineering of truly domain-specific modeling languages. </p> <br>  <div class="title"> <h3> Variability Representations in Class Models: An Empirical Assessment </h3> </div> <p> Authors: Daniel Strüber, Anthony Anjorin and Thorsten Berger </p> <p> Owing to the ever-growing need for customization, software systems often exist in many different variants. To avoid the need to maintain many different copies of the same model, developers of modeling languages and tools have recently started to provide representations for such variant-rich systems, notably variability mechanisms that support the implementation of differences between model variants. Available mechanisms either follow the annotative or the compositional paradigm, each of them having unique benefits and drawbacks. Language and tool designers select the used variability mechanism often solely based on intuition. A better empirical understanding of the comprehension of variability mechanisms would help them in improving support for effective modeling.<br> In this paper, we present an empirical assessment of annotative and compositional variability mechanisms for class models. We report and discuss findings from an experiment with 73 participants, in which we studied the impact of the chosen variability mechanisms during model comprehension tasks. We find that, compared to the baseline of listing all model variants separately, the annotative technique did not affect developer performance. Use of the compositional mechanism correlated with impaired performance. For a subset of our tasks the annotative mechanism is preferred to the compositional one and the baseline. We present actionable commendations concerning support of flexible, tasks-specific solutions, and the transfer of best established best practices from the code domain to models. </p> <br>  <div class="title"> <h3> Synthesis of State Machine Models</h3> </div> <p> Authors: Nafiseh Kahani, Mojtaba Bagherzadeh and James R. Cordy </p> <p> The automated synthesis of behavioural models in the form of state machines (SMs) from higher-level specifications has a high potential impact on the efficiency and accuracy of software development using models. In this paper, inspired by program synthesis techniques, we propose a model synthesis approach that takes as input a structural model of a system and its desired system properties, and automatically synthesizes executable SMs for its components. To this end, we first generate a synthesis formula for each component, consistent with the system properties, and then perform a State Space Exploration (SSE) of each component, based on its synthesis formula. Each step of the SSE involves simply solving the synthesis formula in different contexts, based on input messages and the current execution state. The result of the SSE is saved in a Labeled Transition System (LTS), for which we then synthesize detailed actions for each of its transitions. Finally, we transform the LTSs into UML-RT (UML real-time profile) SMs, and integrate them with the original structural models. We assess the applicability, performance, and scalability of our approach using several different use cases extracted from the literature. </p> <br>  <div class="title"> <h3> Detecting Quality Problems in Research Data: A Model-Driven Approach</h3> </div> <p> Authors: Arno Kesper, Viola Wenz and Gabriele Taentzer </p> <p> As scientific progress highly depends on the quality of research data, there are strict requirements for data quality coming from the scientific community. A major challenge in data quality assurance is to localise quality problems that are inherent to data collections. In this paper, we present the results of a qualitative study on quality problems occurring in cultural heritage data. To cope with the dynamic digitalisation of the humanities, we present a model-driven approach to analyse the quality of research data. It allows abstracting from the underlying database technology. Based on the observation that many of the identified quality problems show anti-patterns, a data engineer formulates analysis patterns that are generic concerning the database format and technology. A domain expert chooses a pattern that has been adapted to a specific database technology and concretises it for a domain-specific database format. The resulting concrete patterns are used by data analysts to locate quality problems in their databases. As a proof of concept, we implemented tool support that realises this approach for XML databases. We evaluated our approach concerning expressiveness and performance. </p> <br>  <div class="title"> <h3> Modeling Mechanical Functional Architectures in SysML</h3> </div> <p> Authors: Imke Drave, Gregor Hoepfner, Thilo Zerwas, Joerg Berroth, Kathrin Spuetz, Christian Guist, Jens Kohl, Bernhard Rumpe, Georg Jacobs and Andreas Wortmann</p> <p> Innovations in Cyber-Physical System (CPS) are driven by functionalities and features. Mechanical Engineering is mainly concerned with the physical product architecture that is not explicitly linked to these functions. A holistic model-driven engineering approach for CPS, therefore, needs to bridge the gap between functions and the physical product architecture. In mechanical design methodology, functional architectures describe the functionality of the system under development but are typically neither considered nor modeled in practice. Existing approaches utilizing mechanical functional architectures, however, do not formalize a relation between the functional architecture and the geometric design. Therefore, we conceived a meta-model that defines modeling-languages for modeling functional architectures of mechanical systems and physical solutions, i.e., interconnections of physical effects and geometries, as refinements of the functional components. We have encoded the meta-model as a SysML profile and applied it within an interdisciplinary, industrial project to model an automotive cooling system. Our contribution signposts the potential of functional structures to not only bridge the gap between function and geometry in mechanics but also to integrate the heterogeneous domains participating in CPS engineering. </p> <br>  <div class="title"> <h3>Efficient Reordering and Replay of Execution Traces of Distributed Reactive Systems in the Context of Model-driven Development </h3> </div> <p> Authors: Majid Babaei, Mojtaba Bagherzadeh and Juergen Dingel</p> <p> Ordering and replaying of execution traces of distributed systems is a challenging problem. State-of-the-art approaches annotate the traces with logical or physical timestamps. However, both kinds of timestamps have their drawbacks, including increased trace size. We examine the problem of determining consistent orderings of execution traces in the context of model-driven development of reactive distributed systems, that is, systems whose code has been generated from communicating state machine models. By leveraging key concepts of state machines and existing model analysis and transformation techniques, we propose an approach to collecting and reordering execution traces that does not rely on timestamps. We describe a prototype implementation of our approach and an evaluation. The experimental results show that compared to reordering based on logical timestamps using vector time (clocks), our approach reduces the size of the trace information collected by more than half while incurring similar runtime overhead. </p> <br>  <div class="title"> <h3> Template Based Model Engineering in UML </h3> </div> <p> Authors: Gilles Vanwormhoudt, Matthieu Allon, Olivier Caron and Bernard Carré </p> <p> Model-based engineering (MBE) contributes a lot to software reuse by abstracting technology independent models, their capitalization and then their reuse to produce systems, ensuring early composition and checking capabilities. One step further, it was recognized that models could be parameterized in order to capture recurrent modeling patterns. This led to the concept of "model template" as offered in UML. In this paper we concentrate on engineering practices and operators which derive from the adoption of this concept, specifically in the case of "aspectual templates", where parameters form full models. As a first step, we show the consequent partitioning of modeling spaces into two subspaces: one dedicated to template modelers ("model for reuse"), the other one dedicated to application modelers ("model by reuse"). Respective activities are identified, but also back-and-forth between them. From this, engineering operators are isolated and formally specified. Finally, reusable technology within Eclipse is offered. </p> <br>  <div class="title"> <h3>Model-driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems </h3> </div> <p> Authors: Jörg Christian Kirchhof, Judith Michael, Bernhard Rumpe, Simon Varga and Andreas Wortmann</p> <p> Digital twins emerge in many disciplines to support engineering, monitoring, controlling, and optimizing cyber-physical systems, such as airplanes, cars, factories, medical devices, or ships. There is an increasing demand to create digital twins as representation of cyber-physical systems and their related models, data traces, aggregated data, and services. Despite a plethora of digital twin applications, there are very few systematic methods to facilitate the modeling of digital twins for a given cyber-physical system. Existing methods focus only on the construction of specific digital twin models and do not consider the integration of these models with the observed cyber-physical system. To mitigate this, we present a fully model-driven method to describe the software of the cyber-physical system, its digital twin information system, and their integration. The integration method relies on MontiArc models of the cyber- physical system’s architecture and on UML/P class diagrams from which the digital twin information system is generated. We show the practical application and feasibility of our method on an IoT case study. Explicitly modeling the integration of digital twins and cyber-physical systems eliminates repetitive programming activities and can foster the systematic engineering of digital twins. </p> <br>  <div class="title"> <h3>To build, or not to build: ModelFlow, a build solution for MDE projects </h3> </div> <p> Authors: Beatriz A. Sanchez, Dimitris Kolovos and Richard Paige </p> <p> Conservative execution, end-to-end traceability, and context-aware resource handling are desirable features in model management build processes. Yet, none of the existing MDE-dedicated build tools (e.g. MTC-Flow, MWE2) support such features. An initial investigation of general-purpose build tools (e.g. ANT, Gradle) to assess whether we could build a workflow engine with support for these desirable features on top of it revealed limitations that could act as roadblocks for our work. As such, we decided to design and implement a new MDE-focused build tool (ModelFlow) from scratch to avoid being constrained by assumptions and technical constraints of these tools. We evaluated whether this decision was sensible by attempting to replicate its behaviour with Gradle in a typical model-driven engineering scenario. The evaluation highlighted scenarios where Gradle could not be extended to achieve the desirable behaviour which validates the decision to not base ModelFlow on top of it. </p> <br>  <div class="title"> <h3> Efficient Generation of Graphical Model Views via Lazy Model-to-Text Transformation</h3> </div> <p> Authors: Dimitris Kolovos, Alfonso de la Vega and Justin Cooper </p> <p> Producing graphical views from software and system models is often desirable for communication and comprehension purposes, even when graphical model editing capabilities are not required - because the preferred editable concrete syntax of the models is text-based, or for models extracted via reverse engineering. To support such scenarios, we present a novel approach for efficient rule-based generation of transient graphical views from models using lazy model-to-text transformation, and an implementation of the proposed approach in the form of an open-source Eclipse plugin named Picto. Picto builds on top of mature visualisation software such as Graphviz and PlantUML and supports, among others, composite views, layers, and multi-model visualisation. We illustrate how Picto can be used to produce various forms of graphical views such as node-edge diagrams, tables and sequence-like diagrams, and we demonstrate the efficiency benefits of lazy view generation approach against batch model-to-text transformation for generating views from large models. </p> <br>  <div class="title"> <h3> Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers </h3> </div> <p> Authors: Thorsten Koch, Stefan Dziwok, Jörg Holtmann and Eric Bodden </p> <p> Security protocols ensure secure communication between and within systems such as internet services, factories, and smartphones. As evidenced by numerous successful attacks against popular protocols such as TLS, designing protocols securely is a tedious and error-prone task. Model checkers greatly aid protocol verification, yet any single model checker is oftentimes insufficient to check a protocol’s security in full. Instead, engineers are forced to maintain multiple overlapping and hopefully non-contradicting and non-diverging specifications, one per model-checking tool—an error-prone task. To address this problem, this paper presents VICE, a scenario-based approach to security-protocol verification. It provides a visual modeling language based for specifying security protocols independent of the model checker. It then automatically transforms the relevant fragments of these models into equivalent inputs to multiple model checkers. In result, VICE completely relieves the security engineer from choosing and specifying queries via a fully automatic generation of all necessary queries. Through a case study involving real-world specifications of eight security protocols, we show that VICE is applicable in practice. </p> <br>  <div class="title"> <h3> MAR: A structure-based search engine for models</h3> </div> <p> Authors: José Antonio Hernández López and Jesús Sánchez Cuadrado</p> <p> The availability of shared software models provides opportunities for reusing, adapting and learning from them. Public models are typically stored in a variety of locations, including model repositories, regular source code repositories, web pages, etc. To profit from them developers need effective search mechanisms to locate the models relevant for their tasks. However, to date, there has been little success in creating a generic and efficient search engine specially tailored to the modelling domain. In this paper we present MAR, a search engine for models. MAR is generic in the sense that it can index any type of model if its meta-model is known. Moreover, MAR takes the model structure into account in order to improve the precision of the search. We tackle the challenge of encoding the models' structure in an indexable manner by extracting paths between model elements. MAR is built over HBase which allows us to deal with large repositories offering a quick response to the queries. Our benchmarks show that the engine is efficient and has fast response times in most cases. We have also evaluated the precision of the search engine by creating model mutants which simulate user's queries. A REST API is available to perform queries and an Eclipse plug-in allows end users to connect to the search engine from model editors. We have currently indexed more than 50.000 models of different kind, including Ecore meta-models, BPMN diagrams and UML models. </p> <br>  <div class="title"> <h3> Certifying Rule-Based Model Transformation Engines for Proof Preservation</h3> </div> <p> Authors:Zheng Cheng, Massimo Tisi and Joachim Hotonnier </p> <p> Executable engines for relational model-transformation languages evolve continuously because of language extension, performance improvement and bug fixes. While new versions generally change the engine semantics, end-users expect to get backward-compatibility guarantees, so that existing transformations do not need to be adapted at every engine update. The CoqTL model-transformation language allows users to define model transformations, theorems on their behavior and machine-checked proofs of these theorems in Coq. Backward-compatibility for CoqTL involves also the preservation of these proofs. However, proof preservation is challenging, as proofs are easily broken even by small refactorings of the code they verify. In this paper we present the solution we designed for the evolution of CoqTL, and by extension, of rule-based transformation engines. We provide a deep specification of the transformation engine, including a set of theorems that must hold against the engine implementation. Then, at each milestone in the engine development, we certify the new version of the engine against this specification, by providing proofs of the impacted theorems. The certification formally guarantees end-users that all the proofs they write using the provided theorems will be preserved through engine updates. We illustrate the structure of the deep specification theorems, we produce a machine-checked certification of three versions of CoqTL against it, and we show examples of user theorems that leverage this specification and are thus preserved through the updates. </p> <br>  <div class="title"> <h3> An Exploratory Study on Performance Engineering in Model Transformations</h3> </div> <p> Authors: Raffaela Groner, Luis Beaucamp, Matthias Tichy and Steffen Becker</p> <p> Model-Driven Software Engineering (MDSE) is a widely used approach to deal with the increasing complexity in software. Model transformations are essential operations in MDSE. Due to the increasing complexity in software, corresponding input models and model transformations applied to them become larger and more complex as well. This means that the execution performance of model transformations is gaining in importance. While improving the performance of model transformation execution engines has been a focus of the MDSE-community in the past, there does not exist any empirical study on how developers of model transformation deal with performance issues. Consequently, we conducted an exploratory mixed method study consisting of a quantitative online survey and a qualitative interview study. We used a questionnaire to investigate whether the performance of a transformation is actually important for them and whether transformation engineers have already tried to improve the performance of a model transformation. Subsequently, we conducted semi-structured interviews based on the answers to the questionnaire to investigate how transformation engineers deal with performance issues, what causes and solutions they found and also what they think what could help them to easier find causes. The results of the quantitative online survey show that 43 of 81 participants have already tried to improve the performance of a transformation and 34 of the 81 are sometimes or only rarely satisfied with the execution performance. Based on the answers from our 13 interviews, we identified different strategies to prevent or find performance issues in model transformations as well as different types of causes of performance issues and solutions. Finally, we compiled a collection of additional tool features perceived helpful by the interviewees to address performance issues. </p> <br>  <div class="title"> <h3> AC-ROS: Assurance Case Driven Adaptation for the Robot Operating System </h3> </div> <p> Authors: Betty H.C. Cheng, Robert Clark, Jonathon Fleck, Michael Langford and Philip McKinley </p> <p> Cyber-physical systems that implement self-adaptive behavior, such as autonomous robots, need to ensure that requirements remain satisfied across run-time adaptations. The Robot Operating System (ROS), a middleware infrastructure for robotic systems, is widely used in both research and industrial applications. However, ROS itself does not provide functionality to assure self-adaptive behavior. This paper introduces AC-ROS, which fills this gap by using assurance case models at run time to manage the self-adaptive operation of ROS-based software. Assurance cases provide structured arguments that a system satisfies requirements and can be specified graphically with Goal Structuring Notation (GSN) models. AC-ROS uses GSN models to instantiate and populate a ROS-based MAPE-K framework, which in turn uses these models at run time to assure system behavior adheres to requirements across adaptations. For this study, AC-ROS is implemented and tested on EvoRally, a 1:5-scale autonomous vehicle controlled by software based on ROS. </p> <br>  <div class="title"> <h3> Automating the Early Detection of Security Design Flaws </h3> </div> <p> Authors: Katja Tuma, Laurens Sion, Riccardo Scandariato and Koen Yskout </p> <p> Security by design is a key principle for realizing secure software systems and it is advised to hunt for security flaws from the very early stages of software development. At design-time, security analysis is often performed manually by means of either threat modeling or expert-based design inspections. However, when leveraging the wide range of well-established knowledge bases on security design flaws (e.g., CWE, CAWE), these manual assessments become too time consuming, error-prone, and infeasible in the context of contemporary development practices which employ frequent iterations. This paper focuses on design inspection and explores the potential for automating the application of inspection rules to speed up the security analysis process. The contributions of this paper are: (i) the creation of a publicly available data set consisting of 26 design models annotated with security flaws, (ii) an automated approach for following inspection guidelines using model query patterns, and (iii) an empirical comparison of the results from this automated approach with those from manual inspection. Even though our results show that a complete automation of the security design flaw detection is hard to achieve, we find that some flaws (e.g., insecure data exposure) are more amenable to automation. Compared to manual analysis techniques, our results are encouraging and suggest that the automated technique could guide security analysts towards a more complete inspection of the software design, especially when analyzing large models. </p> <br>  <div class="title"> <h3> Semantic Comparisons of Alloy Models </h3> </div> <p> Authors: Jan Oliver Ringert and Syed Waqee Wali </p> <p> Alloy is a textual modeling language for structures and behaviors of software designs. The Alloy Analyzer provides various analyses making it a popular light-weight formal methods tool. While Alloy models can be analyzed, explored, and tested there is little support for comparing different versions of Alloy models. We believe that these comparisons are crucial when trying to refactor, refine, or extend models. In this work we present an approach for the semantic comparisons of Alloy models. Our pair-wise comparisons include semantic model differencing and the checking of refactoring, refinement, and extension. We enable the semantic comparison of Alloy models by a translation of two versions into a single model that is able to simulate instances of either one or of both version. Semantic differencing and instance computation require only a single analyses of the combined model in the Alloy Analyzer. We implemented our work and evaluated it on over 600 Alloy models from different sources including version histories. Our evaluation examines the cost of semantic comparisons using the Alloy Analyzer. </p> <br>  <div class="title"> <h3> An extensible framework for customizable model repair</h3> </div> <p> Authors: Angela Barriga, Rogardt Heldal, Ludovico Iovino, Magnus Marthinsen and Adrian Rutle </p> <p> In model-driven software engineering, models are used in all phases of the development process. These models may get broken due to various editions during the modeling process. There are a number of existing tools that reduce the burden of manually dealing with correctness issues in models, however, most of these tools do not prioritize customization to follow user requirements nor allow the extension of their components to adapt to different model types. In this paper, we present an extensible model repair framework which enable users to deal with different types of models and to add their own repair preferences to customize the results. The framework uses customizable learning algorithms to automatically find the best sequence of actions for repairing a broken model according to the user preferences. As an example, we customize the framework by including as a preference a model distance metric, which allows the user to choose a more or less conservative repair. Then, we evaluate how this preference extension affects the results of the repair by comparing different distance metric calculations. Our experiment proves that extending the framework makes it more precise and produces models with better quality characteristics. </p> <br>  <div class="title"> <h3> A Scalable Querying Scheme for Memory-efficient Runtime Models with History</h3> </div> <p> Authors: Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky and Holger Giese</p> <p> The increasing need for adaptability of software systems has blurred the boundary between development-time and runtime. Runtime models, as a snapshot of the system at runtime, provide a global view of the system at a desired level of abstraction. Moreover, models support further analysis and reasoning by employing model-driven engineering techniques at runtime. Although runtime models, model queries, and adaptation based on model changes have been the focus of extensive research, schemes that treat the evolution of the runtime model over time as a first-class citizen have only lately received attention. Consequently, there is a lack of sophisticated technology for such runtime models with history. We present an approach where the integration of temporal requirements into model queries enables the scalable querying of runtime models with history. Moreover, our approach provides for a memory-efficient storage of such models. By integrating these two elements into an adaptation loop, we enable efficient history-aware self-adaptation via runtime models. We present a tool prototype for our approach and evaluate the scalability of the approach regarding time and memory based on real data from the medical domain. </p> <br>  <div class="title"> <h3> Automated Generation of Consistent Models with Structural and Attribute Constraints</h3> </div> <p> Authors: Oszkár Semeráth, Aren Babikian, Anqi Li, Kristóf Marussy and Dániel Varró </p> <p> Automatically synthesizing consistent models is a key prerequisite for many testing scenarios in autonomous driving or software tool validation where model-based systems engineering techniques are frequently used to ensure a designated coverage of critical cornercases. From a practical perspective, an inconsistent model is irrelevant as a test case (e.g. false positive), thus each synthetic model needs to simultaneously satisfy various structural and attribute well-formedness constraints. While different logic solvers or dedicated graph solvers have recently been developed, they fail to handle either structural or attribute constraints in a scalable way. In the current paper, we combine a structural graph solver that uses partial models with an SMT-solver to automatically derive models with which simultaneously fulfill structural and attribute constraints while key theoretical properties of model generation like completeness or diversity are still ensured. This necessitates a sophisticated bidirectional interaction between different solvers which carry out consistency checks, decision, unit propagation, concretization steps. We evaluate the scalability and diversity of our approach in the context of three complex case studies. </p> <br>  <div class="title"> <h3> "Union is Power": Analyzing Families of Goal Models using Union Models </h3> </div> <p> Authors: Sanaa Alwidian and Daniel Amyot </p> <p> A goal model family is a set of related goal models that conform to the same metamodel, with commonalities and variabilities between models. Goal model families stem from the evolution of initial models into several versions over time and/or the variation of models over the space dimension (e.g., products). In contexts where there are several versions/variations of a goal model, analyzing a set of related models with typical similarities, one model at a time, often involves redundant computations and may require repeated user assistance (e.g., for interactive analysis) and laborious activities. This paper proposes the use of union models as first-class artifacts to analyze families of goal models, in order to improve performance of language-specific analysis procedures. The paper empirically evaluates the performance gain resulting from adapting (or lifting) an existing analysis technique specific to the Goal-oriented Requirement Language (GRL) on a family of GRL models, all at once using a union model, compared to analyzing individual models, one model at a time. Our experiments demonstrate, based on the use of the IBM CPLEX optimizer, the usefulness and performance gains of using union models to perform a computationally expensive analysis, namely quantitative backward propagation, on a family of GRL models. </p> <br>  <div class="title"> <h3> mel - Model Extractor Language for Extracting Facts from Models </h3> </div> <p> Authors: Robert Hackman, Joanne M. Atlee, Alistair Finn Hackett and Michael W. Godfrey </p> <p> There is a large body of research on extracting models from code-related artifacts to enable model-based analyses of large software systems. However, engineers do not always have access to the entire code base of a system: some components may be procured from third-party suppliers based on a Model specification or their code may be generated automatically from Models. This paper introduces mel - a model extraction language and interpreter for extracting facts from Models represented in XMI; these facts can be combined with facts extracted from other system components to form a lightweight model of an entire software system. We provide preliminary evidence that mel is sufficient to specify fact extraction from Models that have very different XMI representations. We also show that it can be easier to use mel to create a fact extractor for a particular Model representation, than to develop a specialized fact extractor for the Model from scratch. </p> <br>  <div class="title"> <h3>Interactive Metamodel/Model Co-Evolution: A Clustering-based Multi-Objective Approach </h3> </div> <p> Authors: Wael Kessentini and Vahid Alizadeh </p> <p> Metamodels evolve even more frequently than programming languages. This evolution process may result in a large number of instance models that are no longer conforming to the revised metamodel. On the one hand, the manual adaptation of models after the metamodels’ evolution can be tedious, error-prone, and timeconsuming. On the other hand, the automated co-evolution of metamodels/models is challenging, especially when new semantics is introduced to the metamodels. While some interactive techniques have been proposed, designers still need to explore a large number of possible revised models, which makes the interaction timeconsuming. In this paper, we propose an interactive multi-objective approach that dynamically adapts and interactively suggests edit operations to designers based on three objectives: minimizing the deviation with the initial model, the number of non-conformities with the revised metamodel and the number of changes. The proposed approach takes their feedback into consideration by clustering the set of recommended co-evolution solutions of the multi-objective search. Thus, users can quickly select their preferred cluster and give feedback on a smaller number of solutions by eliminating similar ones. This feedback is then used to guide the search for the next iterations if the user is still not satisfied.We evaluated our approach on a set of metamodel/model co-evolution case studies and compared it to existing fully automated and interactive co-evolution techniques. </p> <br> <hr> <h2 style="text-align:center;"> Vision & New Ideas (subsection) </h2> <hr>  <div class="title"> <h3> SceML - A Graphical Modeling Framework for Scenario-based Testing of Autonomous Vehicles </h3> </div> <p> Authors: Barbara Schuett, Thilo Braun and Eric Sax </p> <p> Ensuring the functional correctness and safety of autonomous vehicles is a major challenge for the automotive industry. However, exhaustive physical test drives are not feasible, as billions of driven kilometers would be required to obtain reliable results. Scenario-based testing is an approach to tackle this problem and reduce necessary test drives by replacing driven kilometers with simulations of relevant or interesting scenarios. These scenarios can be generated or extracted from recorded data with machine learning algorithms or created by experts. In this paper, we propose a novel graphical scenario modeling language. The graphical framework allows experts to create new scenarios or review ones designed by other experts or generated by machine learning algorithms. The scenario description is is modeled as a graph and based on behavior trees. It supports different abstraction levels of scenario description during software and test development. Additionally, the graph-based structure provides modularity and reusable sub-scenarios, an important use case in scenario modeling. A graphical visualization of the scenario enhances comprehensibility for different users. The presented approach eases the scenario creation process and increases the usage of scenarios within development and testing processes. </p> <br>  <div class="title"> <h3> A Model-driven Alternative to Programming in Blocks using Rule-based Transformations </h3> </div> <p> Authors: Huseyin Ergin, Wenjun Shi, Herart Dominggus Nurue and Jeff Gray </p> <p> The recent surge in computer science (CS) education for children has led to the popularization of blocks-based programming languages (BBPLs), which offer a syntax-directed approach to teach fundamental programming concepts. Most BBPL environments are designed with imperative programming in mind. The primary building blocks represent the key constructs that support sequencing, iteration, and selection, all in an imperative style. Some BBPL environments support bi-directionality and can show the source code of the same program represented as either blocks or in a general-purpose textual language. There have been few alternatives to the imperative primitives used in these environments. In this Vision paper, we propose a paradigmatic change to the underlying and front-facing structures of BBPL environments by replacing them with Model-driven Engineering (MDE) primitives, such as declarative transformation rules and metamodels. We have implemented a prototype of our envisioned system in a modeling environment to show the feasibility of the approach, which we believe could be used by young children. The contribution of our vision is a demonstration of the potential for a new thread of research that lies at the intersection of modeling and CS education for children. We aim to spark an interest in MDE among CS education researchers, while encouraging the modeling community to consider how MDE might be taught to younger students. </p> <br>  <div class="title"> <h3> Designing, Animating, and Verifying Partial UML Models </h3> </div> <p> Authors: Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun and Jérôme Delatour </p> <p> Models have been shown to be useful during virtually all stages of the software lifecycle. They can be reverse engineered from existing artifacts, or created as part of a system’s execution, but in many cases models are created by designers from informal specifications. In the latter case, such design models are typically used as means of communication between designers, and developers. They can also in some cases be validated by simulation over test cases, or even by formal verification. However, most existing model simulation or verification approaches require relatively consistent and complete models, whereas design models often start small, incomplete, and inconsistent. Moreover, few design models actually reach the stage where they can be simulated, and even fewer the stage where they can be formally verified. In order to address this issue, we propose a partial modeling approach that makes it possible to animate incomplete and inconsistent models. This approach makes it possible to incrementally improve testable models, and can also help designers reach the stage where their models can be formally verified. A proof-of-concept tool called AnimUML has been created in order to provide means to evaluate the approach on several examples. They are all executable, and some can even undergo model-checking. </p> <br> <hr> <h2 style="text-align:center;"> Practice & Innovation Track (main section) </h2> <hr>  <div class="title"> <h3> Is Automated Grading of Models Effective? Assessing Automated Grading of Class Diagrams </h3> </div> <p> Authors: Weiyi Bian, Omar Alam and Jörg Kienzle </p> <p> Learning how to model the structural properties of a problem domain or an object-oriented design in form of a class diagram is an essential learning task in many software engineering courses. Since the grading of models is a time-consuming activity, automated grading approaches have been developed to assist the instructor by speeding up the grading process, as well as ensuring consistency and fairness for large classrooms. This paper empirically evaluates the efficacy of one such automated grading approach when applied in two real world settings: a beginner undergraduate class of 103 students required to create a object-oriented design model, and an advanced undergraduate class of 89 students elaborating a domain model. The results of the experiment highlight a) the need to adapt the grading strategy and strictness to the level of the students and the grading style of the instructor, and b) the importance of considering multiple solution variants when grading. Modifications to the grading algorithm are proposed and validated experimentally. </p> <br>  <div class="title"> <h3> Co-evolution of Simulink Models in a Model-Based Product Line </h3> </div> <p> Authors: Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi and Jan Carlson </p> <p> Co-evolution of metamodels and conforming models is a known challenge in model-driven engineering. A variation of co-evolution occurs in model-based software product line engineering, where it is needed to efficiently co-evolve various products together with the single common platform from which they are derived. In this paper, we aim to alleviate this currently manual co-evolution process in an industrial setting where Simulink models are partially reused across various products. We propose and implement an approach providing support for the co-evolution of reusable model fragments. A demonstration on a realistic example model shows that our approach yields a correct co-evolution result and is feasible in practice. Furthermore, we discuss insights from applying the approach within the studied industrial setting. </p> <br>  <div class="title"> <h3> A model-based approach for developing event-driven architectures with AsyncAPI</h3> </div> <p> Authors: Abel Gómez, Markel Iglesias-Urkia, Aitor Urbieta and Jordi Cabot </p> <p> In this Internet of Things (IoT) era, our everyday objects have evolved into the so-called cyber-physical systems (CPS). The use and deployment of CPS has especially penetrated the industry, giving rise to the Industry 4.0 or Industrial IoT (IIoT). Typically, architectures in IIoT environments are distributed and asynchronous, communication being guided by events such as the publication of (and corresponding subscription to) messages. While these architectures have some clear advantages (such as scalability and flexibility), they also raise interoperability challenges among the agents in the network. Indeed, the knowledge about the message content and its categorization (topics) gets diluted, leading to consistency problems, potential losses of information and complex processing requirements on the subscriber side to try to understand the received messages. In this paper, we present our proposal relying on AsyncAPI to automate the design and implementation of these architectures using model-based techniques for the generation of (part of) event-driven infrastructures. We have implemented our proposal as an open-source tool freely available online. </p> <br>  <div class="title"> <h3> Model-Based Automatic Fleet Deployment of Edge Computing Applications </h3> </div> <p> Authors: Hui Song, Rustem Dautov, Nicolas Ferry, Arnor Solberg and Franck Fleurey </p> <p> Edge computing extends distributed cloud computing capabilities and brings them in close proximity to end-users and IoT devices. Given the increasing number of distributed Edge devices with various contexts, as well as the widely adopted continuous delivery practices, software developers often need to maintain multiple application versions and assign them to devices with respect to their context. Doing this correctly and efficiently goes beyond the manual capabilities and requires employing an intelligent and scalable automated approach. Accordingly, this paper reports a joint research collaboration with a Smart Healthcare application provider, on a model-based approach to automatically assign multiple software deployments to hundreds of Edge gateways. From a Platform-Specific Model obtained from the existing Edge computing platform, we extract a Platform-Independent Model that describes the device list and the deployment pool. Next, we use constraint solving to automatically assign deployments to devices at once. The resulting solution is transformed back to the PSM as an input for the platform to proceed with software deployment accordingly. We validate the approach with a Fleet Deployment prototype integrated into the DevOps toolchain currently used by the company. Initial experiments demonstrate the viability of the approach and its usefulness in supporting DevOps in Edge computing application scenarios. </p> <br>  <div class="title"> <h3> Leveraging Natural-language Requirements for Deriving Better Acceptance Criteria from Models </h3> </div> <p> Authors: Alvaro Veizaga, Mauricio Alferez, Damiano Torre, Mehrdad Sabetzadeh, Lionel Briand and Elene Pitskhelauri </p> <p> In many software and systems development projects, analysts specify requirements using a combination of modeling and natural language (NL). In such situations, systematic acceptance testing poses a challenge because defining the acceptance criteria (AC) to be met by the system under test has to account not only for the information in the (requirements) model but also that in the NL requirements. In other words, neither models nor NL requirements per se provide a complete picture of the information content relevant to AC. Our work in this paper is prompted by the observation that a reconciliation of the information content in NL requirements and models is necessary for obtaining precise AC. We perform such reconciliation by devising an approach that automatically extracts AC-related information from NL requirements and helps modelers enrich their model with the extracted information. An existing AC derivation technique is then applied to the model that has now been enriched by the information extracted from NL requirements. Using a real case study from the financial domain, we evaluate the usefulness of the AC-related model enrichments recommended by our approach. Our evaluation results are very promising: Over our case study system, a group of five domain experts found 89% of the recommended enrichments relevant to AC and yet absent from the original model (precision of 89%). Furthermore, the experts could not pinpoint any additional information in the NL requirements which was relevant to AC but which had not already been brought to their attention by our approach (recall of 100%). </p> <br>  <div class="title"> <h3> From Text to Visual BPMN Process Models: Design and Evaluation </h3> </div> <p> Authors: Ana Ivanchikj, Souhaila Serbout and Cesare Pautasso </p> <p> Most existing Business Process Model and Notation (BPMN) editing tools are graphical, and as such based on explicit modeling, requiring good knowledge of the notation and its semantics, as well as the ability to analyze and abstract business requirements and capture them by correctly using the notation. As a consequence, their use can be cumbersome for live modeling during interviews and design workshops, where participants should not only provide input but also give feedback on how it has been represented in a model. To overcome this, in this paper we present the design and evaluation of BPMN Sketch Miner, a tool which combines notes taking in constrained natural language with process mining to automatically produce BPMN diagrams in real time as interview participants describe them with stories. In this work we discuss the design decisions regarding the trade-off between using mining vs. modelling in order to: 1) support a larger number of BPMN constructs in the textual language; 2) target both BPMN beginners and business analysts, in addition to the process participants themselves. The evaluation of the new version of the tool in terms of how it balances the expressiveness and learnability of its DSL with the usability of the text-to-visual sketching environment shows encouraging results. Namely while BPMN beginners could model a non-trivial process with the tool in a relatively short time and with good accuracy, business analysts appreciated the usability of the tool and the expressiveness of the language in terms of supported BPMN constructs. </p> <br>  <div class="title"> <h3> Automating Test Schedule Generation with Domain-Specific Languages: A Configurable, Model-Driven Approach </h3> </div> <p> Authors: Anthony Anjorin, Nils Weidmann, Robin Oppermann, Lars Fritsche and Andy Schürr </p> <p> Solving scheduling problems is important for a wide range of application domains including home care in the health care domain, allocation engineering in the automotive domain, and virtual network embedding in the network virtualisation domain. Standard solution approaches assume that an initially given problem definition (e.g. a set of constraints and an objective function) can be fixed, and does not have to be constantly changed and validated by domain experts. In this paper, we investigate an application where this is not the case: at dSPACE GmbH, a developer of software and hardware for mechatronic control systems, recurring manual tests must be executed in every development and release cycle. To allocate human resources (developers and testers) to perform these tests, a test schedule must be created and maintained during the testing process. Prior to our work, test scheduling at dSPACE was performed manually by a test manager, requiring more than one working day to create the initial schedule, and several hours of tedious, error-prone work every week to maintain the schedule. The novel challenge here is that an acceptable automation must be highly configurable by the test manager (the domain expert), who should be able to easily adapt and validate the problem definition on a regular basis. We demonstrate that techniques and results from consistency maintenance via triple graph grammars, and constraint solving via linear programming can be synergetically combined to yield a highly configurable and fully automated approach to test schedule generation. We evaluate our solution at dSPACE and show that it not only reduces the effort required to create and maintain schedules of acceptable quality, but that it can also be understood, configured, and validated by the test manager. </p> <br>  <div class="title"> <h3> A Parametric Model For Creating Customized Fabrication Machines </h3> </div> <p> Authors: Frikk Fossdal, Rogardt Heldal, Jens Dyvik and Adrian Rutle </p> <p> Digital fabrication tools such as 3D printers, computer-numerically controlled (CNC) milling machines, and laser cutters are becoming increasingly available, ranging from consumer to industrial versions. Although these tools have enabled a completely new crowd to take part in manufacturing, they are still limited in their use and the workflows they provide. As an answer to this, users are modifying and customizing their machines by changing the work envelope and adding different end-effectors. However, customizing, modifying and creating digital fabrication machines require extensive knowledge within multiple different engineering domains, and is non-trivial. In this paper, we present \textit{The Fabricatable Axis}, a high-level parametric model that aims to simplify the process of experimenting, customizing and implementing digital fabrication machines. This model encapsulates the knowledge of an experienced machine designer into a model that less experienced machine builders can use to design and customize linear and rotary motion axes which can be combined into different machines. The model receives high-level input parameters such as axis type, length and speed-parameters, and outputs a CAD model of a motion axis consisting of \textit{fabricatable} parts (parts that are readily available or parts that can be fabricated using accessible tools such as a CNC milling machines). To validate our contribution, we first present a constructed scenario were we use the model to implement a specific machine. Secondly, we present an evaluation of our tool through a series of interviews with users who have been using the model to create different types of machines. </p> <br>  <div class="title"> <h3> Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering </h3> </div> <p> Authors: Sophie Wood, Nicholas Matragkas, Dimitris Kolovos, Richard Paige and Simos Gerasimou </p> <p> The wide use of robotic systems in several application domains contributed to developing robotic software highly coupled to the hardware platform running the robotic system. Due to increased maintenance cost, lack of tacit knowledge or changing business priorities, the robotic hardware is infrequently upgraded, thus increasing the risk the robotic system to fall into technology stagnation. Reducing this risk entails migrating the system and its software to a new hardware platform. Conventional software engineering practices such as complete re-development and code-based migration, albeit useful in supporting the resolution of these obsolescence issues, they are time-consuming, error-prone and overly expensive. Our RoboSMi model-driven approach supports the migration of the software controlling a robotic system between hardware platforms. First, RoboSMi executes static analysis on the robotic software of the source hardware platform to identify platform-dependent and platform-agnostic software constructs. By analysing a model that expresses the architecture of robotic components on the target platform, RoboSMi establishes the hardware configuration of those components and suggests software libraries for each component whose execution will enable the robotic software to control the components. Finally, RoboSMi through code-generation produces software for the target platform and indicates areas that require manual intervention by robotic engineers to complete the migration. We evaluate the applicability of RoboSMi and analyse the level of automation and performance provided from its use by migrating two robotic systems deployed for an environmental monitoring and a line following mission from a Propeller Activity Board to an Arduino Uno. </p> <br> </div></div><span class="pull-right"><small>Questions? Use the <a href="https://conf.researchr.org/contact2/models-2020/models-2020-technical-track" class="navigate">MODELS Technical Track contact form</a>.</small></span><br></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" class="clickable-row past"><td>Fri 31 Jul 2020<br/>Camera-ready deadline</td></tr><tr href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" class="clickable-row past"><td>Mon 13 Jul 2020<br/>Notification to authors</td></tr><tr href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" class="clickable-row past"><td>Fri 22 May 2020<br/>Full paper submission deadline</td></tr><tr href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" class="clickable-row past"><td>Fri 15 May 2020<br/>Abstract submission deadline</td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Submission Link</div></div><div class="panel-body"><small><span class="text-muted"><span class="glyphicon glyphicon-new-window"></span></span> <a href="https://easychair.org/conferences/?conf=models2020" title="Submission link for Call for papers" target="_blank" class="navigate">https://easychair.org/conferences/?conf=models2020</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://conf.researchr.org/committee/models-2020/models-2020-technical-track-pc---foundations-track" class="navigate">PC - Foundations Track</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/juandelara" class="navigate"><div class="media"><span class="pull-left"><img alt="Juan de Lara" src="https://conf.researchr.org/getProfileImage/juandelara/36b5a702-1b04-48b9-8849-869aa603a88d/micro-avatar.jpg?1711456160000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Juan de Lara<span class="pull-right"><small>Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Universidad Autónoma de Madrid</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/shaukatali" class="navigate"><div class="media"><span class="pull-left"><img alt="Shaukat Ali" src="https://conf.researchr.org/getProfileImage/shaukatali/7612f155-da4e-4d41-a7ec-b556be5a0eb6/micro-avatar.jpg?1711454309000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Shaukat Ali<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Simula Research Lab</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/colinatkinson" class="navigate"><div class="media"><span class="pull-left"><img alt="Colin Atkinson" src="https://conf.researchr.org/getProfileImage/colinatkinson/63fa3123-831c-43ad-8b1b-65a02c646069/micro-avatar.jpg?1737699199000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Colin Atkinson<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/nellybencomo" class="navigate"><div class="media"><span class="pull-left"><img alt="Nelly Bencomo" src="https://conf.researchr.org/getProfileImage/nellybencomo/8e4bc68b-372d-4e28-827a-8593f6f8b7c9/micro-avatar.jpg?1711482404000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Nelly Bencomo<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Aston University</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/gaborbergmann" class="navigate"><div class="media"><span class="pull-left"><img alt="Gábor Bergmann" src="https://conf.researchr.org/getProfileImage/gaborbergmann/14f26c80-4102-473f-81f6-b9054dcebde8/micro-avatar.jpg?1711534225000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Gábor Bergmann<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary</span></h5><h5 class="media-heading"><small>Hungary</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/jeanmichelbruel" class="navigate"><div class="media"><span class="pull-left"><img alt="Jean-Michel Bruel" src="https://conf.researchr.org/getProfileImage/jeanmichelbruel/f6b5b4e3-81be-43e3-900b-1ccc24324097/micro-avatar.jpg?1711474010000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jean-Michel Bruel<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Université de Toulouse, France</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/lolaburgueno" class="navigate"><div class="media"><span class="pull-left"><img alt="Lola Burgueño" src="https://conf.researchr.org/getProfileImage/lolaburgueno/f848ff6f-6266-4045-af36-815e29b2809d/micro-avatar.jpg?1711457785000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Lola Burgueño<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Open University of Catalonia & CEA LIST</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/michelchaudron" class="navigate"><div class="media"><span class="pull-left"><img alt="Michel Chaudron" src="https://conf.researchr.org/getProfileImage/michelchaudron/479f7a13-c33a-473a-8985-0d2ed88cf298/micro-avatar.jpg?1711604744000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Michel Chaudron<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Chalmers University of Technology</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/antoniocicchetti" class="navigate"><div class="media"><span class="pull-left"><img alt="Antonio Cicchetti" src="https://conf.researchr.org/getProfileImage/antoniocicchetti/8978f1ca-50bd-4e1c-82f3-a453546b4675/micro-avatar.jpg?1727186770000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Antonio Cicchetti<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Mälardalen University</span></h5><h5 class="media-heading"><small>Sweden</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/peterclarke" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Peter Clarke<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Florida International University</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/davidediruscio" class="navigate"><div class="media"><span class="pull-left"><img alt="Davide Di Ruscio" src="https://conf.researchr.org/getProfileImage/davidediruscio/10d792cd-05ef-49af-b304-58dd7e5ec536/micro-avatar.jpg?1731165897000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Davide Di Ruscio<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of L'Aquila</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/juergendingel" class="navigate"><div class="media"><span class="pull-left"><img alt="Juergen Dingel" src="https://conf.researchr.org/getProfileImage/juergendingel/e46dffb7-5c23-4fe2-9c35-f8f04caf5832/micro-avatar.jpg?1711466131000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Juergen Dingel<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Queen's University, Kingston, Ontario</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/michalisfamelis" class="navigate"><div class="media"><span class="pull-left"><img alt="Michalis Famelis" src="https://conf.researchr.org/getProfileImage/michalisfamelis/f6f68397-4902-4a1c-8dd3-787d2980426f/micro-avatar.jpg?1711463704000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Michalis Famelis<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Université de Montréal</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/martingogolla" class="navigate"><div class="media"><span class="pull-left"><img alt="Martin Gogolla" src="https://conf.researchr.org/getProfileImage/martingogolla/65c50477-7f05-42dc-866c-6fa970cba6d1/micro-avatar.jpg?1711549971000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Martin Gogolla<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/jeffgray" class="navigate"><div class="media"><span class="pull-left"><img alt="Jeff Gray" src="https://conf.researchr.org/getProfileImage/jeffgray/0279b43c-0b64-45c6-99df-40318617bbae/micro-avatar.jpg?1711457004000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jeff Gray<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Alabama</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/xiaohe" class="navigate"><div class="media"><span class="pull-left"><img alt="Xiao He" src="https://conf.researchr.org/getProfileImage/xiaohe/c8c34206-cfdd-4cf8-adfc-22a05727a871/micro-avatar.jpg?1711481380000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Xiao He<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Science and Technology Beijing, China</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/reginahebig" class="navigate"><div class="media"><span class="pull-left"><img alt="Regina Hebig" src="https://conf.researchr.org/getProfileImage/reginahebig/f6771eb2-5d06-45d0-9a5b-c3b271640d9e/micro-avatar.jpg?1727678166000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Regina Hebig<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Chalmers University of Technology & University of Gothenburg</span></h5><h5 class="media-heading"><small>Sweden</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/mariannehuchard" class="navigate"><div class="media"><span class="pull-left"><img alt="Marianne Huchard" src="https://conf.researchr.org/getProfileImage/mariannehuchard/107a3673-5f54-49a9-beca-b05daea32379/micro-avatar.jpg?1711476815000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Marianne Huchard<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">LIRMM</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/fredericjouault" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Frédéric Jouault<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"> ERIS Team, ESEO , France</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/jorgkienzle" class="navigate"><div class="media"><span class="pull-left"><img alt="Jörg Kienzle" src="https://conf.researchr.org/getProfileImage/jorgkienzle/0bc714fd-d520-4684-8e4d-8e14dbaa8690/micro-avatar.jpg?1719503397000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jörg Kienzle<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">McGill University, Canada</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/ileanaober" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ileana Ober<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Toulouse</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/giannareggio" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Gianna Reggio<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Genoa, Italy</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/mehrdadsabetzadeh" class="navigate"><div class="media"><span class="pull-left"><img alt="Mehrdad Sabetzadeh" src="https://conf.researchr.org/getProfileImage/mehrdadsabetzadeh/67e1236e-b191-4eba-830b-09f3e299fcc1/micro-avatar.jpg?1712100979000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mehrdad Sabetzadeh<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Ottawa</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/perditastevens" class="navigate"><div class="media"><span class="pull-left"><img alt="Perdita Stevens" src="https://conf.researchr.org/getProfileImage/perditastevens/f39f3cbd-ea3f-4225-8e50-52f64feb6750/micro-avatar.jpg?1711460767000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Perdita Stevens<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Edinburgh</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/danielstruber" class="navigate"><div class="media"><span class="pull-left"><img alt="Daniel Strüber" src="https://conf.researchr.org/getProfileImage/danielstruber/2ade8754-b661-4b51-b8a9-1ccf29abe5eb/micro-avatar.jpg?1711473078000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Daniel Strüber<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Radboud University Nijmegen</span></h5><h5 class="media-heading"><small>Netherlands</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/jesussanchezcuadrado" class="navigate"><div class="media"><span class="pull-left"><img alt="Jesús Sánchez Cuadrado" src="https://conf.researchr.org/getProfileImage/jesussanchezcuadrado/ac5429b8-0747-4d09-a14a-776a4afe766a/micro-avatar.jpg?1711467441000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jesús Sánchez Cuadrado<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/massimotisi" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Massimo Tisi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/andreaswortmann" class="navigate"><div class="media"><span class="pull-left"><img alt="Andreas Wortmann" src="https://conf.researchr.org/getProfileImage/andreaswortmann/8e8350a0-31a6-42a7-ba5f-72ff230b6632/micro-avatar.jpg?1711505094000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Andreas Wortmann<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">RWTH Aachen University</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/steffenzschaler" class="navigate"><div class="media"><span class="pull-left"><img alt="Steffen Zschaler" src="https://conf.researchr.org/getProfileImage/steffenzschaler/59fd8f79-8a54-427c-b3e5-8cab4b7ef3b4/micro-avatar.jpg?1711456162000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Steffen Zschaler<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">King's College London</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/markvandenbrand" class="navigate"><div class="media"><span class="pull-left"><img alt="Mark van den Brand" src="https://conf.researchr.org/getProfileImage/markvandenbrand/fff92e72-b1e7-411a-bec0-82b2b3243ca5/micro-avatar.jpg?1711490627000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mark van den Brand<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Eindhoven University of Technology</span></h5><h5 class="media-heading"><small>Netherlands</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://conf.researchr.org/committee/models-2020/models-2020-technical-track-pc---practice-and-innovation-track" class="navigate">PC - Practice and Innovation Track</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/silviaabrahao" class="navigate"><div class="media"><span class="pull-left"><img alt="Silvia Abrahão" src="https://conf.researchr.org/getProfileImage/silviaabrahao/b5c21828-552b-492a-a1ae-784299df11b6/micro-avatar.jpg?1725720347000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Silvia Abrahão<span class="pull-right"><small>Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Universitat Politècnica de València</span></h5><h5 class="media-heading"><small>Spain</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/joatlee" class="navigate"><div class="media"><span class="pull-left"><img alt="Joanne M. Atlee" src="https://conf.researchr.org/getProfileImage/joatlee/e66d680e-7cd3-48fc-848b-6720e4afb9ed/micro-avatar.jpg?1711463704000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Joanne M. Atlee<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Waterloo</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/francisbordeleau" class="navigate"><div class="media"><span class="pull-left"><img alt="Francis Bordeleau" src="https://conf.researchr.org/getProfileImage/francisbordeleau/a6dea287-ba9f-48d6-8533-004fe65d3785/micro-avatar.jpg?1711489686000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Francis Bordeleau<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">École de Technologie Supérieure (ETS)</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/ruthbreu" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ruth Breu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Innsbruck</span></h5><h5 class="media-heading"><small>Austria</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/sebastiangerard" class="navigate"><div class="media"><span class="pull-left"><img alt="Sebastian Gerard" src="https://conf.researchr.org/getProfileImage/sebastiangerard/24e21fdc-395e-4226-9fb7-a58ea3a604be/micro-avatar.jpg?1711456030000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sebastian Gerard<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">CEA Saclay - NanoInnov</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/joelgreenyer" class="navigate"><div class="media"><span class="pull-left"><img alt="Joel Greenyer" src="https://conf.researchr.org/getProfileImage/joelgreenyer/e19bbbec-094a-4d62-a7aa-5ec331869948/micro-avatar.jpg?1711564641000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Joel Greenyer<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/constanceheitmeyer" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Constance Heitmeyer<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Naval Research Laboratory, washington DC</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/jenniferhorkoff" class="navigate"><div class="media"><span class="pull-left"><img alt="Jennifer Horkoff" src="https://conf.researchr.org/getProfileImage/jenniferhorkoff/66c03eb5-c369-4a29-9851-5c2cde1aed2f/micro-avatar.jpg?1711458084000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jennifer Horkoff<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Chalmers and the University of Gothenburg</span></h5><h5 class="media-heading"><small>Sweden</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/emilioinsfran" class="navigate"><div class="media"><span class="pull-left"><img alt="Emilio Insfran" src="https://conf.researchr.org/getProfileImage/emilioinsfran/5082545a-3309-4bea-bdd7-1678d143ccf1/micro-avatar.jpg?1711600554000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Emilio Insfran<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Universitat Politècnica de València, Spain</span></h5><h5 class="media-heading"><small>Spain</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/saharkokaly1" class="navigate"><div class="media"><span class="pull-left"><img alt="Sahar Kokaly" src="https://conf.researchr.org/getProfileImage/saharkokaly1/1a659d0d-cdf3-498f-b0a5-70d3bcb0559c/micro-avatar.jpg?1711778176000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sahar Kokaly<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">General Motors</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/vinaykulkarni" class="navigate"><div class="media"><span class="pull-left"><img alt="Vinay Kulkarni" src="https://conf.researchr.org/getProfileImage/vinaykulkarni/02be83c7-d5b5-4b1a-82e8-e5ee181c7155/micro-avatar.jpg?1711477317000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Vinay Kulkarni<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Tata Consultancy Services Research</span></h5><h5 class="media-heading"><small>India</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/mahdimanesh" class="navigate"><div class="media"><span class="pull-left"><img alt="Mahdi Manesh" src="https://conf.researchr.org/getProfileImage/mahdimanesh/3498c3e8-5f83-4915-8118-9c21d2d407c0/micro-avatar.jpg?1711636063000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mahdi Manesh<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Porsche Digital GmbH</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/robpettit" class="navigate"><div class="media"><span class="pull-left"><img alt="Rob Pettit" src="https://conf.researchr.org/getProfileImage/robpettit/a4e5fc1e-e267-417a-87c1-3a3b18466a86/micro-avatar.jpg?1711708768000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Rob Pettit<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/danielratiu" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Daniel Ratiu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Siemens Corporate Technology</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/istvanrath" class="navigate"><div class="media"><span class="pull-left"><img alt="István Ráth" src="https://conf.researchr.org/getProfileImage/istvanrath/8db27655-2199-4b7c-8eeb-60eb81249288/micro-avatar.jpg?1711626263000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">István Ráth<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IncQuery Labs</span></h5><h5 class="media-heading"><small>Hungary</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/branselic" class="navigate"><div class="media"><span class="pull-left"><img alt="Bran Selic" src="https://conf.researchr.org/getProfileImage/branselic/97db9003-9b8d-429f-ac09-ca60e56d7d00/micro-avatar.jpg?1711472781000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Bran Selic<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Malina Software Corporation</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/arnorsolberg" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Arnor Solberg<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/huisong" class="navigate"><div class="media"><span class="pull-left"><img alt="Hui Song" src="https://conf.researchr.org/getProfileImage/huisong/ee4324ef-8406-429a-9f78-32c04e0619d4/micro-avatar.jpg?1711488269000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Hui Song<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">SINTEF Digital</span></h5><h5 class="media-heading"><small>Norway</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/juhapekkatolvanen" class="navigate"><div class="media"><span class="pull-left"><img alt="Juha-Pekka Tolvanen" src="https://conf.researchr.org/getProfileImage/juhapekkatolvanen/f0c65514-2e79-4046-b042-f68e16ad5497/micro-avatar.jpg?1734811805000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Juha-Pekka Tolvanen<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">MetaCase</span></h5><h5 class="media-heading"><small>Finland</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/vadimzaytsev" class="navigate"><div class="media"><span class="pull-left"><img alt="Vadim Zaytsev" src="https://conf.researchr.org/getProfileImage/vadimzaytsev/203d82d5-a9c9-4fbf-831c-d851624cb09c/micro-avatar.jpg?1711460926000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Vadim Zaytsev<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Twente, The Netherlands</span></h5><h5 class="media-heading"><small>Netherlands</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://conf.researchr.org/committee/models-2020/models-2020-technical-track-program-board" class="navigate">Program Board</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/jordicabot" class="navigate"><div class="media"><span class="pull-left"><img alt="Jordi Cabot" src="https://conf.researchr.org/getProfileImage/jordicabot/a82a64fd-7f94-4078-885b-95e15c5c29d2/micro-avatar.jpg?1711463555000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jordi Cabot<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">ICREA - UOC</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/marshachechik" class="navigate"><div class="media"><span class="pull-left"><img alt="Marsha Chechik" src="https://conf.researchr.org/getProfileImage/marshachechik/6c137999-6d67-490a-8b47-00b41ce497c7/micro-avatar.jpg?1711454518000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Marsha Chechik<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Toronto, Canada</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/benoitcombemale" class="navigate"><div class="media"><span class="pull-left"><img alt="Benoit Combemale" src="https://conf.researchr.org/getProfileImage/benoitcombemale/26544962-a5ef-415b-873e-ca4f0be85411/micro-avatar.jpg?1726486139000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Benoit Combemale<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Toulouse and Inria</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/gregorengels" class="navigate"><div class="media"><span class="pull-left"><img alt="Gregor Engels" src="https://conf.researchr.org/getProfileImage/gregorengels/06925ce8-e36c-4f78-843e-6a85dd766aa3/micro-avatar.jpg?1711510386000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Gregor Engels<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Paderborn University</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/dimitriskolovos" class="navigate"><div class="media"><span class="pull-left"><img alt="Dimitris Kolovos" src="https://conf.researchr.org/getProfileImage/dimitriskolovos/dc6c2471-2b0c-4eae-8477-f6225129f8e3/micro-avatar.jpg?1711456248000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Dimitris Kolovos<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of York</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/anamoreira" class="navigate"><div class="media"><span class="pull-left"><img alt="Ana Moreira" src="https://conf.researchr.org/getProfileImage/anamoreira/c4b3037f-b1c1-48b8-a80b-7d62e6680202/micro-avatar.jpg?1714906106000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ana Moreira<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">NOVA University of Lisbon and NOVA LINCS</span></h5><h5 class="media-heading"><small>Portugal</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/shivanejati" class="navigate"><div class="media"><span class="pull-left"><img alt="Shiva Nejati" src="https://conf.researchr.org/getProfileImage/shivanejati/1eea75f9-0e4e-4578-8578-900301df8806/micro-avatar.jpg?1711460569000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Shiva Nejati<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Ottawa, Canada</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/richardpaige" class="navigate"><div class="media"><span class="pull-left"><img alt="Richard Paige" src="https://conf.researchr.org/getProfileImage/richardpaige/f3bdde9f-d462-4475-aa25-a876511824de/micro-avatar.jpg?1711456069000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Richard Paige<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">McMaster University</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/alfonsopierantonio" class="navigate"><div class="media"><span class="pull-left"><img alt="Alfonso Pierantonio" src="https://conf.researchr.org/getProfileImage/alfonsopierantonio/1481980f-36ad-442a-adf3-ee1a2a3e1058/micro-avatar.jpg?1711589012000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Alfonso Pierantonio<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Università degli Studi dell'Aquila</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/friedrichsteimann" class="navigate"><div class="media"><span class="pull-left"><img alt="Friedrich Steimann" src="https://conf.researchr.org/getProfileImage/friedrichsteimann/d01951ed-4d1e-4537-b3ef-90beb3390d82/micro-avatar.jpg?1711466896000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Friedrich Steimann<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Fernuniversität</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/gabrieletaentzer" class="navigate"><div class="media"><span class="pull-left"><img alt="Gabriele Taentzer" src="https://conf.researchr.org/getProfileImage/gabrieletaentzer/cfe7e46b-25e1-4400-969c-3d1b24ca82eb/micro-avatar.jpg?1711469312000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Gabriele Taentzer<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Universität Marburg</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/antoniovallecillo" class="navigate"><div class="media"><span class="pull-left"><img alt="Antonio Vallecillo" src="https://conf.researchr.org/getProfileImage/antoniovallecillo/624bc586-897e-4d76-abf8-706eb04409ce/micro-avatar.jpg?1711483535000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Antonio Vallecillo<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Málaga, Spain</span></h5><h5 class="media-heading"><small>Spain</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/danielvarro" class="navigate"><div class="media"><span class="pull-left"><img alt="Daniel Varro" src="https://conf.researchr.org/getProfileImage/danielvarro/10ff21f1-a413-424a-9a38-5f4a2aee1ae6/micro-avatar.jpg?1711480129000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Daniel Varro<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">McGill University / Budapest University of Technology and Economics</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/manuelwimmer" class="navigate"><div class="media"><span class="pull-left"><img alt="Manuel Wimmer" src="https://conf.researchr.org/getProfileImage/manuelwimmer/502dd5c4-e23d-495b-ae5d-cc8906188693/micro-avatar.jpg?1711457745000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Manuel Wimmer<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Johannes Kepler University Linz</span></h5><h5 class="media-heading"><small>Austria</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/models-2020/taoyue" class="navigate"><div class="media"><span class="pull-left"><img alt="Tao Yue" src="https://conf.researchr.org/getProfileImage/taoyue/0a608449-7eb1-47d8-8346-b405de8ab9ef/micro-avatar.jpg?1711455758000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Tao Yue<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Simula Research Laboratory</span></h5><h5 class="media-heading"><small>Norway</small></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Mon 24 Feb 00:47</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="models-2020" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"models-2020"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://conf.researchr.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="models-2020" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"models-2020"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://conf.researchr.org/home/models-2020" class="navigate"><span class="glyphicon glyphicon-home"></span> MODELS 2020</a></h3><div><a href="https://conf.researchr.org/contact/models-2020" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://conf.researchr.org/support/models-2020" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://conf.researchr.org/track/models-2020/models-2020-technical-track" class="navigate">Technical Track</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-industry-days" class="navigate">Industry Days</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-artifact-evaluation" class="navigate">Artifact Evaluation</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-educators-symposium" class="navigate">Educators Symposium</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-tools---demonstrations" class="navigate">Tools & Demonstrations</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-posters" class="navigate">Posters</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-workshops" class="navigate">Workshops</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-tutorials" class="navigate">Tutorials</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-doctoral-symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-acm-student-research-competition" class="navigate">ACM Student Research Competition</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-keynotes" class="navigate">Keynotes</a><br/><a href="https://conf.researchr.org/track/models-2020/awards" class="navigate">Awards</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-panel" class="navigate">Panel</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-models-information" class="navigate">MODELS</a><br/><a href="https://conf.researchr.org/track/models-2020/models-2020-sam-conference" class="navigate">SAM Conference</a></div><div class="col-sm-6"></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://conf.researchr.org/venue/models-2020/models-2020-venue" class="navigate">Venue: Online</a><br><a href="https://conf.researchr.org/attending/models-2020/registration" class="navigate">Registration</a></div><div class="col-sm-2"><a href="https://conf.researchr.org/signup/models-2020" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>