Ahmed Irfan

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 27

Top Venues

University of Trento, Italy (PHD)

Education History

University of Trento, Italy

PHD

Publications

Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács
MCSat-based Finite Field Reasoning in the Yices2 SMT Solver. CoRR (2024)
Ahmed Irfan, Stéphane Graham-Lengrand
Arrays Reasoning in MCSat. SMT@CAV (2024)
Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács
MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper). IJCAR (1) (2024)
Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier
The MoXI Model Exchange Tool Suite. CAV (1) (2024)
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak
Testing Dafny (experience paper). ISSTA (2022)
Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
Bit-Precise Reasoning via Int-Blasting. VMCAI (2022)
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. Log. Methods Comput. Sci. 18 (3) (2022)
Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems. J. Mach. Learn. Res. 23 (2022)
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. CoRR (2021)
Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. CAV (1) (2021)
Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems. CoRR (2021)
Yoni Zohar, Ahmed Irfan, Makai Mann, Andres Nötzli, Andrew Reynolds, Clark W. Barrett
lazybvtoint at the SMT Competition 2020. CoRR (2021)
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. TACAS (1) (2021)
Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin
Optimization Modulo Non-linear Arithmetic via Incremental Linearization. FroCoS (2021)
Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett
Pono: A Flexible and Extensible SMT-Based Model Checker. CAV (2) (2021)
Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett
Smt-Switch: A Solver-Agnostic C++ API for SMT Solving. SAT (2021)
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
Parallelization Techniques for Verifying Neural Networks. FMCAD (2020)
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
Parallelization Techniques for Verifying Neural Networks. CoRR (2020)
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. SC-square@SIAM AG (2019)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. CoRR (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. SAT (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. ACM Trans. Comput. Log. 19 (3) (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CoRR (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. SYNASC (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. TACAS (1) (2017)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CADE (2017)
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
Verilog2SMV: A tool for word-level verification. DATE (2016)
Norbert Manthey, Davide Lanti, Ahmed Irfan
Modern Cooperative Parallel SAT Solving. POS@SAT (2013)

Ahmed Irfan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ahmed Irfan