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 | 69 | 2012 |
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 | 66 | 2012 |
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 | 50 | 2011 |
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 | 47 | 2012 |
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 | 46 | 2014 |
Booster: An acceleration-based verification framework for array programs F Alberti, S Ghilardi, N Sharygina Automated Technology for Verification and Analysis: 12th International …, 2014 | 41 | 2014 |
Decision procedures for flat array properties F Alberti, S Ghilardi, N Sharygina International Conference on Tools and Algorithms for the Construction and …, 2014 | 35 | 2014 |
A simple abstraction of arrays and maps by program translation D Monniaux, F Alberti International Static Analysis Symposium, 217-234, 2015 | 34 | 2015 |
A framework for the verification of parameterized infinite-state systems F Alberti, S Ghilardi, N Sharygina Fundamenta Informaticae 150 (1), 1-24, 2017 | 30 | 2017 |
ASASP: automated symbolic analysis of security policies F Alberti, A Armando, S Ranise Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011 | 29 | 2011 |
Cardinality constraints for arrays (decidability results and applications) F Alberti, S Ghilardi, E Pagani Formal Methods in System Design 51, 545-574, 2017 | 21 | 2017 |
Counting constraints in flat array fragments F Alberti, S Ghilardi, E Pagani Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 20 | 2016 |
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 | 18 | 2017 |
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 | 18 | 2013 |
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 | 17 | 2016 |
Decision procedures for flat array properties F Alberti, S Ghilardi, N Sharygina Journal of Automated Reasoning 54, 327-352, 2015 | 17 | 2015 |
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 | 16 | 2010 |
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 | 15 | 2010 |
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 | 11 | 2023 |
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 | 11 | 2016 |