Research Interests

  • 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


  • “Can we efficiently verify concurrent programs under RMMs in Maude?” @ WRLA 2014 [draft]
  • “Programming and Verifying Component Ensembles” @ FPS 2014 [draft]
  • “Reputation-based Cooperation in the Clouds” @ IFIP TM 2014 [draft]
  • “A Computational Field Framework for Volunteer Clouds” @ SEAMS 2014 [draft]
  • “Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude” @ SCP 2014 [draft]
  • “Constraint Design Rewriting” @ SCP 2013 [draft,pdf]
  • “Combining Declarative and Procedural Views in Product Families” @ FMSPLE 2013 [draft]
  • full list or check dblpgoogle scholarmicrosoft academicscopusorcidciteseerisi


  • “A Semiring-valued Temporal Logic” @ IDEA4CPS [slides]
  • “Can we efficiently verify concurrent programs under RMMs in Maude?” @ WRLA 2014 [slides]
  • “Collaborative Task Execution In Volunteer Clouds” @ CINA Meeting 2014 [slides]
  • “State Space C-Reductions for Concurrent Systems in Rewriting Logic” @ GRAPHITE 2013 [slides]
  • “Adaptable Transition Systems” @ ASCENS Meeting 2013 [slides]
  • “A White-box Perspective on Self-Adaptation and Self-Awareness” @ AWASS 2012 [slides]
  • more…


  • 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 Computing
  • more…


Conferences and Journals

  • The Journal on Logical and Algebraic Methods in Programming (JLAMP)
  • 8th Interaction and Concurrency Experience (ICE 2015)
  • 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015)
  • 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015)
  • 1st International Workshop on Graphs as Models (GAM 2015)
  • 12th Symposium on Formal Aspects of Component Software (FACS 2015)
  • 10th International Symposium on Trustworthy Global Computing (TGC 2015)
  • 1st ICAPS Workshop on Model Checking and Automated Planning (MOCHAP 2015)
  • 1st International Workshop on Distributed Adaptive Systems (DAS 2015)
  • 7th ACM SAC track on Service Oriented Architectures and Programming (SOAP 2015)
  • 2nd Session on Formal Approaches to Parallel and Distributed Systems (4PAD 2015)
  • 34th Conf. on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014)
  • 11th Symposium on Formal Aspects of Component Software (FACS 2014)
  • 9th Symposium on Trustworthy Global Computing (TGC 2014)
  • 7th Interaction and Concurrency Experience (ICE 2014)
  • 5th Workshop on Modeling & Simulation of P2P & Autonomic Systems (MOSPAS 2014)
  • 1st ICAPS Workshop on Model Checking and Automated Planning (MOCHAP 2014)
  • 4th International Workshop on Adaptive Services for the Future Internet (WAS4FI 2014)
  • more…


Software Tools

  • 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.