| 2025 |
A |
conf |
CADE
Enrico Lipparini, Thomas Hader, Ahmed Irfan, Stéphane Graham-Lengrand
|
| 2025 |
J |
jnl |
CoRR
Enrico Lipparini, Thomas Hader, Ahmed Irfan, Stéphane Graham-Lengrand
|
| 2025 |
— |
conf |
CAV (3)
Thomas Hader, Ahmed Irfan, Stéphane Graham-Lengrand
|
| 2025 |
J |
jnl |
CoRR
Landon Taylor, Joshua Jeppson, Ahmed Irfan, Lukas Buecherl, Chris J. Myers, Zhen Zhang
|
| 2025 |
B |
ed. |
FMCAD
Ahmed Irfan, Daniela Kaufmann
|
| 2024 |
— |
conf |
SMT@CAV
Ahmed Irfan, Stéphane Graham-Lengrand
|
| 2024 |
— |
conf |
IJCAR (1)
Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács
|
| 2024 |
J |
jnl |
CoRR
Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács
|
| 2024 |
— |
conf |
SPIN
Kristin Yvonne Rozier, Rohit Dureja, Ahmed Irfan, Chris Johannsen, Karthik Nukala, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi
|
| 2024 |
— |
conf |
CAV (1)
Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier
|
| 2022 |
B |
conf |
VMCAI
Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
|
| 2022 |
J |
jnl |
Log. Methods Comput. Sci.
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
|
| 2022 |
J |
jnl |
J. Mach. Learn. Res.
Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer
|
| 2022 |
A |
conf |
ISSTA
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak
|
| 2021 |
— |
conf |
TACAS (1)
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
|
| 2021 |
J |
jnl |
CoRR
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
|
| 2021 |
— |
conf |
CAV (1)
Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta
|
| 2021 |
J |
jnl |
CoRR
Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer
|
| 2021 |
— |
conf |
FroCoS
Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin
|
| 2021 |
— |
conf |
CAV (2)
Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett
|
| 2021 |
A |
conf |
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 |
CoRR
Yoni Zohar, Ahmed Irfan, Makai Mann, Andres Nötzli, Andrew Reynolds, Clark W. Barrett
|
| 2020 |
B |
conf |
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 |
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 |
SC-square@SIAM AG
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
|
| 2018 |
A |
conf |
SAT
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
|
| 2018 |
J |
jnl |
ACM Trans. Comput. Log.
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
|
| 2018 |
— |
— |
Ahmed Irfan
|
| 2018 |
Misc |
conf |
SYNASC
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
|
| 2018 |
J |
jnl |
CoRR
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
|
| 2018 |
J |
jnl |
CoRR
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
|
| 2017 |
— |
conf |
TACAS (1)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
|
| 2017 |
A |
conf |
CADE
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
|
| 2016 |
A |
conf |
DATE
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
|
| 2013 |
— |
conf |
POS@SAT
Norbert Manthey, Davide Lanti, Ahmed Irfan
|