NOTE: Where my name is in bold authors are listed in alphabetical order.

(2018). Understanding semantic style by analysing student code. In ACE 2018.

(2018). Unencapsulated Collection-A Teachable Design Smell. In SIGCSE 2018.

(2016). Integrating Model Driven and Model Checking to Mine Design Patterns. Software Technologies 2016.


(2015). k-bisimulation: a bisimulation for measuring the dissimilarity between processes. In FACS 2015.


(2015). Improving Design Patterns Finder Precision Using a Model Checking Approach. In CEUR-WS, CAiSE Forum, 2015.


(2015). Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems. In ICSOFT 2015.


(2015). Analysing Wiki Quality using Probabilistic Model Checking. In WETICE 2015.


(2015). Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. In FormaliSE@ICSE 2015.

(2014). An Eclipse-based Editor to Support LOTOS Newcomers. In WETICE 2014.


(2014). Powerful Equivalence Checking in the Bank Supply Process. In SERVICES 2014.


(2013). An approach for restructuring text content. In ICSE 2013.

(2011). User Generated (Web) Content: Trash or Treasure. In IWPSE-EVOL’11.


Synergistic Activities

Program Committee Member of International Conferences

  • Semantic Technologies in Smart Information Sharing and Web Collaboration Conference Track (Web2Touch 2018) @ the 27th IEEE WETICE Conference (WETICE 2018), Paris, France.
  • APSEC (Short Papers and Posters) 2017, Nanjing, Jiangsu, China.
  • Semantic Technologies in Smart Information Sharing and Web Collaboration Conference Track (Web2Touch 2017) @ the 26th IEEE WETICE Conference (WETICE 2017), Poznan, Poland.
  • Modelling the Collaborative Web Knowledge Conference Track (Web2Touch 2016) @ the 25th IEEE WETICE Conference (WETICE 2016), Paris, France.


  • PeerJ Computer Science
  • SIGCSE 2018
  • ICSE 2017
  • APSEC 2016

Invited Talks

  • Panelist for the PEPPER project (interview) “Interdisciplinary Research by means of Model Checking”, Oxford Brookes University, Wheatley Campus, Oxford, United Kingdom, 7th January 2016
  • “Two (Unusual) Applications of Model Checking: Wiki Evolution and Design Pattern(s) Mining”, Technische Universität München, Institut für Informatik, Munich, Germany, 22nd October 2015
  • “An Unusual Context for Formal Verification: Wiki Evolution”, Department of Computer Science and Engineering, University of Bologna, Italy, 9th September 2015