Table of Contents

• The Lost Art of Software Architecture ModellingSimon Brown. 5
• Model-based Development and Assurance of Learning-enabled Cyber-Physical SystemsGabor Karsai. 7
• Rigorous Modelling of Quantities for Model-Based Systems EngineeringHans-Peter de Koning. 9
• Integrating Security Protocols in Scenario-based Requirements SpecificationsThorsten Koch, Sascha Trippel, Stefan Dziwok, Eric Bodden. 15-25 [doi]
• Modeling Context-aware Systems: A Conceptualized FrameworkAchiya Elyasaf, Arnon Sturm. 26-35 [doi]
• A Model-based System Engineering Plugin for Safety Architecture Pattern SynthesisYuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev. 36-47 [doi]
• Safety, Security and Performance Assessment of Security Countermeasures with SysML-SecBastien Sultan, Ludovic Apvrille, Philippe Jaillon. 48-60 [doi]
• Extraction Process of the Logical Schema of a Document-oriented NoSQL DatabaseFatma Abdelhédi, Hela Rajhi, Gilles Zurfluh. 61-71 [doi]
• Towards a MaaS Service for Cloud Service InteroperabilityNour El Houda Bouzerzour, Yahya Slimani. 72-83 [doi]
• Code Generation by ExampleKevin Lano, Qiaomu Xue. 84-92 [doi]
• MDD4REST: Model-Driven Methodology for Developing RESTful Web ServicesAmirhossein Deljouyi, Raman Ramsin. 93-104 [doi]
• Discerning Quantities from Units of MeasurementSteve McKeever. 105-115 [doi]
• The Problem with 'Dimensionless Quantities'Blair D. Hall. 116-125 [doi]
• Text-To-Model (TeToMo) Transformation Framework to Support Requirements Analysis and ModelingGayane Sedrakyan, Asad Abdi, Stéphanie M. van den Berg, Bernard P. Veldkamp, Jos van Hillegersberg. 129-136 [doi]
• Transforming Domain Specific Modeling Languages into Feature ModelsMaouaheb Belarbi, Vincent Englebert. 137-146 [doi]
• Semi-automatic Integrated Safety and Security Analysis for Automotive SystemsMarkus Fockel, David Schubert, Roman Trentinaglia, Hannes Schulz, Wolfgang Kirmair. 147-154 [doi]
• Universal Safety Format: Automated Safety Software GenerationFrederik Haxel, Alexander Viehl, Michael Benkel, Bjoern Beyreuther, Klaus Birken, Rolf Schmedes, Kim Grüttner, Daniel Mueller-Gritschneder. 155-166 [doi]
• Modeling of Intralogistic Processes for the Implementation of Warehouse Management SystemsMarkus Rabe 0001, Felix Stadler. 167-173 [doi]
• SysML Models Verification Relying on Dependency GraphsLudovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino. 174-181 [doi]
• Verifiable Executable Models for Decomposable Real-time SystemsCallum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel. 182-193 [doi]
• Ontology-based Detection of Inconsistencies in UML/OCL ModelsShan Lu 0012, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith. 194-202 [doi]
• Formal Scenario-driven Logical Spaces for Randomized Synthetic Data GenerationOsama Maqbool, Jürgen Roßmann. 203-210 [doi]
• Use of Compiler Intermediate Representation for Reverse Engineering: A Case Study for GCC Compiler and UML Activity DiagramRania Mzid, Asma Charfi, Nejmeddine Etteyeb. 211-218 [doi]
• A Method for Detecting Common Weaknesses in Self-Sovereign Identity Systems Using Domain-Specific Models and Knowledge GraphCharnon Pattiyanon, Toshiaki Aoki, Daisuke Ishii. 219-226 [doi]
• From Monolithic Models to Agile MicromodelsSebastian Copei, Christoph Eickhoff, Adam Malik, Natascha Nolte, Ulrich Norbisrath, Jonas Sorgalla, Jens H. Weber, Albert Zündorf. 227-233 [doi]
• Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based ModelMasamichi Kakeshita, Kenji Hisazumi, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto. 234-241 [doi]
• Experimental Comparison of Two Goal-oriented Analysis TechniquesCarlos Cano-Genoves, Silvia Abrahão, Emilio Insfrán. 242-251 [doi]
• Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance CasesFang Yan, Simon Foster 0001, Ibrahim Habli, Ran Wei. 252-263 [doi]
• Model-driven Engineering and Simulation of Industrial Robots with ROSNiels Hoppe, Jan Hoffschulte. 264-270 [doi]
• Approach to Reference Models for Building Performance SimulationSahil-Jai Arora, Clara Ceccolini, Markus Rabe 0001. 271-278 [doi]
• Automated Curation of Variational Data in NoSQL Databases through Metric-driven Self-adaptive Migration StrategiesAndrea Hillenbrand, Uta Störl. 279-286 [doi]
• Towards a Goal-oriented Method for Software Solutions PrioritizationPrisca Petelo, Abderrahmane Leshob, Imen Benzarti, Hafedh Mili. 287-293 [doi]
• Automatic Code Generation for a Seamless Low-cost Development PlatformSven Jacobitz, Xiaobo Liu-Henke. 294-301 [doi]
• Historical Knowledge Modelling and Analysis through Ontologies and Timeline Extraction Operators: Application to Computing HeritageChristophe Ponsard, Aurélien Masson, Ward Desmet. 302-309 [doi]
• Scenario-assisted Deep Reinforcement LearningRaz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron. 310-319 [doi]
• Towards a Lightweight Model-driven Smart-city Digital TwinJean-Sébastien Sottet, Pierre Brimont, Christophe Feltus, Benjamin Gâteau, Jean François Merche. 320-327 [doi]
• SHORE: A Model-driven Approach That Combines Goal, Semantic and Variability Models for Smart HOme self-REconfigurationDenisse Muñante, Bruno Traverson, Sophie Chabridon, Amel Bouzeghoub. 328-335 [doi]
• Towards Model-driven Fuzzification of Adaptive Systems SpecificationTomás Bures, Petr Hnetynka, Martin Krulis, Jan Pacovský. 336-343 [doi]
• Classification Scheme for the Concrete Syntax of Graph-like Modeling Languages for Layout Algorithm ReuseGregor Wrobel, Robert Scheffler. 344-351 [doi]
• Towards Model Transformation with Structural Level-spanning PatternsSándor Bácsi, Gergely Mezei. 352-357 [doi]
• The Challenges of Defining and Parsing Multi-Layer DMLA ModelsNorbert Somogyi, Gergely Mezei. 358-363 [doi]
• Value Creation Patterns for Industry-relevant Model-based Cyber-Physical SystemsNicolas C. Egger, Emanuele Laurenzi. 364-370 [doi]
• UgameFeature: Automatic Code Generation for Unity Game ProjectsJoshua Kritz, Mart de Roos, Luís Ferreira Pires, João Luiz Rebelo Moreira, Giancarlo Guizzardi. 371-378 [doi]
• Platform-independent Specifications for Robotic Process Automation ApplicationsCarlos Jorge Martelo Correia, Alberto Rodrigues da Silva. 379-386 [doi]
• Model to Hardware: System-level Modeling for Wearable DevicesDaniela Genius, Roselyne Chotin. 387-394 [doi]
• AI-guided Model-Driven Embedded Software EngineeringPadma Iyenghar, Friedrich Otte, Elke Pulvermüller. 395-404 [doi]