Antonio Cicchetti, Associate Professor

I am Associate Professor at Mälardalen University in Västerås (Sweden). My interests include MDE, model versioning, metamodeling, model transformations and weaving, generative techniques in Web engineering and methodologies for Web development. I have got my Ph.D in Computer Science in 2008 at the Computer Science Department of the University of LAquila with the thesis entiltled "Difference Representation and Conflict Management in Model-Driven Engineering". Currently, I am investigating several issues related to model versioning, as model repositories, model co-evolution and synchronization. Moreover, I am working on the application of MDE techniques to the component-based development field, with respect to system modelling, generation of code, and Verification&Validation activities. Usually, I am used to spend my spear time running, bicycling and trekking during the summer, and cross country skiing and ski mountaineering during the winter. Further, I love to listen to the music.

[Show all publications]

[Google Scholar author page]

Latest publications:

A Road-Map for Transferring Software Engineering methods for Model-Based Early V&V of Behaviour to Systems Engineering (Jul 2024)
Johan Cederbladh, Antonio Cicchetti
2030 Software Engineering (TOSEM2030)

Role-Based Access Control for Collaborative Modeling Environments (Jun 2024)
Malvina Latifaj, Federico Ciccozzi, Antonio Cicchetti
The 20th European Conference on Modelling Foundations and Applications (JOT-ECMFA24)

Combining model-based development and formal verification of a complex ROS2 multi-robots system using Timed Rebeca (Jun 2024)
Hiep Hong Trinh, Marjan Sirjani, Fereidoun Moradi, Antonio Cicchetti, Federico Ciccozzi
International Workshop on Reliability Engineering Methods for Autonomous Robots – REMARO 2024 (REMARO2024)

Towards Automating Model-Based Systems Engineering in Industry - An Experience Report (Apr 2024)
Johan Cederbladh, Luca Berardinelli , Damir Bilic, Hugo Bruneliere , Antonio Cicchetti, MohammedHadi Dehghani , Claudio Di Sipio , James Miranda , Abbas Rahimi , Riccardo Rubei
The 18th Annual International Systems Conference (SysCon24)

Early Validation and Verification of System Behaviour in Model-Based Systems Engineering: A Systematic Literature Review (Nov 2023)
Johan Cederbladh, Antonio Cicchetti, Jagadish Suryadevara
ACM Transactions on Software Engineering and Methodology (TOSEM)

Barriers for Adopting FMI-based Co-Simulation in Industrial MBSE Processes (Oct 2023)
Johan Cederbladh, Anna Reale , Andreas Bergsten , Richard Mikelöv , Antonio Cicchetti

PhD students supervised as main supervisor:

Johan Cederbladh
Lodiana Beqiri

PhD students supervised as assistant supervisor:

Gaetana Sapienza (former)
Ifrah Qaisar
Maghsood Salimi
Malvina Latifaj
Robbert Jongeling (former)

MSc theses supervised (or examined):
Thesis TitleStatus
A configurable slider for enhanced model understanding available
A model-driven approach for automotive system available
Eliciting correlations between components selection decision cases in software architecting available
Integration Testing of .NET Applications available
Mapping UML diagrams to the Reactive Object Language (Rebeca) available
Master Thesis: A mapping study on MDE adoption effects in industry (2 students) available
Test-case Generation For Timing Properties From EAST-ADL Models available
Master thesis: supporting synchronous modelling in distributed development environments in progress
Master thesis: Versionshantering i industriella miljöer in progress
Realtime synchronisation between database model and structured query language in progress
A Metamodel independent approach for Conflict Detection to support distributed development in MDE finished
Application of Bayesian network learners using non-static code metrics for software fault prediction finished
Automated Code Generation from Action Language Enhanced UML Models finished
Automated sequential composition of deltas and related optimization operations finished
Building a tiny OCL interpreter in C++ (2 students) finished
Building a tiny OCL interpreter in Java (2 students) finished
Consistent integration of system and software models at different levels of abstraction finished
Enhancing the consistency between requirements and test cases through the definition of a Controlled Natural Language finished
Horizontal transformations for models reuse and tool chaining finished
Integrating wireless systems into process industry and business management finished
Master thesis: From Requirements Specification to Test Scripting: Towards Automated Support finished
Master thesis: System Testing in a Simulated Environment finished
Master thesis: The problem of bidirectionality in Model-Driven Engineering finished
Model Based Test Design in CPP Verification (for 2 students) finished
Re-engineering sequential software to introduce parallelization finished
Supporting the automatic test case and oracle generation using system models finished
Test Derivation and Reuse through Horizontal transformation of System models finished
Traceability in Model Based Testing finished
A tool for the optimization of IVHM data in heavy Scania trucks on-hold
Master thesis: Measuring ontology awareness of model differencing approaches. on-hold