Ahmed Rezine
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
17
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | Hyperplane Input Space Cuts for Neural Network Verification. | Jonathan Hjort, Ahmed Rezine |
| 2025 | ECAI | Formal Local Implication Between Two Neural Networks. | Anahita Baninajjar, Ahmed Rezine, Amir Aminifar |
| 2025 | IJCNN | Robustness and Privacy Interplay in Patient Membership Inference. | Anahita Baninajjar, Amin Aminifar, Kamran Hosseini, Amir Aminifar, Ahmed Rezine |
| 2025 | RTCSA | Integrated Cost Optimization and Preemptable Scheduling for Real-Time Ethernet Applications. | Ayla Babazade, Soheil Samii, Ahmed Rezine |
| 2024 | ICML | VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees. | Anahita Baninajjar, Ahmed Rezine, Amir Aminifar |
| 2023 | ICASSP | SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks. | Anahita Baninajjar, Kamran Hosseini, Ahmed Rezine, Amir Aminifar |
| 2019 | TACAS | On Reachability in Parameterized Phaser Programs. | Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng |
| 2018 | DATE | Stability-aware integrated routing and scheduling for control applications in Ethernet networks. | Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng |
| 2018 | FMCAD | Trau: SMT solver for string constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Ahmed Rezine, Philipp Rmmer |
| 2017 | FMCAD | Safety verification of phaser programs. | Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
| 2017 | MEMOCODE | Quantifying the information leak in cache attacks via symbolic execution. | Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller |
| 2017 | PLDI | Flatten and conquer: a framework for efficient analysis of string constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Ahmed Rezine, Philipp Rmmer |
| 2016 | VMCAI | Lazy Constrained Monotonic Abstraction. | Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
| 2015 | CAV | Norn: An SMT Solver for String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luks Holk, Ahmed Rezine, Philipp Rmmer, Jari Stenman |
| 2015 | FMCAD | Verification of Cache Coherence Protocols wrt. Trace Filters. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu |
| 2015 | VMCAI | Abstracting and Counting Synchronizing Processes. | Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
| 2014 | CAV | String Constraints for Verification. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luks Holk, Ahmed Rezine, Philipp Rmmer, Jari Stenman |
| 2014 | LATA | Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification. | Pierre Ganty, Ahmed Rezine |
| 2013 | DATE | Verifying safety and liveness for the FlexTM hybrid transactional memory. | Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu |
| 2013 | TACAS | Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2013 | TACAS | An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. | Parosh Aziz Abdulla, Frdric Haziza, Luks Holk, Bengt Jonsson, Ahmed Rezine |
| 2012 | SAS | Automatic Fence Insertion in Integer Programs via Predicate Abstraction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2012 | TACAS | Counter-Example Guided Fence Insertion under TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2010 | CAV | Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu |
| 2010 | CONCUR | Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. | Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frdric Haziza, Chih-Duo Hong, Ahmed Rezine |
| 2009 | FORTE | Approximated Context-Sensitive Analysis for Parameterized Verification. | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
| 2008 | CAV | Monotonic Abstraction for Programs with Dynamic Memory Heaps. | Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frdric Haziza, Ahmed Rezine |
| 2008 | FORTE | Parameterized Tree Systems. | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frdric Haziza, Ahmed Rezine |
| 2008 | ICTAC | Monotonic Abstraction in Action. | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
| 2008 | VMCAI | Handling Parameterized Systems with Non-atomic Global Conditions. | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine |
| 2007 | CAV | Parameterized Verification of Infinite-State Processes with Global Conditions. | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
| 2007 | TACAS | Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). | Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine |
| 2006 | CONCUR | Proving Liveness by Backwards Reachability. | Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena |
| 2005 | TACAS | Simulation-Based Iteration of Tree Transducers. | Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine |