Abstract is missing.
- Interface protocol inference to aid understanding legacy software componentsKousar Aslam, Yaping Luo, Ramon R. H. Schiffelers, Mark van den Brand. 6-11 [doi]
- On the Model-driven Synthesis of Adaptable ChoreographiesMarco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli. 12-17 [doi]
- A Model-Based Approach to Managing Feature Binding Time in Software Product Line EngineeringArmayau Zango Umar, Jaejoon Lee. 18-23 [doi]
- Teaching Playground for C&C Language EmbeddedMontiArcEvgeny Kusmenko, Bernhard Rumpe, Ievgen Strepkov, Michael von Wenckstern. 25-30 [doi]
- Compiling Protocols to Promela and Verifying their LTL PropertiesBenjamin Lion, Samir Chouali, Farhad Arbab. 31-39 [doi]
- A Component-Based and Model-Driven Approach to Deal with Non-Functional Properties through Global QoS MetricsCristina Vicente-Chicote, Juan F. Inglés-Romero, Jesús Martínez, Dennis Stampfer, Alex Lotz, Matthias Lutz, Christian Schlegel. 40-45 [doi]
- Reflecting on the past and the present with temporal graph-based modelsAntonio García-Domínguez, Nelly Bencomo, Luis Hernán García Paucar. 46-55 [doi]
- On the Transition from Design Time to Runtime Model-Based Assurance CasesRan Wei, Tim Kelly, Jan Reich, Simos Gerasimou. 56-61 [doi]
- Model Synchronization with the Role-oriented Single Underlying ModelChristopher Werner, Uwe Assmann. 62-71 [doi]
- Towards software architecture runtime models for continuous adaptive monitoringThomas Brand, Holger Giese. 72-77 [doi]
- Blackbox Learning of Parametric Dependencies for Performance ModelsVanessa Ackermann, Johannes Grohmann, Simon Eismann, Samuel Kounev. 78-86 [doi]
- A text model - Use your favourite M2M for M2TEdward D. Willink. 89-102 [doi]
- Multi-Level ConstraintsTony Clark, Ulrich Frank. 103-117 [doi]
- Goal-driven elaboration of OCL enriched UML class diagramsRobert Darimont, Christophe Ponsard, Michel Lemoine. 118-131 [doi]
- Parallel execution of first-order operationsSina Madani, Dimitrios S. Kolovos, Richard F. Paige. 132-145 [doi]
- Introducing the Active Map operation to unify and improve efficiency of active operationsFrédéric Jouault, Fabien Chhel. 146-159 [doi]
- Using process algebra to statically analyze incremental propagation graphsThéo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. 160-173 [doi]
- vOCL: A novel approach for UML constraints modelingOmar Badreddin, Gerardo Barraza, Wahab Hamou-Lhadj. 174-186 [doi]
- Efficient validation of large models using the Mogwaı̈ toolGwendal Daniel. 187-193 [doi]
- Model Finding and Model Completion with USEMartin Gogolla, Loli Burgueño, Antonio Vallecillo. 194-200 [doi]
- Comparative case studies in agile model-driven developmentKevin Lano, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Howard P. Haughton. 203-212 [doi]
- Stakeholder specific visualisation from heterogeneous modeling toolsAbdil Kaya, Stefan Dutré, Jef Stegen, Satya Prakash Jha, Joachim Denil. 213-222 [doi]
- Towards a modular and flexible human-usable textual syntax for EMF modelsDimitrios S. Kolovos, Richard F. Paige. 223-232 [doi]
- Towards flexible object and class modeling tools: an experience reportAndreas Kästner, Martin Gogolla, Bran Selic. 233-242 [doi]
- Execution of UTP test cases using fUMLMarc-Florian Wendland, Niels Hoppe. 245-250 [doi]
- A generic solution for weaving business code into executable modelsEric Cariou, Olivier Le Goaer, Lea Brunschwig, Franck Barbier. 251-256 [doi]
- On executable models that are integrated with program codeMarco Konersmann. 257-262 [doi]
- EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration)Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe, Michael von Wenckstern. 263-265 [doi]
- COMMitMDE 2018 - 3rd International Workshop on Collaborative Modelling in MDEJan Bosch, Sebastien Gerard, Dimitris S. Kolovos, Ivano Malavolta, Henry Muccini. 266-267 [doi]
- Continuous integration support in modeling toolsRobbert Jongeling, Jan Carlson, Antonio Cicchetti, Federico Ciccozzi. 268-276 [doi]
- Challenges for reuse in collaborative modeling environmentsOmar Alam, Jonathan Corley, Constantin Masson, Eugene Syriani. 277-283 [doi]
- Handling constraints in model versioningAlessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter. 284-292 [doi]
- Delta-driven collaborative modelingMaik Appeldorn, Dilshodbek Kuryazov, Andreas Winter 0001. 293-302 [doi]
- Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018)Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araujo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic. 303-304 [doi]
- Developing a Modeling Tool Someone Wants to Use: Challenges, trends and solutions for how to develop modeling tools that people actually can and want to useMattias Mohlin. 305 [doi]
- Improved traceability for bidirectional model transformationsRomina Eramo, Alfonso Pierantonio, Michele Tucci 0001. 306-315 [doi]
- Robotic system testing with AMSA frameworkHamza El Baccouri, Goulven Guillou, Jean-Philippe Babau. 316-325 [doi]
- An LSP infrastructure to build EMF language servers for web-deployable model editorsRoberto Rodríguez-Echeverría, Javier Luis Cánovas Izquierdo, Manuel Wimmer, Jordi Cabot. 326-335 [doi]
- A study design template for identifying usability issues in graphical modeling toolsJakob Pietron, Alexander Raschke, Michael Stegmaier, Matthias Tichy, Enrico Rukzio. 336-345 [doi]
- Implementing the MDETools'18 challenge with ThingMLJakob Høgenes, Brice Morin. 346-355 [doi]
- Controlling a virtual rover using AutoFOCUS3Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder. 356-365 [doi]
- An evaluation of Papyrus-RT for solving the leader-follower challenge problemKarim Jahed. 366-375 [doi]
- Modeling and programming a leader-follower challenge problem with scenario-based toolsJoel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron. 376-385 [doi]
- Applying Umple to the rover control challenge problem: A case study in model-driven engineeringTimothy Lethbridge, Abdulaziz Algablan. 386-395 [doi]
- Navigating the rover with xtUMLKeith Brown. 396-405 [doi]
- Model Consistency ensured by Metamodel IntegrationJohannes Meier, Andreas Winter 0001. 408-415 [doi]
- A Common Integrated Framework for Heterogeneous Modeling ServicesAnastasia Mavridou, Tamás Kecskés, Qishen Zhang, Janos Sztipanovits. 416-422 [doi]
- Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous ModelingFrancis Bordeleau, Benoît Combemale, Romina Eramo, Mark van den Brand, Manuel Wimmer. 423-425 [doi]
- CPS simulation models categories in Extended EnterprisesRenan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel. 426-428 [doi]
- Adding a HenshinEngine to GEMOC Studio: An experience reportSteffen Zschaler. 429-431 [doi]
- CommonLang: A DSL for Defining Robot TasksAdrian Rutle, Jonas Backer, Kolbein Foldøy, Robin T. Bye. 433-442 [doi]
- Embedding Scenario-based Modeling in StatechartsAssaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth. 443-452 [doi]
- Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped SimulationVladimir Estivill-Castro, René Hexel, Carl Lusty. 453-464 [doi]
- Towards the use of Quality-of-Service Metrics in Reinforcement Learning: A Robotics ExampleJuan Francisco Inglés-Romero, Juan Manuel Espín, Rubén Jiménez-Andreu, Roberto Font, Cristina Vicente-Chicote. 465-474 [doi]
- Using IEC 61499 to Implement a Self-Organising Plug and Produce SystemJörg Walter, Kim Grüttner, Wolfgang Nebel. 475-484 [doi]
- A Context-Based Behavioral Language for IoTAchiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss. 485-494 [doi]
- Static Analysis of Complex Event Processing ProgramsAdrián García-López, Loli Burgueño, Antonio Vallecillo. 498-502 [doi]
- Domain Model-Based Data Stream Validation for Internet of Things ApplicationsSimon Pizonka, Timo Kehrer, Matthias Weidlich. 503-508 [doi]
- DSML4TinyOS: Code Generation for Wireless DevicesHussein M. Marah, Raheleh Eslampanah, Moharram Challenger. 509-514 [doi]
- ML4CREST: Machine Learning for CPS ModelsStefan Klikovits, Aurelien Coet, Didier Buchs. 515-520 [doi]
- ThingML+: Augmenting Model-Driven Software Engineering for the Internet of Things with Machine LearningArmin Moin Stephan Rössler, Stephan Günnemann. 521-523 [doi]
- An Initial Mapping Study on MDE4IoTSabine Wolny, Alexandra Mazak, Bernhard Wally. 524-529 [doi]
- Debugging of Model Transformations and Contracts in SyVOLTBentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe. 532-537 [doi]
- Towards Providing Debugging in the Domain-Specific Modeling Languages for Software AgentsBaris Tekin Tezel, Geylani Kardas. 538-540 [doi]
- A Generalized Stepping Semantics for Model DebuggingSimon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe. 541-546 [doi]
- Towards an Automated Fault Localizer while Designing Meta-modelsAdel Ferdjoukh, Jean-Marie Mottu. 547-552 [doi]
- ProVer: an SMT-based approach for process verificationSouheib Baarir, Reda Bendraou, Hakan Metin, Yoann Laurent. 555-562 [doi]
- Generation of test strategies for Model-based Functional Safety testing using an Artifact-centric approachBert Van Acker, Joachim Denil, Paul De Meulenaere, Bjorn Aelvoet, Dries Mahieu, Jan Van Den Oudenhoven. 563-569 [doi]
- Balancing Model Usability and Verifiability with SBVR and Answer Set ProgrammingDeepali Kholkar, Dushyanthi Mulpuru, Vinay Kulkarni. 570-573 [doi]
- Semantic Differencing of Activity Diagrams by a Translation into Finite AutomataOliver Kautz, Bernhard Rumpe. 574-583 [doi]
- Improving Trace-Based Propagation of Feature Annotations in Model TransformationsSandra Greiner, Bernhard Westfechtel. 584-593 [doi]
- Towards Hybrid Model PersistenceAlfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos. 594-603 [doi]
- Towards a Metamodel for Modular Simulation EnvironmentsSandro Koch, Frederik Reiche, Robert Heinrich. 604-609 [doi]
- Reuse Considerations in Evolving Software Products: The Software Product Line PerspectiveIris Reinhartz-Berger, Amir Tomer, Malki Grossman. 610-619 [doi]
- Resilience in Sirius Editors: Understanding the Impact of Metamodel ChangesJuri Di Rocco, Davide Di Ruscio, Hrishikesh Narayanankutty, Alfonso Pierantonio. 620-630 [doi]
- A tool for the convergence of multilevel modelling approachesFernando Macías, Adrian Rutle, Volker Stolz. 633-642 [doi]
- The bicycle challenge in DMLA, where validation means correct modelingGergely Mezei, Zoltan Theisz, Dániel Urbán, Sándor Bácsi. 643-652 [doi]
- Multi-level modeling with MELANEEArne Lange, Colin Atkinson 0001. 653-662 [doi]
- Multilevel modelling of coloured petri netsAlejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías. 663-672 [doi]
- A story of levelsThomas Kühne. 673-682 [doi]
- Context-aware factors in rearchitecting two-level models into multilevel modelsMira Balaban, Igal Khitron, Azzam Maraee. 683-692 [doi]
- Multilevel modeling: what's in a level? A position paperMira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee. 693-697 [doi]
- Practical experiences with multi-level modeling using FMMLx: a hierarchy of domain-specific modeling languages in support of life-cycle assessmentMonika Kaczmarek-Heß, Mario Nolte, Andreas Fritsch, Stefanie Betz. 698-707 [doi]
- Multi-level modeling with XMLJens Gulden. 708-717 [doi]
- Toward a unified conception of multi-level modelling: advanced requirementsUlrich Frank. 718-727 [doi]
- Modeling and Analyzing Information Flow in Development Teams as a Pipe SystemJil Klünder, Oliver Karras, Nils Prenner, Kurt Schneider. 730-737 [doi]
- Comparing the comprehensibility of numeric versus symbolic contribution labels in goal models: an experimental designSotirios Liaskos, Wisal Tambosi. 738-745 [doi]
- The visual inheritance structure to support the design of visual notationsNungki Selviandro, Tim Kelly, Richard Hawkins. 746-753 [doi]
- Using sketch recognition for capturing developer's mental modelsTatiana De-Wyse, Emmanuel Renaux, José Mennesson. 754-761 [doi]
- ModelByVoice - towards a general purpose model editor for blind peopleJoão Lopes, João Cambeiro, Vasco Amaral. 762-769 [doi]
- Comparing the Developer Experience with two Multi-Agents Systems DSLs: SEA_ML++ and DSML4MAS - Study DesignJoão Silva, Ankica Barisic, Vasco Amaral, Miguel Goulão, Baris Tekin Tezel, Ömer Faruk Alaca, Moharram Challenger, Geylani Kardas. 770-777 [doi]
- Automatic model repair using reinforcement learningAngela Barriga, Adrian Rutle, Rogardt Heldal. 781-786 [doi]
- Model analytics for feature models: case studies for S.P.L.O.T. repositoryÖnder Babur, Loek Cleophas, Mark van den Brand. 787-792 [doi]
- Exploring model repositories by means of megamodel-aware search operatorsFrancesco Basciani, Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio. 793-798 [doi]