Francesco Alberti
Francesco Alberti
Eolo SpA
Verified email at eolo.it - Homepage
TitleCited byYear
SAFARI: SMT-based abstraction for arrays with interpolants
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
International Conference on Computer Aided Verification, 679-685, 2012
552012
Lazy abstraction with interpolants for arrays
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
International Conference on Logic for Programming Artificial Intelligence …, 2012
462012
An extension of lazy abstraction with interpolation for programs with arrays
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
Formal Methods in System Design 45 (1), 63-109, 2014
332014
Universal guards, relativization of quantifiers, and failure models in model checking modulo theories
F Alberti, S Ghilardi, E Pagani, S Ranise, GP Rossi
Journal on Satisfiability, Boolean Modeling and Computation 8, 29-61, 2012
332012
Decision procedures for flat array properties
F Alberti, S Ghilardi, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2014
322014
Ethical issues in end of life treatments for patients with dementia
M Congedo, RI Causarano, F Alberti, V Bonito, L Borghi, L Colombi, ...
European journal of neurology 17 (6), 774-779, 2010
322010
Efficient symbolic automated analysis of administrative attribute-based RBAC-policies
F Alberti, A Armando, S Ranise
Proceedings of the 6th ACM Symposium on Information, Computer and …, 2011
312011
Booster: an acceleration-based verification framework for array programs
F Alberti, S Ghilardi, N Sharygina
International Symposium on Automated Technology for Verification and …, 2014
222014
ASASP: automated symbolic analysis of security policies
F Alberti, A Armando, S Ranise
International Conference on Automated Deduction, 26-33, 2011
212011
A framework for the verification of parameterized infinite-state systems
F Alberti, S Ghilardi, N Sharygina
Fundamenta Informaticae 150 (1), 1-24, 2017
182017
A simple abstraction of arrays and maps by program translation
D Monniaux, F Alberti
International Static Analysis Symposium, 217-234, 2015
182015
Efficient symbolic automated analysis of administrative role based access control policies
F Alberti, A Armando, S Ranise
In ASIACCS, 2011
162011
Automated support for the design and validation of fault tolerant parameterized systems: a case study
F Alberti, S Ghilardi, E Pagani, S Ranise, GP Rossi
Electronic Communications of the EASST 35, 2011
152011
Counting constraints in flat array fragments
F Alberti, S Ghilardi, E Pagani
International Joint Conference on Automated Reasoning, 65-81, 2016
142016
Definability of accelerated relations in a theory of arrays and its applications
F Alberti, S Ghilardi, N Sharygina
International Symposium on Frontiers of Combining Systems, 23-39, 2013
142013
Brief announcement: Automated support for the design and validation of fault tolerant parameterized systems-a case study
F Alberti, S Ghilardi, E Pagani, S Ranise, GP Rossi
International Symposium on Distributed Computing, 392-394, 2010
122010
Decision procedures for flat array properties
F Alberti, S Ghilardi, N Sharygina
Journal of Automated Reasoning 54 (4), 327-352, 2015
112015
Polyhedra to the rescue of array interpolants
F Alberti, D Monniaux
72015
Co-creating security-and-privacy-by-design systems
S Vicini, F Alberti, N Notario, A Crespo, JRT Pastoriza, A Sanna
2016 11th International Conference on Availability, Reliability and Security …, 2016
62016
Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies.
F Alberti, S Ghilardi, A Orsini, E Pagani
CILC, 102-117, 2016
42016
The system can't perform the operation now. Try again later.
Articles 1–20