Potential contributors are requested to submit only the abstracts as soon as possible, via the submission platform.
MoDeVVa 2026
Co-located with MODELS 2026
23rd Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa)
October 5th 2026
Models are purposeful abstractions of systems and their environments. They can be used to understand, simulate, and validate complex systems at different abstraction levels. Model-Based Systems Engineering (MBSE) is the predominant paradigm used in many industries to capture system requirements, design, analysis and support verification and validation activities throughout the life cycle of complex systems. In the software industry, Model-Driven Engineering (MDE) is a development methodology that is based on models, metamodels, and model transformations.
The shift from code-centric software development to model-centric software development in MDE opens up promising opportunities for the verification and validation (V&V) of software. On the other hand, the growing complexity of models and model transformations requires efficient V&V techniques in the context of MBSE and MDE.
The workshop on Model Driven Engineering, Verification and Validation (MoDeVVa) offers a forum for researchers and practitioners who are working on V&V, MBSE and MDE. The main goals of the workshop are to identify, investigate, and discuss emerging research in the mutual impacts of model-based engineering and V&V. The major questions of interest in MoDeVVa revolve around the possible overlaps and mutual benefits of MDE and V&V: How can MDE improve V&V? How can V&V increase the reliability of MDE?
We welcome contributions in all areas at the intersection of MBSE/MDE and V&V. Papers addressing the following topics are particularly welcome:
V&V in MBSE/MDE
Theoretical frameworks and approaches for integration of V&V in MBSE/MDE.
Formalisms and theories for the specification and verification of models.
Formal approaches to models, modeling languages, including DSMLs and MDE in general.
Modeling relations for checking model conformance and/or refinement.
The application and combination of different V&V techniques (e.g., classical testing, static analysis, model checking, deductive approaches, runtime verification) to MBSE/MDE artifacts.
V&V in ''lightweight'' modeling environments that do not use explicit metamodeling or heavy modeling infrastructures
MDE in V&V, Certification, and Quality Assurance
Use of MDE abstractions (models, metamodels, model transformations) in V&V tasks.
Use of model-evolution approaches to enable incremental V&V.
Industrial case studies for application of MDE for quality assurance.
Model-based process engineering to acquire certification.
Process engineering to support V&V activities.
Tools, usability, and applications
Integration between modeling tools, IDEs and V&V back-ends.
Innovative approaches for model-based V&V of ''real-world'' systems.
Tools and techniques that help reduce the semantic gap between models and back-end formalisms used in V&V tasks.
Case studies and applications of V&V in MBSE/MDE.
Application of MDE+V&V to different domains such as cyberphysical systems, distributed, real-time, embedded systems, stochastic systems, IoT, digital twins, AI and machine learning models, etc.
Integration of MDE+V&V with different types of analysis such as sensitivity analysis, test-case generation, run-time verification, validity frames, simulation, etc.
The proceedings will be published by ACM. The length limitation for short papers is five (5) pages including references, and for full papers ten (10) pages including references. The papers should follow the same formatting instructions used for the MODELS main track, available here for both LaTeX and Word users.
MoDeVVa will use a single-blind/single-anonymous review process.
All submissions must be in PDF format. The page limit is strict; it will not be possible to purchase additional pages at any stage of the process.
Formatting instructions are available at https://www.acm.org/publications/proceedings-template for both LaTeX and Word users.
LaTeX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, enable the conference format in the preamble of the document (i.e., \documentclass[sigconf,review]{acmart}), and use the ACM reference format for the bibliography (i.e., \bibliographystyle{ACM-Reference-Format}). The review option adds line numbers, thereby allowing referees to refer to specific lines in their comments.
Please contact the Program Chairs if you have any questions about the submission process.
Papers should be submitted via EasyChair at https://easychair.org/conferences?conf=modevva2026.
We invite 'lightning talks' in all areas of emerging interest to the MoDeVVa community with a special focus on currently 'hot' topics (for example, V&V with/of Generative AI) for the planned discussion session. Content-wise, your lightning talk may advertise a research agenda, call for collaboration, report on ongoing work, voice concerns, or report practical experiences. The goal is that the lightning talks serve as starting point for a discussion.
Each lightning talk will last 5 - 10 mins (with stricter times if a high number of lightning talk proposals are submitted).
Potential speakers are requested to submit a (max) 2-page abstract of their talk.
Speakers are free to chose whether they want their abstracts to be published with the workshop proceedings (if they want to do so, they should submit by the full/short paper submission deadline) or not (in which case, they can submit until the later deadline).
We are pleased to announce that the best papers from MoDeVVa and the SAM Conference will be invited to submit extended versions jointly published in a special issue of Innovations in Systems and Software Engineering: a NASA Journal (ISSE) published by Springer Nature !!
Authors acknowledge that they are aware of and agree to be bound by the ACM Policy and Procedures on Plagiarism. In particular, papers submitted to MoDeVVa 2026 must not have been published elsewhere and must not be under review or submitted for review elsewhere while under consideration for MoDeVVa 2026.
By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM’s new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.
Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors.
Important update on ACMs new open access publishing model for 2026 ACM Conferences
Starting January 1, 2026, ACM will fully transition to Open Access. All ACM publications, including those from ACM-sponsored conferences, will be 100% Open Access. Authors will have two primary options for publishing Open Access articles with ACM: the ACM Open institutional model or by paying Article Processing Charges (APCs). With over 2,600 institutions already part of ACM Open, the majority of ACM-sponsored conference papers will not require APCs from authors or conferences (currently, around 76%).
Authors from institutions not participating in ACM Open will need to pay an APC to publish their papers, unless they qualify for a financial waiver. To find out whether an APC applies to your article, please consult the list of participating institutions in ACM Open and review the https://www.acm.org/publications/policies/policy-on-discretionary-open-access-apc-waivers. Keep in mind that waivers are rare and are granted based on specific criteria set by ACM.
Understanding that this change could present financial challenges, ACM has approved a temporary subsidy for 2026 to ease the transition and allow more time for institutions to join ACM Open. The subsidy will offer:
$250 APC for ACM/SIG members
$350 for non-members
MoDeVVa 2026 will include an opening keynote, paper presentations and the last session of the day will be dedicated to discussions on the topics presented with the goal of identifying common themes, interesting problems and shared interests and hopefully propose avenues for future research. We anticipate an enjoyable and exciting event where all participants will leave with answers or well-founded doubts on MDE and V&V.
Full Papers Submission (both short and long papers) : until Friday, July 3rd, 2026
Notification to authors : Friday, July 31st, 2026
Final version (Camera Ready): until Friday, August 14th, 2026
Lightning Talks abstract submission (without publication) : until Thursday, August 28th, 2026
Workshop Date: TBA (between Sunday, October 4th and Tuesday, October 6th, 2026)
Saad Bin Abid (CARIAD SE/Alten, Germany)
Juergen Dingel (Queen's University, Canada)
Rakshit Mittal (University of Antwerp - Flanders Make, Belgium)
Iulian Ober (ISAE-SUPAERO, Université de Toulouse, France)
Ernesto Posse (Lumenix/Zeligsoft, Canada)