Seguir
Ahmed Irfan
Ahmed Irfan
SRI International
Dirección de correo verificada de cs.stanford.edu - Página principal
Título
Citado por
Citado por
Año
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
732020
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
612018
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
582022
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
562016
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
502021
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
402017
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
312018
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
282017
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
212020
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
202021
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
192022
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
162022
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
162022
PCASSO—a Parallel CooperAtive Sat SOlver
A Irfan, D Lanti, N Manthey
Balint et al.[3], 64-65, 2013
92013
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
S Mover, A Cimatti, A Griggio, A Irfan, S Tonetta
82021
MoXI: An Intermediate Language for Symbolic Model Checking
KY Rozier, R Dureja, A Irfan, C Johannsen, K Nukala, N Shankar, ...
62024
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
62021
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
A Irfan
University of Trento, 2018
62018
Modern Cooperative Parallel SAT Solving
A Irfan, D Lanti, N Manthey
Pragmatics of SAT, 2013
52013
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20