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
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
662012
Lazy abstraction with interpolants for arrays
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
652012
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
522011
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
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, 63-109, 2014
442014
Booster: An acceleration-based verification framework for array programs
F Alberti, S Ghilardi, N Sharygina
Automated Technology for Verification and Analysis: 12th International …, 2014
402014
Decision procedures for flat array properties
F Alberti, S Ghilardi, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2014
352014
A simple abstraction of arrays and maps by program translation
D Monniaux, F Alberti
International Static Analysis Symposium, 217-234, 2015
322015
A framework for the verification of parameterized infinite-state systems
F Alberti, S Ghilardi, N Sharygina
Fundamenta Informaticae 150 (1), 1-24, 2017
292017
ASASP: automated symbolic analysis of security policies
F Alberti, A Armando, S Ranise
Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011
292011
Counting constraints in flat array fragments
F Alberti, S Ghilardi, E Pagani
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016
192016
Definability of accelerated relations in a theory of arrays and its applications
F Alberti, S Ghilardi, N Sharygina
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013 …, 2013
182013
Cardinality constraints for arrays (decidability results and applications)
F Alberti, S Ghilardi, E Pagani
Formal Methods in System Design 51, 545-574, 2017
172017
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
162016
Decision procedures for flat array properties
F Alberti, S Ghilardi, N Sharygina
Journal of Automated Reasoning 54, 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, G Rossi
Electronic Communications of the EASST 35, 2010
162010
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
Distributed Computing: 24th International Symposium, DISC 2010, Cambridge …, 2010
142010
Performance of the AMBFTK board for the FastTracker processor for the ATLAS detector upgrade
F Alberti, A Andreani, A Annovi, M Beretta, M Citterio, F Crescioli, ...
Journal of Instrumentation 8 (01), C01040, 2013
102013
Conflicts of interest and Scientific Societies
M Gasparini, D Tarquini, E Pucci, F Alberti, R D’Alessandro, M Marogna, ...
Neurological Sciences 41 (8), 2095-2102, 2020
72020
Fruibilità e resilienza delle aree urbane di margine. Permanenza e temporaneità negli interventi di rigenerazione
F Alberti, R Bologna
Cambiamenti. Responsabiltà e strumenti per l’urbanistica al servizio del …, 2017
72017
The system can't perform the operation now. Try again later.
Articles 1–20