MATISSE - Model-Based Engineering of Digital Twins For Early Verification & Validation of Industrial Systems (Horizon-Chips-JU)
Divisions:
Status:
Engineering Future Critical CPSs with Trustworthy GenAI Across the Lifecycle (Apr 2026) Alessio Bucaioni, Antonio Cicchetti, Gordana Dodig-Crnkovic, Romina Spalazzese , Emma Söderberg , Dániel Varró 48th IEEE/ACM International Conference on Software Engineering (ICSE 2026)
Technical Credit: Industry Views on Benefits and Barriers (Apr 2026) Alessio Bucaioni, Ian Gorton , Patrizio Pelliccione 48th IEEE/ACM International Conference on Software Engineering (ICSE 2026)
A Verification-Aware Pipeline for Programmable Logic Controllers: From Function Block Diagrams to Verified Python Code (Dec 2025) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Cristina Seceleanu, Marco Eilers , Alessio Bucaioni, Wasif Afzal Mälardalen Real-Time Research Centre 2025 (MRTC 2025)
From Engineering Models to Digital Twins: Generating AAS from SysML v2 Models (Nov 2025) Enxhi Ferko, Luca Berardinelli , Alessio Bucaioni, Moris Behnam, Manuel Wimmer Journal of Systems and Software (JSS)
A Checklist of Quality Concerns for Architecting ML-Intensive Systems (Oct 2025) Alessio Bucaioni, Rick Kazman , Patrizio Pelliccione Journal of Systems and Software (JSS)
Learning to Transform: Evaluating LLMs on Model Transformation by Example (Oct 2025) Duy Dao, Alessio Bucaioni, Antonio Cicchetti MDE Intelligence 2025 (MDE Int 25)
| Partner | Type |
|---|---|
| RISE Research Institutes of Sweden | Academic |
| Alstom | Industrial |
| CNet Svenska AB | Industrial |
