| 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 | 74 | 2012 |
| 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 | 73 | 2012 |
| 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 Modelling 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 (1), 63-109, 2014 | 46 | 2014 |
| Booster: An acceleration-based verification framework for array programs F Alberti, S Ghilardi, N Sharygina International Symposium on Automated Technology for Verification and …, 2014 | 44 | 2014 |
| A simple abstraction of arrays and maps by program translation D Monniaux, F Alberti International Static Analysis Symposium, 217-234, 2015 | 34 | 2015 |
| Decision procedures for flat array properties F Alberti, S Ghilardi, N Sharygina International Conference on Tools and Algorithms for the Construction and …, 2014 | 33 | 2014 |
| 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 | 32 | 2011 |
| 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 International Conference on Automated Deduction, 26-33, 2011 | 30 | 2011 |
| 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 | 29 | 2023 |
| Cardinality constraints for arrays (decidability results and applications) F Alberti, S Ghilardi, E Pagani Formal Methods in System Design 51 (3), 545-574, 2017 | 26 | 2017 |
| Mobile mapping to support an integrated transport-territory modelling approach F Alberti, A Alessandrini, D Bubboloni, C Catalano, M Fanfani, M Loda, ... The International Archives of the Photogrammetry, Remote Sensing and Spatial …, 2023 | 24 | 2023 |
| The Proximity City: A Comparative Analysis between Paris, Barcelona and Milan F Alberti, A Radicchi TECHNE-Journal of Technology for Architecture and Environment, 69-77, 2022 | 23 | 2022 |
| Counting constraints in flat array fragments F Alberti, S Ghilardi, E Pagani International Joint Conference on Automated Reasoning, 65-81, 2016 | 20 | 2016 |
| 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 | 19 | 2013 |
| Efficient symbolic automated analysis of administrative role based access control policies F Alberti, A Armando, S Ranise ASIACCS. ACM Pr 10, 1966913.1966935, 2011 | 19 | 2011 |
| 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 | 18 | 2016 |
| Decision procedures for flat array properties F Alberti, S Ghilardi, N Sharygina Journal of Automated Reasoning 54 (4), 327-352, 2015 | 18 | 2015 |
| From the neighbourhood unit to the 15-minute city. Past and recent urban models for post-COVID cities F Alberti, A Radicchi Urban and transit planning: City planning: Urbanization and circular …, 2023 | 17 | 2023 |
