- Research Interests:
Formal methods and their application to the Software Engineering
Formal verification
Model-Driven Development and Analysis (validation and verification) of Systems
Integration of Formal Methods and Model-Driven Engineering
Modelling Service-Oriented Applications and Adaptive Systems
Abstract State Machines (ASM) Formal Method
-
Research coordination: I am responsable of the FM&SE Lab (Formal Methods and Software Engineering Laboratory) at the Dept of Computer Science of the University of Milan
-
My reserach metrics with Google Scholar
-
Tag Cloud from the titles of my papers
