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
692012
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
662012
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
502011
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
472012
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
462014
Booster: An acceleration-based verification framework for array programs
F Alberti, S Ghilardi, N Sharygina
Automated Technology for Verification and Analysis: 12th International …, 2014
412014
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
342015
A framework for the verification of parameterized infinite-state systems
F Alberti, S Ghilardi, N Sharygina
Fundamenta Informaticae 150 (1), 1-24, 2017
302017
ASASP: automated symbolic analysis of security policies
F Alberti, A Armando, S Ranise
Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011
292011
Cardinality constraints for arrays (decidability results and applications)
F Alberti, S Ghilardi, E Pagani
Formal Methods in System Design 51, 545-574, 2017
212017
Counting constraints in flat array fragments
F Alberti, S Ghilardi, E Pagani
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016
202016
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
The ATLAS IBL CO2 cooling system
B Verlaat, M Ostrega, L Zwalinski, C Bortolin, S Vogt, J Godlewski, ...
Journal of Instrumentation 12 (02), C02064, 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
172016
Decision procedures for flat array properties
F Alberti, S Ghilardi, N Sharygina
Journal of Automated Reasoning 54, 327-352, 2015
172015
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
152010
Treatment options for hepatitis A and E: a non-systematic review
F Gabrielli, F Alberti, C Russo, C Cursaro, H Seferi, M Margotti, ...
Viruses 15 (5), 1080, 2023
112023
Total Ionising Dose effects in the FE-I4 front-end chip of the ATLAS Pixel IBL detector
K Dette
Journal of Instrumentation 11 (11), C11028, 2016
112016
The system can't perform the operation now. Try again later.
Articles 1–20