Ahmed Irfan
PostDoc Researcher in the Embedded Systems Unit
Center for Information Technology
Fondazione Bruno Kessler
Via Sommarive 18, Povo, 38123, Trento, Italy
Phone: +39 0461 314 340
Fax: +39 0461 302 040 / 314 591
Email: irfan _at_ fbk _dot_ eu
Areas of Interest
- Propostional Satisfiability (SAT)
- Satisfiability Modulo Theories (SMT)
- NonLinear Arithmetic
- Symbolic Model Checking
- Verification Modulo Theories, SMT-based model checking
Other Profiles
Publications
Papers in Journal
- Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani.
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions.
ACM Transactions on Computational Logic (TOCL), 2018.
PDF
Conference Papers
- Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani.
Incremental Linearization: A Practical Approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions.
To appear. SYNASC 2018.
PDF
- Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani.
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization.
In proc. SAT 2018.
PDF
- Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani.
Satisfiability Modulo Transcendental Functions via Incremental Linearization.
In proc. CADE 2017.
PDF
- Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani.
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.
In proc. TACAS 2017.
PDF
- Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani.
Verilog2SMV: A tool for word-level verification.
In proc. DATE 2016.
PDF
Workshop Papers
- Ahmed Irfan, Davide Lanti, Nobert Manthey.
Modern Cooperative Parallel SAT Solving.
Pragmatics of SAT, 2013.
PDF
Workshop (Non-Archival) Papers
- Alessandro Cimatti, Ahmed Irfan, Alberto Griggio, Marco Roveri, Roberto Sebastiani.
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic.
Satisfiability Checking and Symbolic Computation, 2016.
PDF
PhD Thesis
- Ahmed Irfan.
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions.
University of Trento and Fondazione Bruno Kessler, May 2018.
PDF
Masters Thesis
- Ahmed Irfan.
State-of-the-Art Cooperative Parallel SAT Solving.
Technische Universitat Dresden, April 2013.
PDF
- Ahmed Irfan.
Search Space Partitioning with Lookahead.
Technische Universitat Dresden, November 2012.
PDF