default search action
MODELS 2024: Linz, Austria - Companion Proceedings
- Manuel Wimmer, Alexander Egyed, Benoît Combemale, Marsha Chechik:
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS Companion 2024, Linz, Austria, September 22-27, 2024. ACM 2024, ISBN 979-8-4007-0622-6
Tools and Demonstration Track
- Fabian Muff
, Hans-Georg Fill
M2AR: A Web-based Modeling Environment for the Augmented Reality Workflow Modeling Language. 1-5 - Steffen Zschaler
Move your MDE teaching online: The MDENet Education Platform. 6-10 - Dominique Hausler
Nautilus: Implementation of an Evolution Approach for Graph Databases. 11-15 - Victor Lamas
DSL-Xpert: LLM-driven Generic DSL Code Generation. 16-20 - Antonio García-Domínguez
Cross-IDE remote debugging of model management programs through the Debug Adapter Protocol. 21-25 - Pasquale Ardimento
A RAG-based Feedback Tool to Augment UML Class Diagram Learning. 26-30 - Antonio Bucchiarone
PolyGloT-UML: A Gamified Framework for Enhancing UML Learning Paths. 31-35 - Adiel Tuyishime
Enhancing Model Management with Automated REST API Generation. 36-40 - Alexander Boll
SMOKE: Simulink Model Obfuscator Keeping Structure. 41-45 - Lorenzo Bettini
Keeping clients' models up-to-date with Edelta. 46-50 - José Francisco Crespo
IMP-Logics: a metamodel for analysis and transformations of Datalog programs. 51-55 - Avi Shaked
Modelling Tool Extension for Vulnerability Management. 56-60 - Francisco Simões
SCCD Debugger: a Debugger for Statecharts and Class Diagrams. 61-65 - Jerry Hou-Liu
Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing. 66-70 - Josselin Enet
dpDebugger: a Domain-Parametric Debugger for DSLs Using DAP and Language Protocols. 71-75
POSTER SESSION: Posters Track
- Stefan Schöberl
CertGraph: Towards a Comprehensive Knowledge Graph for Cloud Security Certifications. 76-77
Educators Symposium
- Antonio Bucchiarone
Designing and Generating Lesson Plans combining Open Educational Content and Generative AI. 78-86 - Kua Chen
Embedding-based Automated Assessment of Domain Models. 87-94 - Markus Hamann
Towards an Interoperable Model-driven Automated Assessment System for Computer Science Education. 95-102 - Pasquale Ardimento
Enhancing Software Modeling Learning with AI-Powered Scaffolding. 103-106 - Pierre Maier
UML++: Enhancing Student Learning of Object-Oriented Modeling through Executable Objects. 107-114 - Lukas Netz
Using Grammar Masking to Ensure Syntactic Validity in LLM-based Modeling Tasks. 115-122
Doctoral Symposium
- Dominique Hausler
Estimation, Impact and Visualization of Schema Evolution in Graph Databases. 123-129 - Jonathan Silva Mercado
AI Assisted Domain Modeling Explainability and Traceability. 130-135 - Marcel Weller
Automated Synchronization of Enterprise Architecture Models with Deployment Models. 136-141 - Máté Földiák
Probabilistic Graph Queries for Design Space Exploration Under Uncertainty. 142-148 - Alexandre Monnier Weil
Ensuring the consistency of information between two versions of a mechanical drawing. 149-154 - Willem Meijer
Contract-based Validation of Conceptual Design Bugs for Engineering Complex Machine Learning Software. 155-161 - Lina Bilal
Automating Digital Twins Development in Industry 4.0. 162-167 - Rickson Simioni Pereira
Automated Generation and Configuration of Domain-Specific Recommender Systems. 168-173 - Théo Giraudet
Interactivity and Collaboration in the Context of Heterogeneous Modeling. 174-179
ACM Student Research Competition
- Cyrus Nejat
Space System Modeling Approach for Exploring of the Iced-Covered Ganymede Moon Subsurface Oceans. 180-183 - Nirmal Chaudhari
Pipelines Have Feelings Too: A Structured Way To Design CI/CD Pipelines. 184-187 - Meriem Ben Chaaben
Software Modeling Assistance with Large Language Models. 188-191 - Kyanna Dagenais
Towards Model Repair by Human Opinion-Guided Reinforcement Learning. 192-195 - Pascal Archambault
Co-simulation and Crop Representation for Digital Twins of Controlled Environment Agriculture Systems. 196-199 - Joshua Tetteh Ocansey
Enhanced Interoperability and Consistency in Heterogeneous Systems with CorrLang and OpenAPI. 200-203 - Josselin Enet
Language Protocols for Domain-Specific Debugging. 204-207
16th System Analysis and Modelling Conference (SAM)
- Emmanuel Gaudin
Experimenting low code with SDL and BPMN. 208-215 - Fabian Giertzsch
Towards a Model-Based Systems Engineering Framework for the Design and Configuration of Communication Networks in a Data-Driven and Interconnected Aircraft Cabin. 216-226 - Zaheed Ahmed
Exploring the Fundamentals of Mutations in Deep Neural Networks. 227-233 - Bianca Wiesmayr
Modeling Service Choreographies and Collaborative Tasks for Autonomous Mixed-Fleet Systems. 234-244 - Carina Bieber
AI-based User Emotion Recognition from Interaction Data: Challenges and Guidelines for Training Data Creation. 245-252 - Vaishali Siddeshwar
A Comparative Study of Large Language Models for Goal Model Extraction. 253-263 - Manas Manoj Bedekar
A Multi-Platform Specification Language and Dataset for the Analysis of DevOps Pipelines. 264-274 - Federico Bonetti
Digital Twins of Socio-Technical Ecosystems to Drive Societal Change. 275-286 - Johan Cederbladh
Extending MagicGrid to Support Virtual Prototyping for Early System Performance Validation and Verification. 287-298 - Johan Cederbladh
Automation Support for System Simulation and Architecture Layout Design in Cyber-Physical Systems Engineering. 299-310 - Ármin Zavada
From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics. 311-317
1st International Conference on Engineering Digital Twins (EDTconf)
- Fady Salama
HoloWoT: A First Step Towards Mixed Reality Digital Twins for the Industrial Internet of Things. 318-321 - Vinicius Kreischer de Almeida
A Digital Twin System for Oil And Gas Industry: A Use Case on Mooring Lines Integrity Monitoring. 322-331 - Samuele Burattini
Towards Linked Data for Ecosystems of Digital Twins. 332-337 - Taylor Riché
Managing Digital Twins of The Test Lab with SystemLink Software. 338-341 - Pascal Archambault
A Modeling Methodology for Crop Representation in Digital Twins for Smart Farming. 342-352 - Eduard Kamburjan
Declarative Lifecycle Management in Digital Twins. 353-363 - Giordano d'Aloisio
Engineering a Digital Twin for Diagnosis and Treatment of Multiple Sclerosis. 364-369 - Guodong Shao
Manufacturing Digital Twin Standards. 370-377 - Jean-Marc Maree
Opportunities for Digital Twins for the Provisioning, Management and Monitoring of Heterogeneous IoT Devices. 378-389 - Rene Honcak
An MBSE approach for Virtual Verification & Validation of Systems with Digital Twins. 390-400 - Xiaoran Liu
AI Simulation by Digital Twins: Systematic Survey of the State of the Art and a Reference Framework. 401-412 - Lior Skoury
Digital twin architecture for the AEC Industry : A case study in collective robotic construction. 413-418 - Faima Abbasi
Understanding Semantic Drift in Model Driven Digital Twins. 419-430 - Ryno Visser
An Architecture for the Integration of Product and Production Digital Twins in the Automotive Industry. 431-441 - Jean-Marc Maree
A Digital Twin Architecture for the Provisioning, Management, and Monitoring of Heterogenous IoT Devices. 442-452 - Gwendal G. Beaumont
Towards Re-Engineering Digital Twins: Preliminary Experiments on Three Use Cases. 453-458 - Lionel Protin
Practical design and implementation of an augmented reality based digital twin. 459-463 - Bentley J. Oakes
Towards Ontological Service-Driven Engineering of Digital Twins. 464-469 - Christoph Walter
Digital Twins to drive Robot-based Disassembly Applications: Asset Models for Autonomous Planning. 470-475 - Andrea Giulianelli
Engineering Interoperable Ecosystems of Digital Twins: A Web-based Approach. 476-485 - Ireoluwa Akinlolu Fakeye
Towards A Framework For Farm Scale Digital Twin. 486-491 - François Fouquet
GreyCat: A Framework to Develop Digital Twins at Large Scale. 492-495 - Sara Aissat
JuNo-OPS: A DevOps Framework for the Engineering of Digital Twins for Built Assets. 496-506 - Paula Muñoz
Towards Measuring Digital Twins Fidelity at Runtime. 507-512
1st International Workshop on Sustainability and Modeling (SusMod)
- Amleto Di Salle
Waste Management Through Digital Twins and Business Process Modeling. 513-517 - Léa Brunschwig
Cross-Detection of Mobile-specific Energy Hotspots: MBSE to the Rescue. 518-522 - Tiago Sousa
Model-Driven Software Product Line Engineering of AI-Based Applications for Achieving Sustainable Development Goals: Vision Paper. 523-527 - Gabriel Morais
Breaking Down Barriers: Building Sustainable Microservices Architectures with Model-Driven Engineering. 528-532
6th Workshop on Artificial Intelligence and Model-Driven Engineering (MDE Intelligence)
- Evin Aslan Oguz
A Comparative Analysis of ChatGPT-Generated and Human-Written Use Case Descriptions. 533-540 - My M. Mosthaf
From a Natural to a Formal Language with DSL Assistant. 541-549 - Thomas Buchmann
Prompting Bidirectional Model Transformations - The Good, The Bad and The Ugly. 550-555 - Thomas Buchmann
White-box LLM-supported Low-code Engineering: A Vision and First Insights. 556-560 - Alan Birchler De Allende
From Attack Trees to Attack-Defense Trees with Generative AI & Natural Language Processing. 561-569 - Joel Charles
Teaching Model-Driven Low-Code Development Platforms. 570-577 - Lola Burgueño
A Human Behavior Exploration Approach Using LLMs for Cyber-Physical Systems. 578-586 - Yujing Yang
Multi-step Iterative Automated Domain Modeling with Large Language Models. 587-595 - Claudio Di Sipio
On the use of LLMs to support the development of domain-specific modeling languages. 596-601 - Susanne Göbel
Model-Based Trust Analysis of LLM Conversations. 602-610 - Mirza Rehenuma Tabassum
Using LLMs for Use Case Modelling of IoT Systems: An Experience Report. 611-619
International Workshop on Collaborative and Participatory Modeling (CoPaMo)
- Sebastian Bergemann
Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators. 620-629 - Harald Störrle
Engaging End-User-Modelers: An Action Research Study. 630-639 - Sebastian Hahner
ARC3N: A Collaborative Uncertainty Catalog to Address the Awareness Problem of Model-Based Confidentiality Analysis. 640-644 - Rajitha Manellanga
Participatory and Collaborative Modeling of Sustainable Systems: A Systematic Review. 645-654 - Luciano Marchezan
A Tool for Collaborative Consistency Checking During Modeling. 655-659 - Arianna Fedeli
Towards a collaborative approach for Digital Twin simulation models comprehension. 660-664 - Robbert Jongeling
Towards public understanding of software through modeling. 665-669 - Henrik Gustavsson
Towards Model-Based Adoption for Requirements Elicitation in Railway - the Role of Collaborative and Participatory Modelling. 670-674 - Steven Kelly
New UX for Participatory Modeling. 675-679 - Malvina Latifaj
Towards Active Participation of Domain Experts in Modeling Language Evolution. 680-684 - Chaimae Asaad
Bridging the Gap: Participatory Modeling for Stakeholder-Driven NoSQL Database Design. 685-689
WORKSHOP SESSION: Workshop on Modeling in Automotive System and Software Engineering (MASE'24)
- Philip Ochs
Consistency Is Key: Can Your Product Line Realise What It Models? 690-699 - Maksym Labzhaniia
Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles. 700-709 - Harald Störrle
Industrial Adoption of MDE for Embedded Control Software: A Qualitative Inquiry in the German Automotive Industry. 710-719 - Ali Raeisdanaei
Evaluation of Automotive OTA Updates Using Assurance Cases. 720-724 - Thomas Chiang
A Tool For Feature-Requirement Traceability Using Requirement Canvas and Encapsulation. 725-734 - Nick Polanco
Socio-technical Automotive Security Design Patterns: Applying a Stakeholder-Based Approach to Securing Self-Driving Vehicles. 735-744
3rd International Workshop on Foundations and Practice of Visual Modeling
- Fazle Rabbi
A Model-Based Framework for Exploring Conflict Dynamics. 745-754 - Alfonso de la Vega
Timeline exploration of model differences in source code repositories through graphical and textual views. 755-759
11th International Workshop on Multi-Level Modeling (MULTI 2024)
- Thomas Weber
Towards Deep Reactions in Multi-Level, Multi-View Modeling. 760-769 - Georg Hinkel
Modeling a Warehouse system using refinements and decomposition: A contribution to the MULTI Warehouse challenge. 770-779 - Ulrich Frank
Associaton Types: Motivation, Specification and Implementation with the XModelerML. 780-789 - Gergely Mezei
Multi-Level Modeling with DMLA: A Contribution to the MULTI Warehouse Challenge. 790-799 - Thomas Kühne
FMMLx and DLM - A Contribution to the MULTI Collaborative Comparison Challenge. 800-809 - Colin Atkinson
Misconceptions about Potency-Based Deep Instantiation. 810-817 - Mira Balaban
Mediation-Based MLM in USE. 818-827 - Yuhong Fu
Modelling a Warehouse with SLICER: A Contribution to the MULTI Warehouse Challenge. 828-837
WORKSHOP SESSION: Workshop on Low-Code Development Platforms (LowCode)
- Atefeh Nirumand Jazi
Low-Code Flutter Application Development Solution. 838-847 - Roy Kakkenberg
Arvisan: an Interactive Tool for Visualisation and Analysis of Low-Code Architecture Landscapes. 848-855 - Till Guthardt
Low-code vs. the developer: An empirical study on the developer experience and efficiency of a no-code platform. 856-865 - Anne-Kathrin Hermann
Towards Integrating Low-Code in View-based Development. 866-875 - Nathan Hagel
Turning Low-Code Development Platforms into True No-Code with LLMs. 876-885 - Gayane Sedrakyan
Towards LowDevSecOps Framework for Low-Code Development: Integrating Process-Oriented Recommendations for Security Risk Management. 886-894 - Antonio Bucchiarone
PromptDeck: A No-Code Platform for Modular Prompt Engineering. 895-904 - Jean-Marie Mottu
Emerging New Roles for Low-Code Software Development Platforms. 905-914
WORKSHOP SESSION: Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS)
- Kevin Feichtinger
Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering. 915-919 - Kyanna Dagenais
Driving Requirements Evolution by Engineers' Opinions. 920-929 - Johan Cederbladh
How does one Model Appropriately in Systems Engineering? An Initial Conceptual Model Framing Model Appropriateness. 930-934 - Bárbara da Silva Oliveira
Towards Leveraging the Concept of Influence to Enhance Collaborative Cyber-Physical Systems Development. 935-944
First International Workshop on Model Management (MoM)
- Hafiyyan Sayyid Fadhlillah
Managing Variability of Cyber-Physical Production Systems: Towards Consistency Management. 945-949 - Anthony Anjorin
Benchmarx 2.0: A Benchmark for Concurrent Model Synchronisation Approaches. 950-959 - Felipe A. C. Xavier
Rapid interface generation method for heterogeneous models in Digital twins. 960-969 - Ionut Predoaia
Towards Processing YAML Documents with Model Management Languages. 970-979 - Alessio Di Sandro
From Products to Product Lines: a Model-based Methodology. 980-989 - Moussa Amrani
A Survey of Federative Approaches for Model Management in MBSE. 990-999 - Joeri Exelmans
A Virtual Global Monorepo of Immutable Linked Data. 1000-1004 - Yara Hallak
Model Management at Renault Virtual Simulation Team: State of Practice, Challenges and Research Directions. 1005-1014 - Alireza Khalilipour
Towards Intelligent Model Management: An Exploratory Study and Road-mapping. 1015-1024
WORKSHOP SESSION: Workshop on Models and Evolution (ME) 2024
- Alexandre Lachance
Building deduplicated model repositories to assess domain-specific languages evolution. 1025-1034 - Konstantin Rupert Blaschke
Towards the Estimation of Quality Attributes on System Model Histories. 1035-1040 - Zahra Fiyouzisabah
Towards Rapid Design of Compartmental Models. 1041-1045 - Karl Kegel
A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis. 1046-1055 - Patrik Meijer
Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework. 1056-1060 - Judith Michael
Digital Twin Evolution for Sustainable Smart Ecosystems. 1061-1065
WORKSHOP SESSION: Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa)
- Bernhard Rumpe
Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL. 1066-1075 - Burak Karaduman
Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques. 1076-1085 - Vince Molnár
Towards the Formal Verification of SysML v2 Models. 1086-1095 - Frederik Reiche
Consistency Management for Security Annotations for Continuous Verification. 1096-1105 - Ankit Jha
Verifying UML Models Annotated with OCL Strings. 1106-1110 - Léna Bamouh
Towards Model-Driven Test Case Concretization for End-to-end Combinatorial Testing. 1111-1120 - Kevin Lano
Using OCL for verified re-engineering. 1121-1130 - Andreas Waldvogel
Model-based Block Diagram Recognition for Model Visualization Verification. 1131-1140
WORKSHOP SESSION: Workshop on Modeling Language Engineering (MLE)
- Mario Fuksa
ALFI: Action Language for Foundational UML as an Intermediate Language for Model Transformations in JetBrains MPS. 1141-1145 - Horacio Hoyos Rodriguez
Towards Model Product Lines: Composition of EMF Models. 1146-1155 - Ionut Predoaia
Hybrid Graphical-Textual DSL Editors: Vision, Requirements and Challenges. 1156-1160 - Nico Jansen
A Synopsis on Import Statements in Modeling Languages. 1161-1169 - Marcus Gerhold
Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design. 1170-1179 - Thomas Chiang
Mapping Requirements to Features to Create Traceability in Product Line Models. 1180-1187
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-27 21:13 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: