default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st 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
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-12-12 20:46 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:
