Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study. - Francesco Alberti; Silvio Ghilardi; Elena Pagani; Silvio Ranise; Gian Paolo Rossi 001 (DISC, 2010)

Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study. - Francesco Alberti; Silvio Ghilardi; Elena Pagani; Silvio Ranise; Gian Paolo Rossi 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

ASASP: Automated Symbolic Analysis of Security Policies. - Francesco Alberti; Alessandro Armando; Silvio Ranise (CADE, 2011)

Efficient symbolic automated analysis of administrative attribute-based RBAC-policies. - Francesco Alberti; Alessandro Armando; Silvio Ranise (AsiaCCS, 2011)

Reachability Modulo Theory Library. - Francesco Alberti; Roberto Bruttomesso; Silvio Ghilardi; Silvio Ranise; Natasha Sharygina (SMT@IJCAR, 2012)

SAFARI: SMT-Based Abstraction for Arrays with Interpolants. - Francesco Alberti; Roberto Bruttomesso; Silvio Ghilardi; Silvio Ranise; Natasha Sharygina (CAV, 2012)

Lazy Abstraction with Interpolants for Arrays. - Francesco Alberti; Roberto Bruttomesso; Silvio Ghilardi; Silvio Ranise; Natasha Sharygina (LPAR, 2012)

Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. - Francesco Alberti; Silvio Ghilardi; Elena Pagani; Silvio Ranise; Gian Paolo Rossi 001 (J. Satisf. Boolean Model. Comput., 2012)

Definability of Accelerated Relations in a Theory of Arrays and Its Applications. - Francesco Alberti; Silvio Ghilardi; Natasha Sharygina (FroCos, 2013)

Acceleration-based safety decision procedure for programs with arrays. - Francesco Alberti; Silvio Ghilardi; Natasha Sharygina (LPAR (short papers), 2013)

Abstraction and Acceleration in SMT-based Model-Checking for Array Programs - Francesco Alberti; Silvio Ghilardi; Natasha Sharygina (CoRR, 2013)

Booster: An Acceleration-Based Verification Framework for Array Programs. - Francesco Alberti; Silvio Ghilardi; Natasha Sharygina (ATVA, 2014)

Verige: verification with invariant generation engine. - Nicolas Latorre; Francesco Alberti; Natasha Sharygina (SPIN, 2014)

Monotonic Abstraction Techniques: from Parametric to Software Model Checking. - Francesco Alberti; Silvio Ghilardi; Natasha Sharygina (MOD*, 2014)

An extension of lazy abstraction with interpolation for programs with arrays. - Francesco Alberti; Roberto Bruttomesso; Silvio Ghilardi; Silvio Ranise; Natasha Sharygina (Formal Methods Syst. Des., 2014)

A New Acceleration-Based Combination Framework for Array Properties. - Francesco Alberti; Silvio Ghilardi; Natasha Sharygina (FroCos, 2015)

Polyhedra to the rescue of array interpolants. - Francesco Alberti; David Monniaux (SAC, 2015)

A Simple Abstraction of Arrays and Maps by Program Translation. - David Monniaux; Francesco Alberti (SAS, 2015)

Decision Procedures for Flat Array Properties. - Francesco Alberti; Silvio Ghilardi; Natasha Sharygina (J. Autom. Reason., 2015)

Co-creating Security-and-Privacy-by-Design Systems. - Sauro Vicini; Francesco Alberti; Nicolás Notario; Alberto Crespo; Juan Ramón Troncoso-Pastoriza; Alberto Sanna (ARES, 2016)

Counting Constraints in Flat Array Fragments. - Francesco Alberti; Silvio Ghilardi; Elena Pagani (IJCAR, 2016)

Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies. - Francesco Alberti; Silvio Ghilardi; Andrea Orsini; Elena Pagani (CILC, 2016)

Enhancing Personas for Well-Being e-Services and Product Service Systems. - Sauro Vicini; Adriano Gariglio; Francesco Alberti; Elettra Oleari; Alberto Sanna (HCI (16), 2016)

Cardinality constraints for arrays (decidability results and applications). - Francesco Alberti; Silvio Ghilardi; Elena Pagani (Formal Methods Syst. Des., 2017)

A Framework for the Verification of Parameterized Infinite-state Systems. - Francesco Alberti; Silvio Ghilardi; Natasha Sharygina (Fundam. Informaticae, 2017)

Accessible-to-All Cities. A Project of Networking Italian Experiences to Raise Awareness and Promote Universal Design. - Francesco Alberti; Barbara Chiarelli (UD, 2022)

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 (ICCSA (Workshops 6), 2025)