Abstract is missing.
- Exploring PotencyThomas Kühne. 2-12 [doi]
- From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision PaperAndreas Kästner, Martin Gogolla, Bran Selic. 13-22 [doi]
- On the Quest for Flexible ModellingEsther Guerra, Juan de Lara. 23-33 [doi]
- Mathematical Programming for Anomaly Analysis of Clafer ModelsMarkus Weckesser, Malte Lochau, Michael Ries, Andy Schürr. 34-44 [doi]
- From Single- to Multi-Variant Model Transformations: Trace-Based Propagation of Variability AnnotationsBernhard Westfechtel, Sandra Greiner. 46-56 [doi]
- Expressing Confidence in Models and in Model Transformation ElementsLoli Burgueño, Manuel F. Bertoa, Nathalie Moreno, Antonio Vallecillo. 57-66 [doi]
- Model Transformation Product LinesJuan de Lara, Esther Guerra, Marsha Chechik, Rick Salay. 67-77 [doi]
- Expressive and Efficient Model Transformation with an Internal DSL of XtendArtur Boronat. 78-88 [doi]
- Evolutionary Algorithm for Bug Localization in the Reconfigurations of Models at RuntimeLorena Arcega, Jaime Font, Carlos Cetina. 90-100 [doi]
- Integrating the Designer in-the-loop for Metamodel/Model Co-Evolution via Interactive Computational SearchWael Kessentini, Manuel Wimmer, Houari A. Sahraoui. 101-111 [doi]
- Unified LTL Verification and Embedded Execution of UML ModelsValentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. 112-122 [doi]
- A Model-Driven Solution to Support Smart Mobility PlanningAntonio Bucchiarone, Antonio Cicchetti. 123-132 [doi]
- Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault TreesArne Nordmann, Peter Munk. 134-143 [doi]
- Digital Behavioral Twins for Safe Connected CarsXiming Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado, Zhihao Jiang. 144-153 [doi]
- Engineering Software Diversity: a Model-Based Approach to Systematically Diversify CommunicationsBrice Morin, Jakob Høgenes, Hui Song, Nicolas Harrand, Benoît Baudry. 155-165 [doi]
- Extending Complex Event Processing to Graph-structured InformationGala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo. 166-175 [doi]
- Enabling Model Testing of Cyber-Physical SystemsCarlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, Yago Isasi. 176-186 [doi]
- Towards Testing from Finite State Machines with Symbolic Inputs and OutputsAlexandre Petrenko. 187 [doi]
- Measures to report the Location Problem of Model Fragment LocationManuel Ballarín, Ana Cristina Marcén, Vicente Pelechano, Carlos Cetina. 189-199 [doi]
- Improving the Developer Experience with a Low-Code Process Modelling LanguageHenrique Henriques, Hugo Lourenço, Vasco Amaral, Miguel Goulão. 200-210 [doi]
- A Feature-based Survey of Model View ApproachesHugo Brunelière, Erik Burger, Jordi Cabot, Manuel Wimmer. 211 [doi]
- Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development EffortsRodi Jolak, Truong Ho-Quang, Michel R. V. Chaudron, Ramon R. H. Schiffelers. 213-223 [doi]
- An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling ToolsParsa Pourali, Joanne M. Atlee. 224-234 [doi]
- Effort Used to Create Domain-Specific Modeling LanguagesJuha-Pekka Tolvanen, Steven Kelly 0001. 235-244 [doi]
- A Decade of Software Design and Modeling: A Survey to Uncover Trends of the PracticeOmar Badreddin, Rahad Khandoker, Andrew Forward, Omar Masmali, Timothy C. Lethbridge. 245-255 [doi]
- Recommending Model Refactoring Rules from Refactoring ExamplesChihab eddine Mokaddem, Houari A. Sahraoui, Eugene Syriani. 257-266 [doi]
- Refactoring Architecture Models for Compliance with Custom RequirementsTa'id Holmes, Uwe Zdun. 267-277 [doi]
- Model-Driven Trace Diagnostics for Pattern-based Temporal SpecificationsWei Dou 0001, Domenico Bianculli, Lionel C. Briand. 278-288 [doi]
- On Computing Instructions to Repair Failed Model RefinementsOliver Kautz, Bernhard Rumpe. 289-299 [doi]
- Towards sound, optimal, and flexible building from megamodelsPerdita Stevens. 301-311 [doi]
- Robust Hashing for ModelsSalvador Martínez, Sébastien Gérard, Jordi Cabot. 312-322 [doi]
- Incremental View Model Synchronization Using Partial ModelsKristóf Marussy, Oszkár Semeráth, Dániel Varró. 323-333 [doi]
- Towards Scalable Model Views on Heterogeneous Model ResourcesHugo Brunelière, Florent Marchand de Kerchove, Gwendal Daniel, Jordi Cabot. 334-344 [doi]
- Slicing UML-based Models of Real-time Embedded SystemsReza Ahmadi, Ernesto Posse, Juergen Dingel. 346-356 [doi]
- HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical SystemsSeung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer. 357-367 [doi]
- Hybrid Co-simulation: It's About TimeFabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis. 368 [doi]
- Towards a Language Server Protocol Infrastructure for Graphical ModelingRoberto Rodríguez-Echeverría, Javier Luis Cánovas Izquierdo, Manuel Wimmer, Jordi Cabot. 370-380 [doi]
- Visualizations of Evolving Graphical Models in the Context of Model ReviewFlorian Zoubek, Philip Langer, Tanja Mayerhofer. 381-391 [doi]
- Dissimilarity Measures for Clustering Space Mission ArchitecturesCody Kinneer, Sebastian J. I. Herzig. 392-402 [doi]
- Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving MetamodelsDjamel Eddine Khelladi, Roland Kretschmer, Alexander Egyed. 404-414 [doi]
- Integration of Visual Contracts and Model Transformation for Enhanced MDE DevelopmentMatt Selway, Georg Grossmann, Markus Stumptner, Kerryn R. Owen, Richard M. Dexter. 415-425 [doi]
- Assurance via model transformations and their hierarchical refinementZinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford. 426-436 [doi]
- From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware ArchitecturesJohannes Eder, Andreas Bahya, Sebastian Voss, Alexandru Ipatiov, Maged Khalil. 438-446 [doi]
- Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArcEvgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, Michael von Wenckstern. 447-457 [doi]
- Efficient use of local energy: An activity oriented modeling to guide Demand Side ManagementAlexandre Rio, Yoann Maurel, Olivier Barais, Yoran Bugni. 458-468 [doi]