Ahmed Irfan

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