{"id":1681,"date":"2019-08-18T20:43:50","date_gmt":"2019-08-18T20:43:50","guid":{"rendered":"http:\/\/modelsconf19.org\/?page_id=1681"},"modified":"2019-09-18T12:31:58","modified_gmt":"2019-09-18T12:31:58","slug":"detailed-program","status":"publish","type":"page","link":"https:\/\/modelsconf19.org\/?page_id=1681","title":{"rendered":"Detailed Program"},"content":{"rendered":"
\n\t\t\t\t\t
\n\t\t\t\t\t\t

Detailed Program<\/h1>\n<\/div>\n
\n\n\n\n<\/colgroup>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Wednesday<\/strong><\/td>\n<\/td>\n<\/td>\n<\/tr>\n
\n
08:30-10:00<\/div>\n<\/td>\n
\n
Welcome, Keynote<\/strong><\/div>\n<\/td>\n<\/tr>\n
\n
10:30-12:00<\/div>\n<\/td>\n
\n
Data Quality and Security<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nDamiano Torre, Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand, Yuri Auffinger and Peter Goes<\/td>\nUsing Models to Enable Compliance Checking against the GDPR: An Experience Report<\/a><\/td>\n<\/tr>\n
<\/td>\nGopi Krishnan Rajbahadur, Gustavo Oliva, Ahmed Hassan and Juergen Dingel<\/td>\nPitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines<\/a><\/td>\n<\/tr>\n
<\/td>\nSven Peldszus, Katja Tuma, Daniel Str\u00fcber, Riccardo Scandariato and Jan J\u00fcrjens<\/td>\nSecure Data-Flow Compliance Checks between Models and Code based on Automated Mappings<\/a><\/td>\n<\/tr>\n
\n
13:30-15:00<\/div>\n<\/td>\n
\n
Design and Development<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nAntonio Bucchiarone, Antonio Cicchetti and Annapaola Marconi<\/td>\nExploiting Multi-Level Modelling for Designing and Deploying Gameful Systems<\/a><\/td>\n<\/tr>\n
<\/td>\nEnnio Visconti, Christos Tsigkanos, Zhenjiang Hu and Carlo Ghezzi<\/td>\nModel-Driven Design of City Spaces via Bidirectional Transformations<\/a><\/td>\n<\/tr>\n
<\/td>\nDennis Priefer, Peter Kneisel, Wolf Rost, Daniel Str\u00fcber and Gabriele Taentzer<\/td>\nApplying MDD in the Content Management System Domain: Scenarios and Empirical Assessment<\/a><\/td>\n<\/tr>\n
\n
15:30-17:00<\/div>\n<\/td>\n
\n
Testing<\/strong><\/div>\n<\/td>\n
<\/td>\n<\/tr>\n
<\/td>\nMuhammad Zohaib Iqbal, Hassan Sartaj, Muhammad Uzair Khan, Fitash Ul Haq and Ifrah Qaisar<\/td>\nA Model-based Testing Approach for Cockpit Display Systems of Avionics<\/a><\/td>\n<\/tr>\n
<\/td>\nEsther Guerra, Juan De Lara and Jes\u00fas S\u00e1nchez Cuadrado<\/td>\nTowards effective mutation testing for ATL<\/a><\/td>\n<\/tr>\n
<\/td>\nAren Babikian, Csaba Hajdu, Istv\u00e1n Majzik, Krist\u00f3f Marussy, Zoltan Micskei, Oszk\u00e1r Semer\u00e1th, Zolt\u00e1n Szatm\u00e1ri, Daniel Varro and Andr\u00e1s V\u00f6r\u00f6s<\/td>\nTowards System-Level Testing with Coverage Guarantees for Autonomous Vehicles<\/a><\/td>\n<\/tr>\n
\n
10:30-17:00<\/div>\n<\/td>\n
\n
Industry Day<\/strong><\/div>\n<\/td>\n<\/tr>\n
17:00-19:00<\/td>\nSteering Committee Meeting<\/strong><\/td>\n<\/td>\n<\/tr>\n
18:30-23:00<\/td>\nMain Reception and Poster Session<\/strong><\/td>\n<\/tr>\n
<\/td>\nStand-alone Posters:<\/strong><\/td>\n<\/tr>\n
<\/td>\nVictor-Alejandro Ortiz, Montserrat Esta\u00f1ol, Maria-Cristina Marinescu, Maria-Ribera Sancho, Ernest Teniente and Carmen Rueda<\/td>\nA Semantic Model To Fight Social Exclusion<\/td>\n<\/tr>\n
<\/td>\nMasaki Nakamura and Kazutoshi Sakakibara<\/td>\nFormal verification and mathematical optimization for autonomous vehicle group controllers<\/td>\n<\/tr>\n
<\/td>\nDiego Prens, Iv\u00e1n Alfonso, Kelly Garc\u00e9s and John Guerra-Gomez<\/td>\nContinuous Delivery of Software on IoT Devices<\/td>\n<\/tr>\n
<\/td>\nMohammad Sharaf, Mai Abusair, Henry Muccini, Rami Eleiwi, Yara Shana’A and Ithar Saleh<\/td>\nGenerating Heterogeneous Codes for IoT Systems<\/td>\n<\/tr>\n
<\/td>\nPaper-accompanying Posters:<\/strong><\/td>\n<\/tr>\n
<\/td>\nValentin Besnard, Ciprian Teodorov, Fr\u00e9d\u00e9ric Jouault, Matthias Brun and Philippe Dhaussy<\/td>\nVerifying and Monitoring UML Models with Observer Automata<\/td>\n<\/tr>\n
<\/td>\nSven Peldszus, Katja Tuma, Daniel Str\u00fcber, Jan J\u00fcrjens and Riccardo Scandariato<\/td>\nSecurity Compliance Checks between Models and Code based on Automated Mappings<\/td>\n<\/tr>\n
<\/td>\nAntonio Bucchiarone, Antonio Cicchetti and Annapaola Marconi<\/td>\nGDF: a Gamification Design Framework powered by Model-Driven Engineering<\/td>\n<\/tr>\n
<\/td>\nPhilipp Obergfell, Stefan Kugele and Eric Sax<\/td>\nModel-Based Resource Analysis and Synthesis of Service-Oriented Automotive Software Architectures<\/a><\/td>\n<\/tr>\n
<\/td>\nVisar Januzaj and Stefan Kugele<\/td>\nOn the Structure of Avionics Systems Architecture<\/td>\n<\/tr>\n
<\/td>\n<\/td>\n<\/td>\n<\/tr>\n
<\/td>\n<\/td>\n<\/td>\n<\/tr>\n
Thursday<\/strong><\/td>\n<\/td>\n<\/td>\n<\/tr>\n
\n
09:00-10:00<\/div>\n<\/td>\n
\n
Keynote<\/strong><\/div>\n<\/td>\n<\/tr>\n
\n
10:30-12:00<\/div>\n<\/td>\n
\n
Artifact Generation<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nNadia Hammoudeh Garcia, Ludovic Delval, Mathias L\u00fcdtke, Andr\u00e9 Santos, Bj\u00f6rn Kahl and Mirko Bordignon<\/td>\nModel Generation – combining MDE development and ROS manual code<\/a><\/td>\n<\/tr>\n
<\/td>\nAlexandru Burdusel, Steffen Zschaler and Stefan John<\/td>\n\n
<\/td>\nJenny Ruiz, Estefan\u00eda Serral, Monique Snoeck<\/td>\nEvaluating user interface generation approaches: model-based versus model-driven development<\/a><\/td>\n<\/tr>\n
<\/td>\n\n
Architecture Analysis<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nSam Procter and Lutz Wrage<\/td>\n\n
<\/td>\nPhilipp Obergfell, Stefan Kugele and Eric Sax<\/td>\n\n
<\/td>\nAssylbek Jumagaliyev and Yehia Elkhatib<\/td>\nA Modelling Language to Support Evolution of Multi-Tenant Cloud Data Architectures<\/a><\/td>\n<\/tr>\n
\n
<\/div>\n<\/td>\n
\n
Remodd<\/strong><\/div>\n<\/td>\n
<\/td>\n<\/tr>\n
\n
<\/div>\n<\/td>\n
\n
Betty H.C. Cheng<\/div>\n<\/td>\n
Repository for Model Driven Development – Hands-on Demonstration<\/td>\n<\/tr>\n
\n
13:30-15:00<\/div>\n<\/td>\n
\n
Panel<\/strong><\/div>\n<\/td>\n
<\/td>\n<\/tr>\n
<\/td>\n<\/td>\n<\/td>\n<\/tr>\n
<\/td>\n<\/td>\n<\/td>\n<\/tr>\n
<\/td>\n\n
Model Execution<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nErwan Bousse and Manuel Wimmer<\/td>\nDomain-Level Observation and Control for Compiled Executable DSLs<\/a><\/td>\n<\/tr>\n
<\/td>\nYentl Van Tendeloo, Simon Van Mierlo, Hans Vangheluwe<\/td>\nA Multi-Paradigm Modelling approach to live modelling<\/a><\/td>\n<\/tr>\n
<\/td>\nFazilat Hojaji, Tanja Mayerhofer, Bahman Zamani, Abdelwahab Hamou-Lhadj, Erwan Bousse<\/td>\nModel execution tracing: a systematic mapping study<\/a><\/td>\n<\/tr>\n
<\/td>\n\n
Tools and Demos<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nMattias Mohlin<\/td>\nCombining UML RealTime with Node-RED<\/td>\n<\/tr>\n
<\/td>\nJulio Sandobalin, Emilio Insfran, Silvia Abrahao<\/td>\nARGON: A Model-Driven Infrastructure Provisioning Tool<\/td>\n<\/tr>\n
<\/td>\nOmar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe<\/td>\nMAPLE-T: A Tool for Process Enactment with Traceability Support<\/td>\n<\/tr>\n
<\/td>\nAntonio Bucchiarone, Antonio Cicchetti, Annapaola Marconi<\/td>\nGDF: a Gamification Design Framework powered by Model-Driven Engineering<\/td>\n<\/tr>\n
<\/td>\nHamza Ed-Douibi, Javier Luis C\u00e1novas Izquierdo, Francis Bordeleau, Jordi Cabot<\/td>\nWAPIml: Towards a Modeling Infrastructure for Web APIs<\/td>\n<\/tr>\n
<\/td>\n<\/td>\n<\/td>\n<\/tr>\n
\n
15:30-17:00<\/div>\n<\/td>\n
\n
Formal Verification and Static Analysis<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nValentin Besnard, Ciprian Teodorov, Fr\u00e9d\u00e9ric Jouault, Matthias Brun and Philippe Dhaussy<\/td>\nVerifying and Monitoring UML Models with Observer Automata<\/a><\/td>\n<\/tr>\n
<\/td>\nIv\u00e1n Ruiz-Rube, Tatiana Person, Juan Manuel Dodero, Jos\u00e9 Miguel Mota, Javier Merch\u00e1n S\u00e1nchez-Jara<\/td>\nApplying static code analysis for domain-specific languages<\/a><\/td>\n<\/tr>\n
<\/td>\nAlvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock<\/td>\nRoboChart: modelling and verification of the functional behaviour of robotic applications<\/a><\/td>\n<\/tr>\n
<\/td>\n\n
Modeling Environment<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nBrice Morin and Nicolas Ferry<\/td>\nModel-based, Platform-independent Logging for Heterogeneous Targets<\/span><\/a><\/td>\n<\/tr>\n
<\/td>\nParsa Pourali and Joanne M. Atlee<\/td>\n\n
<\/td>\nAntonio Garcia-Dominguez, Nelly Bencomo, Juan Marcelo Parra-Ullauri and Luis Garcia Paucar<\/td>\nQuerying and annotating model histories with time-aware patterns<\/a><\/td>\n<\/tr>\n
<\/td>\n\n
Tools and Demos<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nMojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel<\/td>\nLive-UMLRT: A Tool for Live Modeling of UML-RT Models<\/td>\n<\/tr>\n
<\/td>\nAsma Charfi, Shuai Li, Patrick Tessier, Thomas Peyret, Chokri Mraidha, Sebastien G\u00e9rard<\/td>\nA Model Driven Tool for Requirements and Hardware Engineering<\/td>\n<\/tr>\n
<\/td>\nLucas Lima, Amaury Tavares<\/td>\nVerifying deadlock and nondetermenism in activity diagrams<\/td>\n<\/tr>\n
<\/td>\nHanh-Hoang Doan, Martin Gogolla<\/td>\nQuality Improvement for UML and OCL Models through Bad Smell and Metric Definition<\/td>\n<\/tr>\n
<\/td>\nParsa Pourali, Joanne M. Atlee<\/td>\nUCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams<\/td>\n<\/tr>\n
<\/td>\n<\/td>\n<\/td>\n<\/tr>\n
19:00-23:00<\/td>\nBanquet<\/strong><\/td>\n<\/td>\n<\/tr>\n
<\/td>\n<\/td>\n<\/td>\n<\/tr>\n
<\/td>\n<\/td>\n<\/td>\n<\/tr>\n
Friday<\/strong><\/td>\n<\/td>\n<\/td>\n<\/tr>\n
\n
09:00-10:00<\/div>\n<\/td>\n
\n
Keynote<\/strong><\/div>\n<\/td>\n<\/tr>\n
\n
10:30-12:00<\/div>\n<\/td>\n
\n
System Modeling<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nBeatriz A. Sanchez, Dimitris Kolovos, Richard Paige, Athanasios Zolotas and Horacio Hoyos<\/td>\nOn-the-fly Translation and Execution of OCL-like Queries on Simulink Models<\/a><\/td>\n<\/tr>\n
<\/td>\nSabine Wolny, Alexandra Mazak, Christine Carpella, Verena Geist, Manuel Wimmer<\/td>\nThirteen years of SysML: a systematic mapping study<\/a><\/td>\n<\/tr>\n
<\/td>\nPatrick Leserf, Pierre de Saqui-Sannes, J\u00e9r\u00f4me Hugues<\/td>\nTrade-off analysis for SysML models using decision points and CSPs<\/a><\/td>\n<\/tr>\n
<\/td>\n\n
MODELS & SoSyM Most Influential Papers<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nBetty H. C. Cheng, Pete Sawyer, Nelly Bencomo, and Jon Whittle<\/td>\n\n
<\/td>\nKarsten Ehrig, Jochen Malte Kuester, and Gabriele Taentzer<\/td>\nGenerating instance models from meta models<\/td>\n<\/tr>\n
<\/td>\nMarcello La Rosa, Wil M. P. van der Aalst, Marlon Dumas, and Arthur H.M. ter Hofstede<\/td>\nQuestionnaire-based variability modeling for system configuration<\/td>\n<\/tr>\n
\n
13:30-15:00<\/div>\n<\/td>\n
\n
Runtime Models<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nM\u00e1rton B\u00far and Daniel Varro<\/td>\nTowards WCET Estimation of Graph Queries@Run.time<\/a><\/td>\n<\/tr>\n
<\/td>\nNelly Bencomo and Luis Garcia Paucar<\/td>\nRaM: Requirements-aware Runtime Models for Decision-making using Bayesian Inference<\/a><\/td>\n<\/tr>\n
<\/td>\nThomas Brand and Holger Giese<\/td>\nModeling approach and evaluation criteria for adaptive and long-living structural runtime models<\/a><\/td>\n<\/tr>\n
<\/td>\n\n
Requirements Modeling and Analysis<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nMauricio Alferez, Fabrizio Pastore, Mehrdad Sabetzadeh, Lionel Briand and Jean-Richard Riccardi<\/td>\nBridging the Gap between Requirements Modeling and Behavior-driven Development<\/td>\n<\/tr>\n
<\/td>\nCesar Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers and Mike Nicolai<\/td>\nCONDEnSe: Contract-Based Design Synthesis<\/a><\/td>\n<\/tr>\n
<\/td>\nByron Devries and Betty Cheng<\/td>\nGoal-Based Modeling and Analysis of Non-Functional Requirements<\/td>\n<\/tr>\n
<\/td>\n\n
Modeling and ML\/AI (10 mins longer)<\/strong><\/div>\n<\/td>\n<\/tr>\n
<\/td>\nPhuong Nguyen, Juri Di Rocco, Davide Di Ruscio, Alfonso Pierantonio and Ludovico Iovino<\/td>\nAutomated Classification of Metamodel Repositories: A Machine Learning Approach<\/a><\/td>\n<\/tr>\n
<\/td>\nEvgeny Kusmenko and Bernhard Rumpe<\/td>\nModeling and Training Neural Processing Systems<\/a><\/td>\n<\/tr>\n
<\/td>\nLoli Burgue\u00f1o, Jordi Cabot and Sebastien Gerard<\/td>\nAn LSTM-Based Neural Network Architecture for Model Transformations<\/a><\/td>\n<\/tr>\n
<\/td>\nThomas Hartmann, Assaad Moawad, Cedric Schockaert, Francois Fouquet and Yves Le Traon<\/td>\nMeta-Modelling Meta-Learning<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n
<\/div>\n\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/modelsconf19.org\/index.php?rest_route=\/wp\/v2\/pages\/1681"}],"collection":[{"href":"https:\/\/modelsconf19.org\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/modelsconf19.org\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/modelsconf19.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/modelsconf19.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1681"}],"version-history":[{"count":24,"href":"https:\/\/modelsconf19.org\/index.php?rest_route=\/wp\/v2\/pages\/1681\/revisions"}],"predecessor-version":[{"id":2027,"href":"https:\/\/modelsconf19.org\/index.php?rest_route=\/wp\/v2\/pages\/1681\/revisions\/2027"}],"wp:attachment":[{"href":"https:\/\/modelsconf19.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1681"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}