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:

Extending MagicGrid to Support Virtual Prototyping for Early System Performance Validation and Verification (Sep 2024)
Johan Cederbladh, Daniel Krems , Antonio Cicchetti
Systems Analysis and Modelling (SAM2024)

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)

Project Title	Status
AIDOaRt - AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in cyber-physical systems	active
BUMBLE - Blended Modelling for Enhanced Software and Systems Engineering	finished
CHESS	finished
COMING	finished
CONCERTO - Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems	finished
ITS-EASY Post Graduate School for Embedded Software and Systems	finished
MINEStrA: Model Integration for Early Simulation and Analysis	finished
ORION - Decision Support for Component-Based Software Engineering of Cyber-Physical Systems	finished
PROMPT - Professional Master’s in Software Engineering (step II)	finished
PROMPT - Professional Master’s in Software Engineering (step II, phase B&C)	active
RALF3 - Software for Embedded High Performance Architectures	finished
SACSys - Safe and Secure Adaptive Collaborative Systems	finished
SALUTOGEN - Seniors’ Activity and quality of Life sUpported by Technology thrOugh deliGht, Engagement and iNterest	finished
SC: Evolution Support for Architectural Artefacts	finished
SmartDelta: Automated Quality Assurance and Optimization in Incremental Industrial Software Systems Development	active
Software Center	active
Software Center: Managing Model Inconsistencies	active

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 Title	Status
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
CONTINUOUS DEPLOYMENT FOR COMPLEX SOFTWARE INTENSIVE INDUSTRIAL SYSTEMS	finished
Enhancing the consistency between requirements and test cases through the definition of a Controlled Natural Language	finished
GRAPH GENERATION ALGORITHMS FOR THE GRADE DECISION CANVAS	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

We are using cookies to give you the best experience on our site. Cookies are files stored in your browser and are used by most websites to help personalise your web experience.

By continuing to use our website without changing the settings, you are agreeing to our use of cookies.

close

Mälardalen University

|

Box 325, 631 05 Eskilstuna

|

Box 883, 721 23 Västerås

|

+46-21-10 13 00, +46-16-15 36 00