- Formal Methods, Model Checking, Verification, Logics, Graph Transformation, Rewriting Logic;
- Software Engineering, Global Computing, Service-Oriented Computing, Autonomic Computing;
- Artificial Intelligence, Adaptive Systems, Self-* Systems;
- “Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude” @ Science of Computer Programming, 2013 [draft]
- “Constraint Design Rewriting” @ Science of Computer Programming, 2013 [draft]
- “Combining Declarative and Procedural Views in Product Families” @ FMSPLE 2013 [draft]
- “A cooperative approach for distributed task execution in autonomic clouds” @ PDP 2013 [draft]
- “Adaptation is a Game” @ TinyToCS 2, 2013 [pdf]
- “State Space c-Reductions of Concurrent Systems in Rewriting Logic” @ ICFEM 2012 [draft]
- full list or check dblp, google scholar, microsoft academic, citeseer, imt, scopus, orcid, isi
- “State Space C-Reductions for Concurrent Systems in Rewriting Logic” @ GRAPHITE 2013.
- “Adaptable Transition Systems” @ ASCENS Meeting 2013.
- “A White-box Perspective on Self-Adaptation and Self-Awareness” @ AWASS 2012.
- QUANTICOL: European FP7 Project on Quantitative Approach to Collective and Adaptive Systems;
- CINA: Italian Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society;
- ASCENS: European FP7 Project on Autonomic Service Component Ensembles;
- SENSORIA: European FP6 Project on Software Engineering for Service-Oriented Overlay Computers.
- Introduction to Formal Verification @ GSSI Aquila (Winter 2013);
- Algorithmics @ IMT Lucca (Fall 2013, Spring 2013);
- Model Checking @ IMT Lucca (Fall 2013);
- Specification and Verification with Maude @ IMT Lucca (Fall 2013, Fall 2010);
- A white-box perspective on Adaptation: @ AWASS 2012 (Summer 2012);
- 3rd Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2014) - co-chair
- 10th International Workshop on Rewriting Logic and its Applications (WRLA 2014) – PC member
- 34th International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014) – PC member
- 11th International Symposium on Formal Aspects of Component Software (FACS 2014) – PC member
- 9th Symposium on Trustworthy Global Computing (TGC 2014) – PC member
- 7th Interaction and Concurrency Experience (ICE 2014) – IceCreamer
- 29th ACM SAC track on Service-Oriented Architectures and Programming (SOAP 2014) – co-chair
- 1st PDP Session on Formal Approaches to Parallel and Distributed Systems (4PAD 2014) – co-chair
- 8th Symposium on Trustworthy Global Computing (TGC 2013) – co-chair
- 10th Workshop on Web Services and Formal Methods (WS-FM 2013) – PC member
- 6th Interaction and Concurrency Experience (ICE 2013) – IceCreamer
- C-Reducer: Automatic c-reduction of object based modules for the Maude system.
- MESSI: Maude Ensemble Strategies Simulator and Inquirer.
- HSF-SPIN: an extension of the Spin model checker with directed model checking algorithms.
- Promela Database: a collection Promela models for the Spin model checker.
Complete CV can be found here.