| Parallelization techniques for verifying neural networks H Wu, A Ozdemir, A Zeljic, K Julian, A Irfan, D Gopinath, S Fouladi, G Katz, ... FMCAD 1, 128-137, 2020 | 59 | 2020 |
| Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani ACM Transactions on Computational Logic (TOCL) 19 (3), 52, 2018 | 56 | 2018 |
| Verilog2SMV: A tool for word-level verification A Irfan, A Cimatti, A Griggio, M Roveri, R Sebastiani 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016 | 51 | 2016 |
| Overt: An algorithm for safety verification of neural network control policies for nonlinear systems C Sidrane, A Maleki, A Irfan, MJ Kochenderfer Journal of Machine Learning Research 23 (117), 1-45, 2022 | 50 | 2022 |
| Pono: A Flexible and Extensible SMT-Based Model Checker M Mann, A Irfan, F Lonsing, Y Yang, H Zhang, K Brown, A Gupta, C Barrett International Conference on Computer Aided Verification, 461-474, 2021 | 42 | 2021 |
| Invariant checking of NRA transition systems via incremental reduction to LRA with EUF A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 39 | 2017 |
| Experimenting on solving nonlinear integer arithmetic with incremental linearization A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani International Conference on Theory and Applications of Satisfiability …, 2018 | 26 | 2018 |
| Satisfiability modulo transcendental functions via incremental linearization A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017 | 26 | 2017 |
| Towards Verification of Neural Networks for Small Unmanned Aircraft Collision Avoidance A Irfan, KD Julian, H Wu, C Barrett, MJ Kochenderfer, B Meng, J Lopez Digital Avionics Systems Conference (DASC), 2020 | 18 | 2020 |
| Counterexample-guided prophecy for model checking modulo the theory of arrays M Mann, A Irfan, A Griggio, O Padon, C Barrett Logical Methods in Computer Science 18, 2022 | 17 | 2022 |
| SMT-switch: a solver-agnostic C++ API for SMT solving M Mann, A Wilson, Y Zohar, L Stuntz, A Irfan, K Brown, C Donovick, ... International Conference on Theory and Applications of Satisfiability …, 2021 | 16 | 2021 |
| Bit-precise reasoning via int-blasting Y Zohar, A Irfan, M Mann, A Niemetz, A Nötzli, M Preiner, A Reynolds, ... International Conference on Verification, Model Checking, and Abstract …, 2022 | 12 | 2022 |
| Testing Dafny (experience paper) A Irfan, S Porncharoenwase, Z Rakamarić, N Rungta, E Torlak Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 9 | 2022 |
| PCASSO—a Parallel CooperAtive Sat SOlver A Irfan, D Lanti, N Manthey Balint et al.[3], 64-65, 2013 | 9 | 2013 |
| Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems S Mover, A Cimatti, A Griggio, A Irfan, S Tonetta | 7 | 2021 |
| MoXI: An Intermediate Language for Symbolic Model Checking KY Rozier, R Dureja, A Irfan, C Johannsen, K Nukala, N Shankar, ... | 5 | 2024 |
| Optimization modulo non-linear arithmetic via incremental linearization F Bigarella, A Cimatti, A Griggio, A Irfan, M Jonáš, M Roveri, R Sebastiani, ... International Symposium on Frontiers of Combining Systems, 213-231, 2021 | 5 | 2021 |
| Parallelization techniques for verifying neural networks. In 2020 Formal Methods in Computer Aided Design (FMCAD). IEEE, 128ś137 H Wu, A Ozdemir, A Zeljić, K Julian, A Irfan, D Gopinath, S Fouladi, G Katz, ... | 5 | 2020 |
| Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions A Irfan University of Trento, 2018 | 5 | 2018 |
| Modern Cooperative Parallel SAT Solving A Irfan, D Lanti, N Manthey Pragmatics of SAT, 2013 | 5 | 2013 |
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
