MATISSE - Model-Based Engineering of Digital Twins For Early Verification & Validation of Industrial Systems (Horizon-Chips-JU)
Divisions:
Status:
Bridging Function Block Diagrams and Verified Python Code: A Verification-Aware Approach for Programmable Logic Controllers (Oct 2026) Mikael Ebrahimi Salari, Cristina Seceleanu, Eduard Paul Enoiu, Marco Eilers , Alessio Bucaioni, Wasif Afzal
Agentic Model Transformation: Service-Mediated Orchestration for Transformation Development (Oct 2026) Duy Dao, Alessio Bucaioni, Antonio Cicchetti ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS) (MODELS 2026)
Beyond single-run correctness: nondeterminism-aware evaluation of LLM-based model transformations (Oct 2026) Riccardo Rubei, Alessio Bucaioni, Amleto Di Salle ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS) (MODELS 2026)
From Informal to Conformant Models: Benchmarking Vision–Language Models for UML Generation (Oct 2026) Cecilia Eklund , Tom Jonsson , Riccardo Rubei, Alessio Bucaioni MDE Intelligence 2026 (MDEIntel 2026)
Post-Velocity Software Engineering: Assurance Saturation in AI-Enabled Socio-Technical Systems (Sep 2026) Alessio Bucaioni
Change-Aware Round-Trip Benchmarking of LLMs (Aug 2026) Duy Dao, Alessio Bucaioni, Antonio Cicchetti Journal of Systems and Software (JSS)
| Partner | Type |
|---|---|
| RISE Research Institutes of Sweden | Academic |
| Alstom | Industrial |
| CNet Svenska AB | Industrial |
Alessio Bucaioni, Associate Professor
Email: alessio.bucaioni@mdu.seRoom: U1-067
Phone: +46736620711
