research
Topics
My main research interests regard the areas of:
- Model Checking.
- Graph Transformation Systems.
My research lines are:
- Service Oriented Computing: a paradigm around the notion of service as main computational entity.
- Architectural Design Rewriting: a term-rewriting and graph-based approach to the style-consistent design and reconfiguration of software architectures.
- Directed Model Checking: the use of heuristics to guide model checking algorithms towards bugs.
- Graph-based Verification: the analysis of systems modelled as graph transformation systems and specified with graph logics.
- Quantitative Model Checking: quantitative aspects in system verification.
Most of my contributions are collected together in the list of my papers.
Projects
I am involved in the European Project SENSORIA (Software Engineering for Service-Oriented Overlay Computers).
Events
I am a PC member of the 9th International Workshop on Graph Transformation and Visual Modeling Techniques and the 3rd Interaction and Concurrency Experience.
Tools
Teaching
- Rigorous Sofware Development via Model Checking : 2008 Phd Seminar at the Department of Computer Science of the University of Pisa.
Misc
Promela Database: a collection of models in Promela, the specification language of the Spin model checker.
