متابعة
Ahmed Irfan
Ahmed Irfan
SRI International
بريد إلكتروني تم التحقق منه على cs.stanford.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20