| 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 | 64 | 2012 |
| 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 | 63 | 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 |
| 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 | 45 | 2014 |
| 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 | 45 | 2012 |
| BUSINESS & ECONOMICS Z FOOK 24th Annual Beacon Conference June 3, 2016 113, 64, 2016 | 42 | 2016 |
| Booster: An acceleration-based verification framework for array programs F Alberti, S Ghilardi, N Sharygina Automated Technology for Verification and Analysis: 12th International …, 2014 | 42 | 2014 |
| Le comunitą progettuali della bioregione urbana. Un Parco agricolo multifunzionale in riva sinistra d’Arno D Poli Quodlibet, 2019 | 40 | 2019 |
| 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 | 38 | 2010 |
| 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 | 33 | 2015 |
| 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 |
| A framework for the verification of parameterized infinite-state systems F Alberti, S Ghilardi, N Sharygina Fundamenta Informaticae 150 (1), 1-24, 2017 | 28 | 2017 |
| Counting constraints in flat array fragments F Alberti, S Ghilardi, E Pagani Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 19 | 2016 |
| Cardinality constraints for arrays (decidability results and applications) F Alberti, S Ghilardi, E Pagani Formal Methods in System Design 51, 545-574, 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 |
| Decision procedures for flat array properties F Alberti, S Ghilardi, N Sharygina Journal of Automated Reasoning 54, 327-352, 2015 | 16 | 2015 |
| The AMchip04 and the processing unit prototype for the FastTracker A Andreani, A Annovi, M Beretta, M Bogdan, M Citterio, F Alberti, ... Journal of Instrumentation 7 (08), C08007, 2012 | 16 | 2012 |
| 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 | 16 | 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 | 14 | 2016 |
