Follow
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
622012
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
522012
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
472011
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
422014
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
412012
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
352010
Booster: An acceleration-based verification framework for array programs
F Alberti, S Ghilardi, N Sharygina
International Symposium on Automated Technology for Verification and …, 2014
332014
Decision procedures for flat array properties
F Alberti, S Ghilardi, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2014
332014
A framework for the verification of parameterized infinite-state systems
F Alberti, S Ghilardi, N Sharygina
Fundamenta Informaticae 150 (1), 1-24, 2017
282017
A simple abstraction of arrays and maps by program translation
D Monniaux, F Alberti
International Static Analysis Symposium, 217-234, 2015
282015
ASASP: automated symbolic analysis of security policies
F Alberti, A Armando, S Ranise
International Conference on Automated Deduction, 26-33, 2011
272011
Le comunitą progettuali della bioregione urbana: un parco agricolo multifunzionale in riva sinistra d'Arno
D Poli, F Alberti, G Belletti, M Benvenuti
Quodlibet., 2019
212019
Counting constraints in flat array fragments
F Alberti, S Ghilardi, E Pagani
International Joint Conference on Automated Reasoning, 65-81, 2016
192016
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
172013
Decision procedures for flat array properties
F Alberti, S Ghilardi, N Sharygina
Journal of Automated Reasoning 54 (4), 327-352, 2015
162015
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
162011
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
132016
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
132010
Cardinality constraints for arrays (decidability results and applications)
F Alberti, S Ghilardi, E Pagani
Formal Methods in System Design 51 (3), 545-574, 2017
102017
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
The system can't perform the operation now. Try again later.
Articles 1–20