![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
21st MODELS 2018: Copenhagen, Denmark
- Andrzej Wasowski, Richard F. Paige, Øystein Haugen:
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018. ACM 2018
Foundations
- Thomas Kühne
:
Exploring Potency. 2-12 - Andreas Kästner, Martin Gogolla, Bran Selic:
From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision Paper. 13-22 - Esther Guerra
, Juan de Lara:
On the Quest for Flexible Modelling. 23-33 - Markus Weckesser, Malte Lochau, Michael Ries, Andy Schürr:
Mathematical Programming for Anomaly Analysis of Clafer Models. 34-44
Transformations
- Bernhard Westfechtel, Sandra Greiner
:
From Single- to Multi-Variant Model Transformations: Trace-Based Propagation of Variability Annotations. 46-56 - Loli Burgueño
, Manuel F. Bertoa
, Nathalie Moreno, Antonio Vallecillo
:
Expressing Confidence in Models and in Model Transformation Elements. 57-66 - Juan de Lara, Esther Guerra
, Marsha Chechik, Rick Salay:
Model Transformation Product Lines. 67-77 - Artur Boronat:
Expressive and Efficient Model Transformation with an Internal DSL of Xtend. 78-88
Verification, Validation and Planning
- Lorena Arcega
, Jaime Font
, Carlos Cetina
:
Evolutionary Algorithm for Bug Localization in the Reconfigurations of Models at Runtime. 90-100 - Wael Kessentini, Manuel Wimmer, Houari A. Sahraoui:
Integrating the Designer in-the-loop for Metamodel/Model Co-Evolution via Interactive Computational Search. 101-111 - Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy:
Unified LTL Verification and Embedded Execution of UML Models. 112-122 - Antonio Bucchiarone
, Antonio Cicchetti:
A Model-Driven Solution to Support Smart Mobility Planning. 123-132
Selected Papers for Industry Day
- Arne Nordmann, Peter Munk
:
Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees. 134-143 - Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado, Zhihao Jiang
:
Digital Behavioral Twins for Safe Connected Cars. 144-153
Model Analysis and Testing
- Brice Morin, Jakob Høgenes, Hui Song, Nicolas Harrand, Benoît Baudry:
Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications. 155-165 - Gala Barquero
, Loli Burgueño
, Javier Troya, Antonio Vallecillo
:
Extending Complex Event Processing to Graph-structured Information. 166-175 - Carlos A. González, Mojtaba Varmazyar, Shiva Nejati
, Lionel C. Briand, Yago Isasi:
Enabling Model Testing of Cyber-Physical Systems. 176-186 - Alexandre Petrenko
:
Towards Testing from Finite State Machines with Symbolic Inputs and Outputs. 187
Experience Report
- Manuel Ballarín, Ana Cristina Marcén, Vicente Pelechano, Carlos Cetina
:
Measures to report the Location Problem of Model Fragment Location. 189-199 - Henrique O. Henriques
, Hugo Lourenço, Vasco Amaral, Miguel Goulão
:
Improving the Developer Experience with a Low-Code Process Modelling Language. 200-210 - Hugo Bruneliere
, Erik Burger
, Jordi Cabot
, Manuel Wimmer:
A Feature-based Survey of Model View Approaches. 211
Empirical Studies
- Rodi Jolak
, Truong Ho-Quang, Michel R. V. Chaudron, Ramon R. H. Schiffelers:
Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts. 213-223 - Parsa Pourali, Joanne M. Atlee:
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools. 224-234 - Juha-Pekka Tolvanen
, Steven Kelly
:
Effort Used to Create Domain-Specific Modeling Languages. 235-244 - Omar Badreddin, Rahad Khandoker, Andrew Forward, Omar Masmali, Timothy C. Lethbridge
:
A Decade of Software Design and Modeling: A Survey to Uncover Trends of the Practice. 245-255
Patterns, Refactoring and Refinement
- Chihab eddine Mokaddem, Houari A. Sahraoui, Eugene Syriani
:
Recommending Model Refactoring Rules from Refactoring Examples. 257-266 - Ta'id Holmes, Uwe Zdun:
Refactoring Architecture Models for Compliance with Custom Requirements. 267-277 - Wei Dou, Domenico Bianculli, Lionel C. Briand:
Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications. 278-288 - Oliver Kautz
, Bernhard Rumpe
:
On Computing Instructions to Repair Failed Model Refinements. 289-299
Model Management
- Perdita Stevens:
Towards sound, optimal, and flexible building from megamodels. 301-311 - Salvador Martínez
, Sébastien Gérard, Jordi Cabot
:
Robust Hashing for Models. 312-322 - Kristóf Marussy
, Oszkár Semeráth, Dániel Varró
:
Incremental View Model Synchronization Using Partial Models. 323-333 - Hugo Bruneliere
, Florent Marchand de Kerchove, Gwendal Daniel, Jordi Cabot
:
Towards Scalable Model Views on Heterogeneous Model Resources. 334-344
Hardware Embedded Systems and CPS
- Reza Ahmadi, Ernesto Posse, Juergen Dingel:
Slicing UML-based Models of Real-time Embedded Systems. 346-356 - Seung Yeob Shin
, Karim Chaouch, Shiva Nejati
, Mehrdad Sabetzadeh
, Lionel C. Briand, Frank Zimmer:
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems. 357-367 - Fabio Cremona, Marten Lohstroh
, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis:
Hybrid Co-simulation: It's About Time. 368
Graphical Modelling and Modelling Applications
- Roberto Rodríguez-Echeverría, Javier Luis Cánovas Izquierdo, Manuel Wimmer, Jordi Cabot
:
Towards a Language Server Protocol Infrastructure for Graphical Modeling. 370-380 - Florian Zoubek, Philip Langer, Tanja Mayerhofer:
Visualizations of Evolving Graphical Models in the Context of Model Review. 381-391 - Cody Kinneer, Sebastian J. I. Herzig:
Dissimilarity Measures for Clustering Space Mission Architectures. 392-402
Transformations 2
- Djamel Eddine Khelladi, Roland Kretschmer, Alexander Egyed:
Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels. 404-414 - Matt Selway
, Georg Grossmann
, Markus Stumptner
, Kerryn R. Owen
, Richard M. Dexter:
Integration of Visual Contracts and Model Transformation for Enhanced MDE Development. 415-425 - Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford:
Assurance via model transformations and their hierarchical refinement. 426-436
Synthesis & Simulation
- Johannes Eder, Andreas Bayha, Sebastian Voss, Alexandru Ipatiov, Maged Khalil:
From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware Architectures. 438-446 - Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, Michael von Wenckstern:
Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc. 447-457 - Alexandre Rio, Yoann Maurel, Olivier Barais
, Yoran Bugni:
Efficient use of local energy: An activity oriented modeling to guide Demand Side Management. 458-468
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.