| 2025 | ICCSA | A Place-Based Multi-sectoral Project for the Definition of Indicators and Thresholds to Support Sustainable Mobility Policies in Italian Cities. | Francesco Alberti, Giacomo Rossi, Giovanna Acampa, Alessio Pino |
| 2016 | CADE | Counting Constraints in Flat Array Fragments. | Francesco Alberti, Silvio Ghilardi, Elena Pagani |
| 2016 | HCI | Enhancing Personas for Well-Being e-Services and Product Service Systems. | Sauro Vicini, Adriano Gariglio, Francesco Alberti, Elettra Oleari, Alberto Sanna |
| 2015 | SAC | Polyhedra to the rescue of array interpolants. | Francesco Alberti, David Monniaux |
| 2015 | SAS | A Simple Abstraction of Arrays and Maps by Program Translation. | David Monniaux, Francesco Alberti |
| 2014 | ATVA | Booster: An Acceleration-Based Verification Framework for Array Programs. | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
| 2014 | TACAS | Decision Procedures for Flat Array Properties. | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
| 2013 | LPAR | Acceleration-based safety decision procedure for programs with arrays. | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
| 2012 | CADE | Reachability Modulo Theory Library. | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
| 2012 | CAV | SAFARI: SMT-Based Abstraction for Arrays with Interpolants. | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
| 2012 | LPAR | Lazy Abstraction with Interpolants for Arrays. | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
| 2011 | CADE | ASASP: Automated Symbolic Analysis of Security Policies. | Francesco Alberti, Alessandro Armando, Silvio Ranise |
| 2011 | CCS | Efficient symbolic automated analysis of administrative attribute-based RBAC-policies. | Francesco Alberti, Alessandro Armando, Silvio Ranise |