| 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 | 64 | 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 | 57 | 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 | 53 | 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 | 44 | 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 | 28 | 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 |
| 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 | 19 | 2022 |
| 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 |
| 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 | 14 | 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 |
| 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 |
| Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani 2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018 | 4 | 2018 |
Alberto GriggioResearcher, Fondazione Bruno Kessler在 fbk.eu 的电子邮件经过验证
