Francesco Alberti

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 8

Top Topics

Tight Complexity Bounds

Cardinality Constraints

Top Venues

Formal Methods Syst. Des.

Publications

Francesco Alberti, Barbara Chiarelli
Accessible-to-All Cities. A Project of Networking Italian Experiences to Raise Awareness and Promote Universal Design. UD (2022)
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
A Framework for the Verification of Parameterized Infinite-state Systems. Fundam. Informaticae 150 (1) (2017)
Francesco Alberti, Silvio Ghilardi, Elena Pagani
Cardinality constraints for arrays (decidability results and applications). Formal Methods Syst. Des. 51 (3) (2017)
Sauro Vicini, Adriano Gariglio, Francesco Alberti, Elettra Oleari, Alberto Sanna
Enhancing Personas for Well-Being e-Services and Product Service Systems. HCI (16) (2016)
Francesco Alberti, Silvio Ghilardi, Elena Pagani
Counting Constraints in Flat Array Fragments. CoRR (2016)
Francesco Alberti, Silvio Ghilardi, Elena Pagani
Counting Constraints in Flat Array Fragments. IJCAR (2016)
Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani
Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies. CILC (2016)
Sauro Vicini, Francesco Alberti, Nicolás Notario, Alberto Crespo, Juan Ramón Troncoso-Pastoriza, Alberto Sanna
Co-creating Security-and-Privacy-by-Design Systems. ARES (2016)
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Decision Procedures for Flat Array Properties. J. Autom. Reason. 54 (4) (2015)
Francesco Alberti, David Monniaux
Polyhedra to the rescue of array interpolants. SAC (2015)
David Monniaux, Francesco Alberti
A Simple Abstraction of Arrays and Maps by Program Translation. SAS (2015)
David Monniaux, Francesco Alberti
A simple abstraction of arrays and maps by program translation. CoRR (2015)
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
A New Acceleration-Based Combination Framework for Array Properties. FroCos (2015)
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
A Framework for the Verification of Parameterized Infinite-State Systems. CILC (2014)
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Monotonic Abstraction Techniques: from Parametric to Software Model Checking. MOD* (2014)
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Decision Procedures for Flat Array Properties. TACAS (2014)
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Decision Procedures for Flat Array Properties. SMT (2014)
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
An extension of lazy abstraction with interpolation for programs with arrays. Formal Methods Syst. Des. 45 (1) (2014)
Nicolas Latorre, Francesco Alberti, Natasha Sharygina
Verige: verification with invariant generation engine. SPIN (2014)
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Booster: An Acceleration-Based Verification Framework for Array Programs. ATVA (2014)
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Acceleration-based safety decision procedure for programs with arrays. LPAR (short papers) (2013)
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Definability of Accelerated Relations in a Theory of Arrays and Its Applications. FroCos (2013)
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs CoRR (2013)
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
Lazy Abstraction with Interpolants for Arrays. LPAR (2012)
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
Reachability Modulo Theory Library. SMT@IJCAR (2012)
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. J. Satisf. Boolean Model. Comput. 8 (1/2) (2012)
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
SAFARI: SMT-Based Abstraction for Arrays with Interpolants. CAV (2012)
Francesco Alberti, Alessandro Armando, Silvio Ranise
ASASP: Automated Symbolic Analysis of Security Policies. CADE (2011)
Francesco Alberti, Alessandro Armando, Silvio Ranise
Efficient symbolic automated analysis of administrative attribute-based RBAC-policies. AsiaCCS (2011)
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study. DISC (2010)