Francesco Alberti
Francesco Alberti
Eolo SpA
Verified email at eolo.it - Homepage
Title
Cited by
Cited by
Year
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
562012
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
492012
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
412011
Universal guards, relativization of quantifiers, and failure models in model checking modulo theories
F Alberti, S Ghilardi, E Pagani, S Ranise, G Paolo Rossi
Journal on Satisfiability, Boolean Modeling and Computation 8 (1-2), 29-61, 2012
372012
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
342014
Decision procedures for flat array properties
F Alberti, S Ghilardi, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2014
332014
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
Booster: an acceleration-based verification framework for array programs
F Alberti, S Ghilardi, N Sharygina
International Symposium on Automated Technology for Verification and …, 2014
242014
A framework for the verification of parameterized infinite-state systems
F Alberti, S Ghilardi, N Sharygina
Fundamenta Informaticae 150 (1), 1-24, 2017
222017
ASASP: automated symbolic analysis of security policies
F Alberti, A Armando, S Ranise
International Conference on Automated Deduction, 26-33, 2011
222011
A simple abstraction of arrays and maps by program translation
D Monniaux, F Alberti
International Static Analysis Symposium, 217-234, 2015
202015
Counting constraints in flat array fragments
F Alberti, S Ghilardi, E Pagani
International Joint Conference on Automated Reasoning, 65-81, 2016
172016
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
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
Decision procedures for flat array properties
F Alberti, S Ghilardi, N Sharygina
Journal of Automated Reasoning 54 (4), 327-352, 2015
132015
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
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
92016
Polyhedra to the rescue of array interpolants
F Alberti, D Monniaux
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1745-1750, 2015
72015
Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies.
F Alberti, S Ghilardi, A Orsini, E Pagani
CILC, 102-117, 2016
52016
A new acceleration-based combination framework for array properties
F Alberti, S Ghilardi, N Sharygina
International Symposium on Frontiers of Combining Systems, 169-185, 2015
52015
The system can't perform the operation now. Try again later.
Articles 1–20