Concepedia

Francesco Alberti

FA

9

Publications

180

Citations

9

H-Index

2011

Active since

Affiliations

Università della Svizzera italiana(Current)

University of Milan

Fondazione Bruno Kessler

University of Florence

Francesco Alberti is an author at Università della Svizzera italiana specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationUrban PlanningSocial SciencesUrban GeographyProgram Analysis

Publications per year

2011–2024

9

Publications

9

Efficient symbolic automated analysis of administrative attribute-based RBAC-policies

Francesco Alberti, Alessandro Armando, Silvio Ranise · 2011 · 37 citations

Engineering, Information Security, Verification +19

Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories

Francesco Alberti, Silvio Ghilardi, Elena Pagani et al. · Journal on Satisfiability Boolean Modeling and Computation · 2012 · 31 citations · Full text

Engineering, Verification, Computer-aided Verification +18

An extension of lazy abstraction with interpolation for programs with arrays

Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi et al. · Formal Methods in System Design · 2014 · 29 citations

Engineering, Generic Programming, Program Analysis +13

Decision Procedures for Flat Array Properties

Francesco Alberti, Silvio Ghilardi, Natasha Sharygina · Journal of Automated Reasoning · 2015 · 16 citations

Array Computing, Engineering, Formal Methods +5

The Proximity City: a comparative analysis between Paris, Barcelona and Milan

Francesco Alberti, Antonella Radicchi · TECHNE - Journal of Technology for Architecture and Environment · 2022 · 16 citations · Full text

Spatial Development, Comparative Urban Research, Urban Development +21

Rows per page

1–5 of 9