default search action
22nd MODELS 2019: Munich, Germany - Companion Proceedings
- Loli Burgueño, Alexander Pretschner, Sebastian Voss, Michel Chaudron, Jörg Kienzle, Markus Völter, Sébastien Gérard, Mansooreh Zahedi, Erwan Bousse, Arend Rensink, Fiona Polack, Gregor Engels, Gerti Kappel:
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019. IEEE 2019, ISBN 978-1-7281-5125-0
2nd Workshop on Modeling in Automotive Software Engineering: MASE 2019
- Alessio Bucaioni, Juergen Dingel, Joanne M. Atlee:
Message from the MASE 2019 Chair. 1 - Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik:
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. 2-11 - Carsten Wiecher, Joel Greenyer, Jan Korte:
Test-Driven Scenario Specification of Automotive Software Components. 12-17 - Matthias Bernaerts, Bentley J. Oakes, Ken Vanherpen, Bjorn Aelvoet, Hans Vangheluwe, Joachim Denil:
Validating Industrial Requirements with a Contract-Based Approach. 18-27 - Jörg Christian Kirchhof, Evgeny Kusmenko, Bernhard Rumpe, Hengwen Zhang:
Simulation as a Service for Cooperative Vehicles. 28-37 - Thomas Wilhelm, Raphael Weber:
Towards Model-Based Generation and Optimization of AUTOSAR Runnable-to-Task Mapping. 38-43 - Lukas Krawczyk, Mahmoud Bazzal, Ram Prasath Govindarajan, Carsten Wolff:
Model-Based Timing Analysis and Deployment Optimization for Heterogeneous Multi-core Systems using Eclipse APP4MC. 44-53 - Betty H. C. Cheng, Bradley Doherty, Nick Polanco, Matthew Pasco:
Security Patterns for Automotive Systems. 54-63
6th International Workshop on Multi-Level Modelling: MULTI 2019
- João Paulo A. Almeida, Adrian Rutle, Manuel Wimmer:
Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019). 64-65 - Manfred A. Jeusfeld:
DeepTelos for ConceptBase: A Contribution to the MULTI Process Challenge. 66-77 - Chris Partridge, Andrew Mitchell, Michael Loneragan, Hayden Atkinson, Sergio de Cesare, Mesbah Khan:
Coordinate Systems: Level Ascending Ontological Options. 78-87 - Alejandro Rodríguez, Adrian Rutle, Lars Michael Kristensen, Francisco Durán:
A Foundation for the Composition of Multilevel Domain-Specific Languages. 88-97 - Manfred A. Jeusfeld:
DeepTelos Demonstration. 98-102 - Maria Teresa Rossi, Martina De Sanctis, Ludovico Iovino, Adrian Rutle:
A Multilevel Modelling Approach for Tourism Flows Detection. 103-112 - Arne Lange, Colin Atkinson:
On the Rules for Inheritance in LML. 113-118 - Ferenc Attila Somogyi, Gergely Mezei, Dániel Urbán, Zoltán Theisz, Sándor Bácsi, Dániel Palatinszky:
Multi-level Modeling with DMLA - A Contribution to the MULTI Process Challenge. 119-127 - Suilen Hernández Alvarado, Alejandro Cortiñas, Miguel R. Luaces, Oscar Pedreira, Ángeles Saavedra Places:
Applying Multilevel Modeling to the Development of Geographic Information Systems. 128-133 - Zoltán Theisz, Sándor Bácsi, Gergely Mezei, Ferenc Attila Somogyi, Dániel Palatinszky:
By Multi-layer to Multi-level Modeling. 134-141 - João Paulo A. Almeida, Fernando A. Musso, Victorio Albani de Carvalho, Claudenir M. Fonseca, Giancarlo Guizzardi:
Preserving Multi-level Semantics in Conventional Two-Level Modeling Techniques. 142-151 - Alejandro Rodríguez, Fernando Macías:
Multilevel Modelling with MultEcore: A Contribution to the MULTI Process Challenge. 152-163 - João Paulo A. Almeida, Adrian Rutle, Manuel Wimmer, Thomas Kühne:
The MULTI Process Challenge. 164-167
1st Workshop on Artificial Intelligence and Model-drivenEngineering: MDE Intelligence
- Loli Burgueño, Alexandru Burdusel, Sébastien Gérard, Manuel Wimmer:
Preface to MDE Intelligence 2019: 1st Workshop on Artificial Intelligence and Model-Driven Engineering. 168-169 - Sebastian Pilarski, Martin Staniszewski, Frederic Villeneuve, Dániel Varró:
On Artificial Intelligence for Simulation and Design Space Exploration in Gas Turbine Design. 170-174 - Angela Barriga, Adrian Rutle, Rogardt Heldal:
Personalized and Automatic Model Repairing using Reinforcement Learning. 175-181 - Christopher Gerking, Ingo Budde:
Heuristic Inference of Model Transformation Definitions from Type Mappings. 182-188 - Alexandru Burdusel, Steffen Zschaler:
Towards Scalable Search-Based Model Engineering with MDEOptimiser Scale. 189-195 - Nicola Gatto, Evgeny Kusmenko, Bernhard Rumpe:
Modeling Deep Reinforcement Learning Based Architectures for Cyber-Physical Systems. 196-202
Third Workshop on Model-Driven Engineering Tools: MDETools 2019
- Clement Eke, Antonio García-Domínguez, Jort van Mourik, Ifti Khan:
A Case Study of Model-Driven Engineering for Automated Timetabling. 203-210 - Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy:
A Model Checkable UML Soccer Player. 211-220 - Majid Babaei, Karim Jahed, Juergen Dingel:
Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT. 221-227 - Thomas Weber, Alois Zoitl, Heinrich Hußmann:
Usability of Development Tools: A CASE-Study. 228-235 - Elina Kalnina, Agris Sostaks:
Towards Concrete Syntax Based Find for Graphical Domain Specific Languages. 236-242 - Achiya Elyasaf, Aviran Sadon, Gera Weiss, Tom Yaacov:
Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game. 243-251 - Dana Black, Eric J. Rapos, Matthew Stephan:
Voice-Driven Modeling: Software Modeling Using Automated Speech Recognition. 252-258 - Horacio Hoyos Rodriguez, Beatriz Sanchez Piña:
JSOI: A JSON-Based Interchange Format for Efficient Model Management. 259-266
13th Workshop on Models and Evolution: ME 2019
- Ludovico Iovino, Alfonso Pierantonio, Dalila Tamzalit:
Preface to the 13th Workshop on Models and Evolution (ME2019). 267 - Johannes Schröpfer, Felix Schwägerl, Bernhard Westfechtel:
Consistency Control for Model Versions in Evolving Model-Driven Software Product Lines. 268-277 - Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Multifaceted Consistency Checking of Collaborative Engineering Artifacts. 278-287 - Damir Bilic, Etienne Brosse, Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere, Uwe Ryssel:
An Integrated Model-Based Tool Chain for Managing Variability in Complex System Design. 288-293 - Sanaa A. Alwidian, Daniel Amyot:
Inferring Metamodel Relaxations Based on Structural Patterns to Support Model Families. 294-303 - Xin Zhao, Jeff Gray:
BESMER: An Approach for Bad Smells Summarization in Systems Models. 304-313
International Workshop on Modeling Language Engineering andExecution: MLE
- Thibault Béziers la Fosse, Massimo Tisi, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé:
Towards Platform Specific Energy Estimation for Executable Domain-Specific Modeling Languages. 314-317 - Lorenzo Addazi, Federico Ciccozzi, Björn Lisper:
Executable Modelling for Highly Parallel Accelerators. 318-321 - Justin C. Cooper, Dimitris S. Kolovos:
Engineering Hybrid Graphical-Textual Languages with Sirius and Xtext: Requirements and Challenges. 322-325 - Florian Ege, Matthias Tichy:
A Proposal of Features to Support Analysis and Debugging of Declarative Model Transformations with Graphical Syntax by Embedded Visualizations. 326-330 - Jörg Christian Kirchhof, Evgeny Kusmenko, Jean Meurice, Bernhard Rumpe:
Simulation of Model Execution for Embedded Systems. 331-338 - Arthur Kühlwein, Anton Paule, Leon Hielscher, Wolfgang Rosenstiel, Oliver Bringmann:
Firmware Synthesis for Ultra-Thin IoT Devices Based on Model Integration. 339-346 - Horacio Hoyos Rodriguez, Athanasios Zolotas, Dimitris S. Kolovos, Richard F. Paige:
On the Challenges of Model Decorations for Capturing Complex Metadata. 347-353 - Taylor L. Riché, Jim Nagle, Joyce Xu, Don Hubbard:
Converting Executable Floating-Point Models to Executable and Synthesizable Fixed-Point Models. 354-361 - Hugo Lourenço, Rui Eugénio:
TrueChange (TM) Under the Hood: How We Check the Consistency of Large Models (Almost) Instantly. 362-369
1st International Workshop on View-Oriented Software Engineering: VoSE 2019
- Colin Atkinson, Erik Burger, Johannes Meier, Ralf H. Reussner, Andreas Winter:
Preface to the 1st Workshop on View-Oriented Software Engineering (VoSE). 370 - Heiko Klare, Joshua Gleitze:
Commonalities for Preserving Consistency of Multiple Models. 371-378 - Christopher Werner, Manuel Wimmer, Uwe Aßmann:
A Generic Language for Query and Viewtype Generation By-Example. 379-386 - Hyacinth Ali, Gunter Mussbacher, Jörg Kienzle:
Towards Modular Combination and Reuse of Languages with Perspectives. 387-394 - Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Frédéric Saubion, Mickael Clavreul:
Intensional View Definition with Constrained Incremental Transformation Rules. 395-402
Fourth International Workshop on Human Factors in Modeling: HuFaMo 2019
- Rodi Jolak, Miguel Goulão, Silvia Abrahão, Xavier Le Pallec, Emmanuel Renaux:
Preface to the Fourth International Workshop on Human Factors in Modeling (HuFaMo'19). 403-404 - Michael Stegmaier, Alexander Raschke, Matthias Tichy, Eva-Maria Meßner, Sara Hajian, Anna Feldengut:
Insights for Improving Diagram Editing Gained from an Empirical Study. 405-412 - Timothy Lethbridge:
UmpleOnline as a Testbed for Modeling Empirical Studies: A Position Paper. 413-414 - Rodi Jolak, Grischa Liebel:
Position Paper: Knowledge Sharing and Distances in Collaborative Modeling. 415-416
First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems: MPM4CPS
- Simon Van Mierlo, Eugene Syriani, Dominique Blouin, Moussa Amrani, Julien Deantoni, Manuel Wimmer:
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019). 417-418 - Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann:
Towards a Formal Specification of Multi-paradigm Modelling. 419-424 - Federico Ciccozzi, Matthias Tichy, Hans Vangheluwe, Danny Weyns:
Blended Modelling - What, Why and How. 425-430 - Manuela Dalibor, Nico Jansen, Bernhard Rumpe, Louis Wachtmeister, Andreas Wortmann:
Model-Driven Systems Engineering for Virtual Product Design. 431-436 - Simon Van Mierlo, Julien Deantoni, Loli Burgueño, Clark Verbrugge, Hans Vangheluwe:
Towards Sketching Interfaces for Multi-paradigm Modeling. 437-442 - Romain Franceschini, Moharram Challenger, Antonio Cicchetti, Joachim Denil, Hans Vangheluwe:
Challenges for Automation in Adaptive Abstraction. 443-448 - Bentley James Oakes, Romain Franceschini, Simon Van Mierlo, Hans Vangheluwe:
The Computational Notebook Paradigm for Multi-paradigm Modeling. 449-454
5th Flexible MDE Workshop: FlexMDE 2019
- Gergely Mezei, Zoltán Theisz, Sándor Bácsi, Ferenc Attila Somogyi, Dániel Palatinszky:
Towards Flexible, Rigorous Refinement in Metamodeling. 455-459 - Kevin Lano, Shichao Fang, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi:
Simplified Specification Languages for Flexible and Agile Modelling. 460-467 - Harald Störrle:
Modeling Moods. 468-477 - Sara Pérez-Soler, Esther Guerra, Juan de Lara:
Flexible Modelling using Conversational Agents. 478-482
16th Workshop on Model Driven Engineering, Verification and Validation: MoDeVVa 2019
- Navpreet Kaur, Michalis Famelis:
Towards Reasoning About Product Lines with Design Choices. 483-492 - Jean-Marie Mottu, Pascal André, Maxence Coutant, Tom Le Berre:
Shall We Test Service-Based Models or Generated Code? 493-502 - Adina Aniculaesei, Andreas Vorwald, Andreas Rausch:
Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System. 503-513 - Johann Schumann, Katerina Goseva-Popstojanova:
Verification and Validation Approaches for Model-Based Software Engineering. 514-518 - Nisha Desai, Martin Gogolla:
A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior. 519-523 - Opeyemi Adesina, Timothy C. Lethbridge, Stéphane S. Somé:
Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking. 524-532
The 14th International Workshop on Models@run.time: Models@run.time
- René Schöne, Johannes Mey, Boqi Ren, Uwe Aßmann:
Bridging the Gap between Smart Home Platforms and Machine Learning using Relational Reference Attribute Grammars. 533-542 - Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann:
Towards Self-Explainable Cyber-Physical Systems. 543-548
The 6th International Workshop on Model-Driven Robot Software Engineering: MORSE 2019
- Daneil Steen Losvik, Adrian Rutle:
A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems. 549-558 - S. M. Hadi Sadati, Steffen Zschaler, Christos Bergeles:
A Matlab-Internal DSL for Modelling Hybrid Rigid-Continuum Robots with TMTDyn. 559-567 - Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau:
A Model-Driven Approach to Automate Tuning of Continuous Controller Parameters. 568-576 - Garazi Juez Uriagereka, Estibaliz Amparan Calonge, Cristina Martinez Martinez, Jabier Martinez, Aurélien Ibanez, Matteo Morelli, Ansgar Radermacher, Huáscar Espinoza:
Design-Time Safety Assessment of Robotic Systems Using Fault Injection Simulation in a Model-Driven Approach. 577-586
1st international workshop on DevOps: DevOps@MODELS
- Francis Bordeleau, Jean-Michel Bruel, Jordi Cabot, Juergen Dingel, Sébastien Mosser:
Preface to the 1st Workshop on DevOps@MODELS. 587-588 - Camilo Mendoza, Kelly Garcés, Rubby Casallas, José Bocanegra:
Detecting Architectural Issues During the Continuous Integration Pipeline. 589-597 - Holger Nehls, Daniel Ratiu:
Towards Continuous Delivery for Domain Experts: Using MDE to Integrate Non-Programmers into a Software Delivery Pipeline. 598-604 - Benjamin Benni, Mireille Blay-Fornarino, Sébastien Mosser, Frédéric Precioso, Günther Jungbluth:
When DevOps Meets Meta-Learning: A Portfolio to Rule them all. 605-612 - Nicolas Ferry, Phu Hong Nguyen:
Towards Model-Based Continuous Deployment of Secure IoT Systems. 613-618 - Bart Meyers, Klaas Gadeyne, Bentley J. Oakes, Matthias Bernaerts, Hans Vangheluwe, Joachim Denil:
A Model-Driven Engineering Framework to Support the Functional Safety Process. 619-623
Doctoral Symposium
- Owen Reynolds:
Towards Model-Driven Self-Explanation for Autonomous Decision-Making Systems. 624-628 - Ben Schneider:
Automatic Network Configuration for Real-Time, Distributed Industrial Automation Systems. 629-634 - Raffaela Groner:
User-Centered Performance Engineering of Model Transformations. 635-641 - Robbert Jongeling:
How to Live with Inconsistencies in Industrial Model-Based Development Practice. 642-647 - Maxime Savary-Leblanc:
Improving MBSE Tools UX with AI-Empowered Software Assistants. 648-652 - Maged Khalil:
Improving Solution Reuse in Automotive Embedded Applications using a Pattern Library Based Approach. 653-659 - Moritz Höser:
Modeling Adaptive Learning Agents for Domain Knowledge Transfer. 660-665 - Sven Merschjohann:
Automated Suggestions of Security Enhancing Improvements for Software Architectures. 666-671
Educators Symposium
- Daria Bogdanova, Monique Snoeck:
Use of Personalized Feedback Reports in a Blended Conceptual Modelling Course. 672-679 - Hüseyin Ergin, Isaac L. Walling, Kate P. Rader, D. Joshua Dobbs:
A Study of Modeling Perception in a First-Time Modeling Class. 680-689 - Bernd Westphal:
Teaching Software Modelling in an Undergraduate Introduction to Software Engineering. 690-699 - Weiyi Bian, Omar Alam, Jörg Kienzle:
Automated Grading of Class Diagrams. 700-709 - Martin Gogolla, Antonio Vallecillo:
An Idealistic Plan for Transforming Media Sources Into Books, Slides and Videos: Position Statement on "Textbooks 10 Years From Now". 710-713 - Rijul Saini, Gunter Mussbacher, Jin L. C. Guo, Jörg Kienzle:
Teaching Modelling Literacy: An Artificial Intelligence Approach. 714-719 - Shinpei Ogata, Mizue Kayama:
SML4C: Fully Automatic Classification of State Machine Models for Model Inspection in Education. 720-729
Poster Papers
- Victor-Alejandro Ortiz, Montserrat Estañol, Maria-Cristina V. Marinescu, Maria-Ribera Sancho, Ernest Teniente, Carmen Rueda:
A Semantic Model to Fight Social Exclusion. 730-731 - Masaki Nakamura, Kazutoshi Sakakibara:
Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers. 732-733 - Diego Prens, Iván Alfonso, Kelly Garcés, John A. Guerra-Gomez:
Continuous Delivery of Software on IoT Devices. 734-735 - Mohammad Sharaf, Mai Abusair, Henry Muccini, Rami Eleiwi, Yara Shana'a, Ithar Saleh:
Generating Heterogeneous Codes for IoT Systems Based on CAPS. 736-737
Tools and Demos
- Julio Sandobalin, Emilio Insfrán, Silvia Abrahão:
ARGON: A Model-Driven Infrastructure Provisioning Tool. 738-742 - Mojtaba Bagherzadeh, Karim Jahed, Benoît Combemale, Juergen Dingel:
Live-UMLRT: A Tool for Live Modeling of UML-RT Models. 743-747 - Hamza Ed-Douibi, Javier Luis Cánovas Izquierdo, Francis Bordeleau, Jordi Cabot:
WAPIml: Towards a Modeling Infrastructure for Web APIs. 748-752 - Antonio Bucchiarone, Antonio Cicchetti, Annapaola Marconi:
GDF: A Gamification Design Framework Powered by Model-Driven Engineering. 753-758 - Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe:
MAPLE-T: A Tool for Process Enactment with Traceability Support. 759-763 - Lucas Lima, Amaury Tavares:
Verifying Deadlock and Nondeterminism in Activity Diagrams. 764-768 - Asma Charfi, Shuai Li, Thomas Peyret, Patrick Tessier, Chokri Mraidha, Sébastien Gérard:
A Model Driven Tool for Requirements and Hardware Engineering. 769-773 - Khanh-Hoang Doan, Martin Gogolla:
Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition. 774-778 - Parsa Pourali, Joanne M. Atlee:
UCAnDoModels: A Context-Based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams. 779-783 - Cláudio Gomes, Levi Lúcio, Hans Vangheluwe:
Semantics of Co-simulation Algorithms with Simulator Contracts. 784-789