Staff

Biography

I am a Senior Lecturer 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 L'Aquila 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.

Latest publications [ Show all publications ]

Research projects

On-going:
• CONCERTO
• ITS-EASY Post Graduate School for Embedded Software and Systems
• RALF3 - Software for Embedded High Performance Architectures


Finished:
• CHESS
• COMING

Supervised Ph D students

• Federico Ciccozzi  (assistant supervisor)
• Mehrdad Saadatmand  (assistant supervisor)
• Gaetana Sapienza  (assistant supervisor)

• Master thesis: automatic transformation from execution traces to a performance model
• Master Thesis: Design and Implementation of an Eclipse plug-in for a model repository
• Master thesis: supporting synchronous modelling in distributed development environments (2 students)


Finished theses:
• A Metamodel independent approach for Conflict Detection to support distributed development in MDE
• Automated Code Generation from Action Language Enhanced UML Models
• Automated sequential composition of deltas and related optimization operations
• Building a tiny OCL interpreter in C++ (2 students)
• Building a tiny OCL interpreter in Java (2 students)
• Horizontal transformations for models reuse and tool chaining
• Integrating wireless systems into process industry and business management
• Master thesis: System Testing in a Simulated Environment
• Master thesis: The problem of bidirectionality in Model-Driven Engineering
• Model Based Test Design in CPP Verification (for 2 students)
• Supporting the automatic test case and oracle generation using system models
• Test Derivation and Reuse through Horizontal transformation of System models
• Traceability in Model Based Testing

Teaching