Follow
Ahmed Irfan
Ahmed Irfan
SRI International
Verified email at cs.stanford.edu - Homepage
Title
Cited by
Cited by
Year
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
582020
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
542018
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
472016
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
442022
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
392017
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
382021
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
272017
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
242018
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
162020
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
152022
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
152021
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
92022
PCASSO—a Parallel CooperAtive Sat SOlver
A Irfan, D Lanti, N Manthey
Balint et al.[3], 64-65, 2013
92013
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
72022
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
S Mover, A Cimatti, A Griggio, A Irfan, S Tonetta
72021
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, ...
52020
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
A Irfan
University of Trento, 2018
52018
Modern Cooperative Parallel SAT Solving
A Irfan, D Lanti, N Manthey
Pragmatics of SAT, 2013
52013
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
42021
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
42018
The system can't perform the operation now. Try again later.
Articles 1–20