Ahmed Irfan
Ahmed Irfan
Amazon Web Services (AWS)
Bestätigte E-Mail-Adresse bei cs.stanford.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
International Conference on Tools and Algorithms for the Construction and …, 2017
272017
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
242018
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
212016
Satisfiability modulo transcendental functions via incremental linearization
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
International Conference on Automated Deduction, 95-113, 2017
192017
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
132018
Parallelization techniques for verifying neural networks
H Wu, A Ozdemir, A Zeljić, K Julian, A Irfan, D Gopinath, S Fouladi, G Katz, ...
2020 Formal Methods in Computer Aided Design (FMCAD), 128-137, 2020
72020
Pcasso–a parallel cooperative sat solver
A Irfan, D Lanti, N Manthey
Proceedings of SAT Competition, 64, 2013
72013
Modern Cooperative Parallel SAT Solving
A Irfan, D Lanti, N Manthey
Pragmatics of SAT, 2013
52013
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
A Irfan
University of Trento, 2018
42018
Search space partitioning with lookahead
A Irfan
Technical Report Technical Report 2012-04, TU Dresden, Dresden, Germany, 2012
22012
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
M Mann, A Irfan, A Griggio, O Padon, C Barrett
arXiv preprint arXiv:2101.06825, 2021
12021
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
12020
MathSAT5 (Nonlinear) at the SMT Competition 2019
A Irfan, A Griggio, A Cimatti, R Sebastiani
SMT Competition, 2019
12019
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
12018
PCASSO–a Parallel CooperAtive Sat SOlver
D Lanti, A Irfan, N Manthey
SAT COMPETITION 2014, 56, 2014
1*2014
CLAS–A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies
A Balint, D Lanti, A Irfan, N Manthey
SAT COMPETITION 2014, 21, 2014
1*2014
lazybv2int at the SMT Competition 2020
Y Zohar, A Irfan, M Mann, A Nötzli, A Reynolds, C Barrett
https://smt-comp.github.io/2020/system-descriptions/LazyBV2Int.pdf, 2020
2020
CVC4 at the SMT Competition 2020
C Barrett, H Barbosa, M Brain, A Irfan, M Mann, M Mohamed, A Niemetz, ...
2020
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization
A Irfan, A Cimatti, A Griggio, M Roveri, R Sebastiani
4th International Workshop on Satisfiability Checking and Symbolic Computation, 2019
2019
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
A Cimatti, A Irfan, A Griggio, M Roveri, R Sebastiani
2016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20