Ahmed Irfan

MaRDI QIDQ831940zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays Logical Methods in Computer Science	2022-10-06	Paper
Implicit semi-algebraic abstraction for polynomial dynamical systems	2022-03-25	Paper
Optimization modulo non-linear arithmetic via incremental linearization	2022-03-24	Paper
Smt-Switch: a solver-agnostic C++ API for SMT solving (available as arXiv preprint)	2022-03-22	Paper
Counterexample-guided prophecy for model checking modulo the theory of arrays (available as arXiv preprint)	2021-08-04	Paper
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions ACM Transactions on Computational Logic	2018-10-24	Paper
Experimenting on solving nonlinear integer arithmetic with incremental linearization	2018-08-10	Paper
Satisfiability modulo transcendental functions via incremental linearization (available as arXiv preprint)	2017-09-22	Paper

Research outcomes over time

This page was built for person: Ahmed Irfan