Potential contributors are requested to submit only the abstracts as soon as possible, via the submission platform. The submission deadline is extended to July 10th
MoDEVVa 2025
Co-located with MODELS 2025
22nd Workshop on Model Driven Engineering, Verification and Validation (MoDEVVa)
fully virtual
October 5th 2025
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, meta-models, 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.
AI-related topics for V&V activities
Use of Machine Learning (ML) to assist model-based V&V activities (e.g., testing selection, generation and prioritization)
AI-enabled model inspection
AI-enabled frameworks/processes for model-based testing
Current practices/case-studies/experience reports on applying ML-assisted model-based V&V.
Use of MDE and V&V in systems that involve AI components
The proceedings will be published by IEEE. 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.
Submissions must conform to the IEEE formatting instructions.
Finally, IEEE requires the use of ORCIDs. LaTeX users should use the “orcidlink” package, \hypersetup{pdfborder={0 0 0}}, and \orcidlink{XXXX-XXXX-XXXX-XXXX} after each author name.
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=modevva2025.
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 !!
By submitting to MoDeVVa, authors acknowledge that they are aware of and agree to be bound by the IEEE Authors Rights and Responsibilities. In particular, papers submitted to MoDeVVa must not have been published elsewhere and must not be under review or submitted for review elsewhere while under consideration for MoDeVVa.
Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper.
MoDeVVa 2025 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 Paper Submission (both short and long papers): until Thursday, July 3rd, 2025 (extended until Thursday, July 10th)
Lightning Talks abstract submission (with publication): until Thursday, July 3rd, 2025 (extended until Thursday, July 10th)
Notification to authors: Thursday, July 31st, 2025
Final version (Camera Ready): Thursday, August 7th, 2025
Lightning Talks abstract submission (without publication): until Thursday, August 28th, 2025
Workshop: October 5th, 2025
Saad Bin Abid (CARIAD SE/Alten, Germany)
Juergen Dingel (Queen's University, Canada)
Jens Kosiol (Philipps-Universit ̈at Marburg, Germany and Universit ̈at Kassel, Germany)
Rakshit Mittal (University of Antwerp - Flanders Make, Belgium)
Iulian Ober (ISAE-SUPAERO, Université de Toulouse, France)
Ernesto Posse (Lumenix/Zeligsoft, Canada)