default search action
22nd MODELS 2019: Munich, Germany
- Marouane Kessentini, Tao Yue, Alexander Pretschner, Sebastian Voss, Loli Burgueño:
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019. IEEE 2019, ISBN 978-1-7281-2536-7
Data Quality and Security
- Damiano Torre, Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand, Yuri Auffinger, Peter Goes:
Using Models to Enable Compliance Checking Against the GDPR: An Experience Report. 1-11 - Gopi Krishnan Rajbahadur, Gustavo Ansaldi Oliva, Ahmed E. Hassan, Juergen Dingel:
Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines. 12-22 - Sven Peldszus, Katja Tuma, Daniel Strüber, Jan Jürjens, Riccardo Scandariato:
Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings. 23-33
Design and Development
- Antonio Bucchiarone, Antonio Cicchetti, Annapaola Marconi:
Exploiting Multi-level Modelling for Designing and Deploying Gameful Systems. 34-44 - Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi:
Model-Driven Design of City Spaces via Bidirectional Transformations. 45-55 - Dennis Priefer, Peter Kneisel, Wolf Rost, Daniel Strüber, Gabriele Taentzer:
Applying MDD in the Content Management System Domain: Scenarios and Empirical Assessment. 56-66
Testing
- Muhammad Zohaib Iqbal, Hassan Sartaj, Muhammad Uzair Khan, Fitash Ul Haq, Ifrah Qaisar:
A Model-Based Testing Approach for Cockpit Display Systems of Avionics. 67-77 - Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara:
Towards Effective Mutation Testing for ATL. 78-88 - István Majzik, Oszkár Semeráth, Csaba Hajdu, Kristóf Marussy, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró:
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. 89-94
Artifact Generation
- Nadia Hammoudeh Garcia, Ludovic Delval, Mathias Lüdtke, André Santos, Björn Kahl, Mirko Bordignon:
Bootstrapping MDE Development from ROS Manual Code - Part 2: Model Generation. 95-105 - Alexandru Burdusel, Steffen Zschaler, Stefan John:
Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering. 106-116
Architecture Analysis
- Sam Procter, Lutz Wrage:
Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping. 117-127 - Philipp Obergfell, Stefan Kugele, Eric Sax:
Model-Based Resource Analysis and Synthesis of Service-Oriented Automotive Software Architectures. 128-138 - Assylbek Jumagaliyev, Yehia Elkhatib:
A Modelling Language to Support the Evolution of Multi-tenant Cloud Data Architectures. 139-149
Model Execution
- Erwan Bousse, Manuel Wimmer:
Domain-Level Observation and Control for Compiled Executable DSLs. 150-160
Formal Verification and Static Analysis
- Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy:
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. 161-171
Modeling Environment
- Brice Morin, Nicolas Ferry:
Model-Based, Platform-Independent Logging for Heterogeneous Targets. 172-182 - Parsa Pourali, Joanne M. Atlee:
A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models. 183-193 - Antonio García-Domínguez, Nelly Bencomo, Juan Marcelo Parra Ullauri, Luis Hernán García Paucar:
Querying and Annotating Model Histories with Time-Aware Patterns. 194-204
System Modeling
- Beatriz Sánchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige:
On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models. 205-215
Runtime Models
- Nelly Bencomo, Luis Hernán García Paucar:
RaM: Causally-Connected and Requirements-Aware Runtime Models using Bayesian Learning. 216-226 - Thomas Brand, Holger Giese:
Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances. 227-232 - Márton Búr, Dániel Varró:
Towards WCET Estimation of Graph Queries@Run.time. 233-238
Requirements Modeling and Analysis
- Mauricio Alférez, Fabrizio Pastore, Mehrdad Sabetzadeh, Lionel C. Briand, Jean-Richard Riccardi:
Bridging the Gap between Requirements Modeling and Behavior-Driven Development. 239-249 - César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai:
CONDEnSe: Contract Based Design Synthesis. 250-260 - Byron DeVries, Betty H. C. Cheng:
Goal-Based Modeling and Analysis of Non-Functional Requirements. 261-271
Modeling and ML
- Phuong Thanh Nguyen, Juri Di Rocco, Davide Di Ruscio, Alfonso Pierantonio, Ludovico Iovino:
Automated Classification of Metamodel Repositories: A Machine Learning Approach. 272-282 - Evgeny Kusmenko, Sebastian Nickels, Svetlana Pavlitskaya, Bernhard Rumpe, Thomas Timmermanns:
Modeling and Training of Neural Processing Systems. 283-293 - Loli Burgueño, Jordi Cabot, Sébastien Gérard:
An LSTM-Based Neural Network Architecture for Model Transformations. 294-299 - Thomas Hartmann, Assaad Moawad, Cedric Schockaert, François Fouquet, Yves Le Traon:
Meta-Modelling Meta-Learning. 300-305
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.