Abstract is missing.
- Multi-Paradigm Modelling of Cyber-Physical SystemsHans Vangheluwe. 5
- The Very Model of a Modern Meta-modelerEd Seidewitz. 7
- Realization of a Machine Learning Domain Specific Modeling Language: A Baseball Analytics Case StudyKaan Koseler, Kelsea McGraw, Matthew Stephan. 13-24 [doi]
- Unifying Modeling and Programming with ValkyrieJohannes Schröpfer, Thomas Buchmann. 25-36 [doi]
- Meta-models Combination for Reusing Verification TechniquesHui Zhao, Ludovic Apvrille, Frédéric Mallet. 37-48 [doi]
- Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of BehaviourVladimir Estivill-Castro, René Hexel. 49-61 [doi]
- TRILATERAL: Software Product Line based Multidomain IoT Artifact Generation for Industrial CPSAitziber Iglesias, Markel Iglesias-Urkia, Beatriz López-Davalillo, Santiago Charramendieta, Aitor Urbieta. 62-71 [doi]
- Model Federation based on Role ModelingBastien Drouot, Joël Champeau. 72-83 [doi]
- Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-software SystemsAndrea Enrici, Ludovic Apvrille, Renaud Pacalet. 84-95 [doi]
- Umple as a Template Language (Umple-TL)Mahmoud Husseini Orabi, Ahmed Husseini Orabi, Timothy C. Lethbridge. 96-104 [doi]
- Model Driven Data Management in HealthcareDavid Milward. 105-116 [doi]
- Single Underlying Models for Projectional, Multi-View EnvironmentsJohannes Meier, Heiko Klare, Christian Tunjic, Colin Atkinson 0001, Erik Burger, Ralf H. Reussner, Andreas Winter 0001. 117-128 [doi]
- Decoupling Language and Editor - The Impact of the Language Server Protocol on Textual Domain-Specific LanguagesHendrik Bünder. 129-140 [doi]
- On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint SolversGuy Katz, Assaf Marron, Aviran Sadon, Gera Weiss. 141-154 [doi]
- Generic Framework for Evaluating Commutativity of Multi-Variant Model TransformationsSandra Greiner, Bernhard Westfechtel. 155-166 [doi]
- Extending EAST-ADL for Modeling and Analysis of Partitions on Functional ArchitecturesChristoph Etzel, Bernhard Bauer. 167-176 [doi]
- A Flexible Framework for Program Evolution and VerificationOlaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi. 177-189 [doi]
- Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System DesignBenedikt Walter, Jan Martin, Jonathan Schmidt, Hanna Dettki, Stephan Rudolph. 193-200 [doi]
- From Manual to Machine-executable Model-based Systems Engineering via Graph-based Design LanguagesBenedikt Walter, Dennis Kaiser, Stephan Rudolph. 201-208 [doi]
- Software Product Line Engineering for Safety-critical SystemsPhilipp Lohmüller, Bernhard Bauer. 209-216 [doi]
- Applying Metamodel-based Tooling to Object-oriented CodeHeiko Klare, Timur Saglam, Erik Burger, Ralf H. Reussner. 217-228 [doi]
- Virtual Prototyping of Large-scale IoT Control Systems using Domain-specific LanguagesJacques Verriet, Lennart Buit, Richard Doornbos, Bas Huijbrechts, Kristina Sevo, Jack Sleuters, Mark Verberkt. 229-239 [doi]
- Emerging Concepts and Trends in Collaborative Modeling: A SurveyMatthew Stephan. 240-247 [doi]
- Using fUML Combined with a DSML: An Implementation using Papyrus UML/SysML ModelerMaurice Theobald, Jérémie Tatibouet. 248-255 [doi]
- Case Studies in Model-Driven Reverse EngineeringPascal André. 256-263 [doi]
- Interactive Visualization of Differences between Software Model VersionsJakub Ondik, Karol Rástocný. 264-271 [doi]
- Semantic Differencing of Statecharts for Object-oriented SystemsImke Drave, Robert Eikermann, Oliver Kautz, Bernhard Rumpe. 272-280 [doi]
- Categorical Modeling Method, Proof of Concept for the Petri Net LanguageDaniel-Cristian Craciunean. 281-289 [doi]
- DFEAM: Dynamic Feature-oriented Energy-aware Adaptive ModelingFumiya Tanaka, Kenji Hisazumi, Akira Fukuda. 290-297 [doi]
- Towards Automated fUML Model Verification with Petri NetsFrancesco Bedini, Ralph Maschotta, Alexander Wichmann, Armin Zimmermann. 298-306 [doi]
- Conceptual Story Modeling and Model-driven Architecture for Story CreationHongxing Liu, Jiali Sun, Shiyu Wang, Qing Yang, Yonghua Li. 307-314 [doi]
- A Metamodel and Model-based Design Rule Checking DSL for Verification and Validation of Electronic Circuit DesignsAdrian Rumpold, Bernhard Bauer. 315-322 [doi]
- Design Guidelines for Feature Model Construction: Exploring the Relationship between Feature Model Structure and Structural ComplexityXin Zhao, Jeff Gray. 323-331 [doi]
- Towards Applying a Model Driven Approach to Generate Gamified Graphical User InterfacesSarra Roubi. 332-336 [doi]
- A Language-oriented Approach for the Maintenance of Megamodel-based Complex SystemsEl Hadji Bassirou Toure, Ibrahima Fall, Alassane Bah, Mamadou Samba Camara, Mandicou Ba, Ahmad Fall. 337-344 [doi]
- How to Bootstrap a Language WorkbenchAndreas Prinz 0001, Alexander Shatalin. 345-352 [doi]
- OntoIFML: Automatic Generation of Annotated Web Pages from IFML and Ontologies using the MDA Approach: A Case Study of an EMR Management ApplicationNaziha Laaz, Samir Mbarki. 353-361 [doi]
- Using Synchronizing Heuristics to Construct Homing SequencesBerk Çirisci, M. Yusa Emek, Ege Sorguç, Kamer Kaya, Hüsnü Yenigün. 362-369 [doi]
- An Approach to Design Smart Grids and Their IT System by CosimulationDavid Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. 370-377 [doi]
- Bridging XML and UML - An Automated FrameworkArthur Kühlwein, Sebastian Reiter 0003, Wolfgang Rosenstiel, Oliver Bringmann 0001. 378-385 [doi]
- Evaluating OpenCL as a Standard Hardware Abstraction for a Model-based Synthesis Framework: A Case StudyOmair Rafique, Klaus Schneider 0001. 386-393 [doi]
- A Semantic Analysis of Interface Description Models of Heterogeneous Vehicle Application Frameworks: An Approach Towards Synergy ExplorationSangita De, Michael Niklas, Jürgen Mottok, Premek Brada. 394-401 [doi]
- Towards Model-driven Verification of Robot Control Code using Abstract Syntax Trees in Production Systems EngineeringKristof Meixner, Dietmar Winkler 0001, Petr Novák, Stefan Biffl. 402-409 [doi]
- A Practical Medical Experience of Successfully Mixing Model-Driven Paradigm and Business Process Management PrinciplesVirginia Cid-de-la-Paz, Leticia Morales-Trujillo, J. M. Ramos. 410-416 [doi]
- IML: Towards an Instructional Modeling LanguageEric J. Rapos, Matthew Stephan. 417-425 [doi]
- Dataflow-based Heterogeneous Code Generator for IoT ApplicationsGábor Paller, Endri Bezati, Nebojsa Tausan, Gabor Farkas, Gábor Élö. 426-432 [doi]
- A Tool for High-level Modeling of Analog/Mixed Signal Embedded SystemsDaniela Genius, Rodrigo Cortés Porto, Ludovic Apvrille, François Pêcheux. 433-440 [doi]
- Quantity Checking through Unit of Measurement Libraries, Current Status and Future DirectionsSteve McKeever, Görkem Paçaci, Oscar Bennich-Björkman. 441-447 [doi]
- Towards Privacy-aware Software ReuseIris Reinhartz-Berger, Anna Zamansky, Agnes Koschmider. 448-453 [doi]
- Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical PathwaysHadas Lapid, Assaf Marron, Smadar Szekely, David Harel. 454-464 [doi]
- Business Process Modeling Flexibility: A Formal InterpretationAnila Mjeda, Andrew Butterfield, John Noll. 465-472 [doi]
- An Approach for Workflow Improvement based on Outcome and Time Remaining PredictionLuis Galdo Seara, Renata Medeiros de Carvalho. 473-480 [doi]
- Towards Mainstream Multi-level Meta-modelingGergely Mezei, Ferenc A. Somogyi, Zoltán Theisz, Dániel Urbán, Sándor Bácsi. 481-488 [doi]
- IFVM Bridge: A Virtual Machine for IFML Models Execution in Combination with Domain ModelsSara Gotti, Samir Mbarki. 489-494 [doi]
- Application Configuration via UML Instance SpecificationsAnsgar Radermacher, Shuai Li, Matteo Morelli. 495-502 [doi]
- Something is Rotten in the State of Documenting Simulink ModelsVera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford. 503-510 [doi]
- EMFeR: Model Checking for Object Oriented (EMF) ModelsChristoph Eickhoff, Martin Lange, Simon-Lennert Raesch, Albert Zündorf. 511-518 [doi]
- Modelling the Behaviour of Context-aware Systems: State-of-the-Art Analysis and Introduction of a Customized UML ProfilePatrick Rosenberger, Detlef Gerhard, Stefan Dumss. 519-526 [doi]
- Towards Goal-oriented Analysis and Redesign of BPMN ModelsChristophe Ponsard, Robert Darimont. 527-533 [doi]
- Modular Construction of Context-Specific Test Case Migration MethodsIvan Jovanovikj, Enes Yigitbas, Marvin Grieger, Stefan Sauer 0001, Gregor Engels. 534-541 [doi]
- Model Assurance Levels (MALs) for Managing Model-based Engineering (MBE) Development EffortsJulie S. Fant, Robert G. Pettit IV. 542-549 [doi]