default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st MODELS Workshops 2018: Copenhagen, Denmark
- Regina Hebig, Thorsten Berger:
Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018. CEUR Workshop Proceedings 2245, CEUR-WS.org 2018
ModComp - 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering
- Kousar Aslam, Yaping Luo, Ramon R. H. Schiffelers, Mark van den Brand:
Interface protocol inference to aid understanding legacy software components. 6-11 - Marco Autili
, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli:
On the Model-driven Synthesis of Adaptable Choreographies. 12-17 - Armayau Zango Umar, Jaejoon Lee:
A Model-Based Approach to Managing Feature Binding Time in Software Product Line Engineering. 18-23 - Evgeny Kusmenko, Bernhard Rumpe, Ievgen Strepkov, Michael von Wenckstern:
Teaching Playground for C&C Language EmbeddedMontiArc. 25-30 - Benjamin Lion, Samir Chouali, Farhad Arbab:
Compiling Protocols to Promela and Verifying their LTL Properties. 31-39 - Cristina Vicente-Chicote, Juan F. Inglés-Romero, Jesús Martínez, Dennis Stampfer, Alex Lotz, Matthias Lutz, Christian Schlegel:
A Component-Based and Model-Driven Approach to Deal with Non-Functional Properties through Global QoS Metrics. 40-45
MRT - 13th International Workshop on Models@run.time
- Antonio García-Domínguez, Nelly Bencomo, Luis Hernán García Paucar:
Reflecting on the past and the present with temporal graph-based models. 46-55 - Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou:
On the Transition from Design Time to Runtime Model-Based Assurance Cases. 56-61 - Christopher Werner, Uwe Assmann:
Model Synchronization with the Role-oriented Single Underlying Model. 62-71 - Thomas Brand, Holger Giese:
Towards software architecture runtime models for continuous adaptive monitoring. 72-77 - Vanessa Ackermann, Johannes Grohmann, Simon Eismann, Samuel Kounev:
Blackbox Learning of Parametric Dependencies for Performance Models. 78-86
OCL - 18th International Workshop on OCL and Textual Modeling
- Edward D. Willink:
A text model - Use your favourite M2M for M2T. 89-102 - Tony Clark, Ulrich Frank:
Multi-Level Constraints. 103-117 - Robert Darimont, Christophe Ponsard, Michel Lemoine:
Goal-driven elaboration of OCL enriched UML class diagrams. 118-131 - Sina Madani, Dimitrios S. Kolovos, Richard F. Paige:
Parallel execution of first-order operations. 132-145 - Frédéric Jouault, Fabien Chhel:
Introducing the Active Map operation to unify and improve efficiency of active operations. 146-159 - Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion:
Using process algebra to statically analyze incremental propagation graphs. 160-173 - Omar Badreddin, Gerardo Barraza, Wahab Hamou-Lhadj:
vOCL: A novel approach for UML constraints modeling. 174-186 - Gwendal Daniel:
Efficient validation of large models using the Mogwaı̈ tool. 187-193 - Martin Gogolla, Loli Burgueño, Antonio Vallecillo:
Model Finding and Model Completion with USE. 194-200
FlexMDE - 4th International Workshop on Flexible Model Driven Engineering
- Kevin Lano, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Howard P. Haughton:
Comparative case studies in agile model-driven development. 203-212 - Abdil Kaya, Stefan Dutré, Jef Stegen, Satya Prakash Jha, Joachim Denil:
Stakeholder specific visualisation from heterogeneous modeling tools. 213-222 - Dimitrios S. Kolovos, Richard F. Paige:
Towards a modular and flexible human-usable textual syntax for EMF models. 223-232 - Andreas Kästner, Martin Gogolla, Bran Selic:
Towards flexible object and class modeling tools: an experience report. 233-242
EXE - 4th International Workshop on Executable Modeling
- Marc-Florian Wendland, Niels Hoppe:
Execution of UTP test cases using fUML. 245-250 - Eric Cariou, Olivier Le Goaër, Léa Brunschwig, Franck Barbier:
A generic solution for weaving business code into executable models. 251-256 - Marco Konersmann:
On executable models that are integrated with program code. 257-262 - Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe, Michael von Wenckstern:
EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration). 263-265
COMMitMDE- 3rd International Workshop on Collaborative Modelling in MDE
- Jan Bosch, Sebastien Gerard, Dimitris S. Kolovos, Ivano Malavolta, Henry Muccini:
COMMitMDE 2018 - 3rd International Workshop on Collaborative Modelling in MDE. 266-267 - Robbert Jongeling, Jan Carlson, Antonio Cicchetti, Federico Ciccozzi:
Continuous integration support in modeling tools. 268-276 - Omar Alam, Jonathan Corley, Constantin Masson, Eugene Syriani:
Challenges for reuse in collaborative modeling environments. 277-283 - Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter:
Handling constraints in model versioning. 284-292 - Maik Appeldorn, Dilshodbek Kuryazov, Andreas Winter:
Delta-driven collaborative modeling. 293-302
MDETools - 2nd International Workshop on Model Driven Engineering Tools
- Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araújo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic:
Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018). 303-304 - Mattias Mohlin:
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 use. 305 - Romina Eramo, Alfonso Pierantonio, Michele Tucci:
Improved traceability for bidirectional model transformations. 306-315 - Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau:
Robotic system testing with AMSA framework. 316-325 - Roberto Rodríguez-Echeverría, Javier Luis Cánovas Izquierdo, Manuel Wimmer, Jordi Cabot:
An LSP infrastructure to build EMF language servers for web-deployable model editors. 326-335 - Jakob Pietron, Alexander Raschke, Michael Stegmaier, Matthias Tichy, Enrico Rukzio:
A study design template for identifying usability issues in graphical modeling tools. 336-345 - Jakob Høgenes, Brice Morin:
Implementing the MDETools'18 challenge with ThingML. 346-355 - Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder:
Controlling a virtual rover using AutoFOCUS3. 356-365 - Karim Jahed:
An evaluation of Papyrus-RT for solving the leader-follower challenge problem. 366-375 - Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron:
Modeling and programming a leader-follower challenge problem with scenario-based tools. 376-385 - Timothy Lethbridge, Abdulaziz Algablan:
Applying Umple to the rover control challenge problem: A case study in model-driven engineering. 386-395 - Keith Brown:
Navigating the rover with xtUML. 396-405
GEMOC - 6th International Workshop on the Globalization Of Modeling Languages
- Johannes Meier, Andreas Winter:
Model Consistency ensured by Metamodel Integration. 408-415 - Anastasia Mavridou, Tamás Kecskés, Qishen Zhang, Janos Sztipanovits:
A Common Integrated Framework for Heterogeneous Modeling Services. 416-422 - Francis Bordeleau, Benoît Combemale, Romina Eramo, Mark van den Brand, Manuel Wimmer:
Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling. 423-425 - Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel:
CPS simulation models categories in Extended Enterprises. 426-428 - Steffen Zschaler:
Adding a HenshinEngine to GEMOC Studio: An experience report. 429-431
MORSE - 5th International Workshop on Model-driven Robot Software Engineering
- Adrian Rutle, Jonas Backer, Kolbein Foldøy, Robin T. Bye:
CommonLang: A DSL for Defining Robot Tasks. 433-442 - Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth:
Embedding Scenario-based Modeling in Statecharts. 443-452 - Vladimir Estivill-Castro, René Hexel, Carl Lusty:
Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation. 453-464 - Juan Francisco Inglés-Romero, Juan Manuel Espín, Rubén Jiménez-Andreu, Roberto Font, Cristina Vicente-Chicote:
Towards the use of Quality-of-Service Metrics in Reinforcement Learning: A Robotics Example. 465-474 - Jörg Walter, Kim Grüttner, Wolfgang Nebel:
Using IEC 61499 to Implement a Self-Organising Plug and Produce System. 475-484 - Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss:
A Context-Based Behavioral Language for IoT. 485-494
MDE4IoT - 2nd International Workshop on Model-Driven Engineering for the Internet-of-Things
- Adrián García-López, Loli Burgueño, Antonio Vallecillo:
Static Analysis of Complex Event Processing Programs. 498-502 - Simon Pizonka, Timo Kehrer, Matthias Weidlich:
Domain Model-Based Data Stream Validation for Internet of Things Applications. 503-508 - Hussein M. Marah, Raheleh Eslampanah, Moharram Challenger:
DSML4TinyOS: Code Generation for Wireless Devices. 509-514 - Stefan Klikovits, Aurélien Coet, Didier Buchs:
ML4CREST: Machine Learning for CPS Models. 515-520 - Armin Moin, Stephan Rössler, Stephan Günnemann:
ThingML+: Augmenting Model-Driven Software Engineering for the Internet of Things with Machine Learning. 521-523 - Sabine Wolny, Alexandra Mazak, Bernhard Wally:
An Initial Mapping Study on MDE4IoT. 524-529
MDEBug - 2nd International Workshop on Debugging in Model-Driven Engineering
- Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe:
Debugging of Model Transformations and Contracts in SyVOLT. 532-537 - Baris Tekin Tezel, Geylani Kardas:
Towards Providing Debugging in the Domain-Specific Modeling Languages for Software Agents. 538-540 - Simon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe:
A Generalized Stepping Semantics for Model Debugging. 541-546 - Adel Ferdjoukh, Jean-Marie Mottu:
Towards an Automated Fault Localizer while Designing Meta-models. 547-552
MoDeVVa - 15th Workshop Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE
- Souheib Baarir, Reda Bendraou, Hakan Metin, Yoann Laurent:
ProVer: an SMT-based approach for process verification. 555-562 - Bert Van Acker, Joachim Denil, Paul De Meulenaere, Bjorn Aelvoet, Dries Mahieu, Jan Van Den Oudenhoven:
Generation of test strategies for Model-based Functional Safety testing using an Artifact-centric approach. 563-569 - Deepali Kholkar, Dushyanthi Mulpuru, Vinay Kulkarni:
Balancing Model Usability and Verifiability with SBVR and Answer Set Programming. 570-573
ME - 12th Workshop on Models and Evolution
- Oliver Kautz, Bernhard Rumpe:
Semantic Differencing of Activity Diagrams by a Translation into Finite Automata. 574-583 - Sandra Greiner, Bernhard Westfechtel:
Improving Trace-Based Propagation of Feature Annotations in Model Transformations. 584-593 - Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos:
Towards Hybrid Model Persistence. 594-603 - Sandro Koch, Frederik Reiche, Robert Heinrich:
Towards a Metamodel for Modular Simulation Environments. 604-609 - Iris Reinhartz-Berger, Amir Tomer, Malki Grossman:
Reuse Considerations in Evolving Software Products: The Software Product Line Perspective. 610-619 - Juri Di Rocco, Davide Di Ruscio, Hrishikesh Narayanankutty, Alfonso Pierantonio:
Resilience in Sirius Editors: Understanding the Impact of Metamodel Changes. 620-630
MULTI - 5th International Workshop on Multi-Level Modelling
- Fernando Macías, Adrian Rutle, Volker Stolz:
A tool for the convergence of multilevel modelling approaches. 633-642 - Gergely Mezei, Zoltán Theisz, Dániel Urbán, Sándor Bácsi:
The bicycle challenge in DMLA, where validation means correct modeling. 643-652 - Arne Lange, Colin Atkinson:
Multi-level modeling with MELANEE. 653-662 - Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías:
Multilevel modelling of coloured petri nets. 663-672 - Thomas Kühne:
A story of levels. 673-682 - Mira Balaban, Igal Khitron, Azzam Maraee:
Context-aware factors in rearchitecting two-level models into multilevel models. 683-692 - Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee:
Multilevel modeling: what's in a level? A position paper. 693-697 - Monika Kaczmarek-Heß, Mario Nolte, Andreas Fritsch, Stefanie Betz:
Practical experiences with multi-level modeling using FMMLx: a hierarchy of domain-specific modeling languages in support of life-cycle assessment. 698-707 - Jens Gulden:
Multi-level modeling with XML. 708-717 - Ulrich Frank:
Toward a unified conception of multi-level modelling: advanced requirements. 718-727
HuFaMo - 3rd International Workshop on Human Factors in Modeling
- Jil Klünder, Oliver Karras, Nils Prenner, Kurt Schneider:
Modeling and Analyzing Information Flow in Development Teams as a Pipe System. 730-737 - Sotirios Liaskos, Wisal Tambosi:
Comparing the comprehensibility of numeric versus symbolic contribution labels in goal models: an experimental design. 738-745 - Nungki Selviandro, Tim Kelly, Richard Hawkins:
The visual inheritance structure to support the design of visual notations. 746-753 - Tatiana De-Wyse, Emmanuel Renaux, José Mennesson:
Using sketch recognition for capturing developer's mental models. 754-761 - João Lopes, João Cambeiro, Vasco Amaral:
ModelByVoice - towards a general purpose model editor for blind people. 762-769 - João Silva, Ankica Barisic, Vasco Amaral, Miguel Goulão, Baris Tekin Tezel, Ömer Faruk Alaca, Moharram Challenger, Geylani Kardas:
Comparing the Developer Experience with two Multi-Agents Systems DSLs: SEA_ML++ and DSML4MAS - Study Design. 770-777
AMMoRe - 1st International Workshop on Analytics and Mining of Model Repositories
- Angela Barriga, Adrian Rutle, Rogardt Heldal:
Automatic model repair using reinforcement learning. 781-786 - Önder Babur, Loek Cleophas, Mark van den Brand:
Model analytics for feature models: case studies for S.P.L.O.T. repository. 787-792 - Francesco Basciani, Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio:
Exploring model repositories by means of megamodel-aware search operators. 793-798
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
