Ahmed Rezine

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 20

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

FMCAD

VMCAI

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Anahita Baninajjar, Kamran Hosseini, Ahmed Rezine, Amir Aminifar
SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks. ICASSP (2023)
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar
Verification-Friendly Deep Neural Networks. CoRR (2023)
Adrian Horga, Ahmed Rezine, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
Symbolic identification of shared memory based bank conflicts for GPUs. J. Syst. Archit. 127 (2022)
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine
Correction to: An integrated specification and verification technique for highly concurrent data structures. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng
Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN. IEEE Des. Test 38 (5) (2021)
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Verifying Safety of Parameterized Heard-Of Algorithms. NETYS (2020)
Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (3) (2020)
Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller
Quantifying the Information Leakage in Cache Attacks via Symbolic Execution. ACM Trans. Embed. Comput. Syst. 18 (1) (2019)
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
On Reachability in Parameterized Phaser Programs. TACAS (1) (2019)
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
On Reachability in Parameterized Phaser Programs. CoRR (2018)
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng
Stability-aware integrated routing and scheduling for control applications in Ethernet networks. DATE (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
Trau: SMT solver for string constraints. FMCAD (2018)
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Safety verification of phaser programs. FMCAD (2017)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
Flatten and conquer: a framework for efficient analysis of string constraints. PLDI (2017)
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine
An integrated specification and verification technique for highly concurrent data structures. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Safety Verification of Phaser Programs. CoRR (2017)
Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller
Quantifying the information leak in cache attacks via symbolic execution. MEMOCODE (2017)
Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller
Quantifying the Information Leak in Cache Attacks through Symbolic Execution. CoRR (2016)
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Counting dynamically synchronizing processes. Int. J. Softw. Tools Technol. Transf. 18 (5) (2016)
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Lazy Constrained Monotonic Abstraction. VMCAI (2016)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu
Verification of Cache Coherence Protocols wrt. Trace Filters. FMCAD (2015)
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Abstracting and Counting Synchronizing Processes. VMCAI (2015)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
Norn: An SMT Solver for String Constraints. CAV (1) (2015)
Pierre Ganty, Ahmed Rezine
Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification. LATA (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
String Constraints for Verification. CAV (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. TACAS (2013)
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. TACAS (2013)
Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu
Verifying safety and liveness for the FlexTM hybrid transactional memory. DATE (2013)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
Counter-Example Guided Fence Insertion under TSO. TACAS (2012)
Ahmed Rezine
Ordered Counter-Abstraction CoRR (2012)
Ying Zhang, Ahmed Rezine, Petru Eles, Zebo Peng
Automatic Test Program Generation for Out-of-Order Superscalar Processors. Asian Test Symposium (2012)
Ala Berzinji, Lisa Kaati, Ahmed Rezine
Detecting Key Players in Terrorist Networks. EISIC (2012)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
Automatic Fence Insertion in Integer Programs via Predicate Abstraction. SAS (2012)
Giorgio Delzanno, Ahmed Rezine
A lightweight regular model checking approach for parameterized systems. Int. J. Softw. Tools Technol. Transf. 14 (2) (2012)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints. Int. J. Found. Comput. Sci. 22 (4) (2011)
Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. CONCUR (2010)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. CAV (2010)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Approximated Context-Sensitive Analysis for Parameterized Verification. FMOODS/FORTE (2009)
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine
Monotonic Abstraction: on Efficient Verification of Parameterized Systems. Int. J. Found. Comput. Sci. 20 (5) (2009)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Automatic Verification of Directory-Based Consistency Protocols. RP (2009)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Approximated parameterized verification of infinite-state processes with global conditions. Formal Methods Syst. Des. 34 (2) (2009)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Monotonic Abstraction in Action. ICTAC (2008)
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ran Ji, Ahmed Rezine
Shape Analysis via Monotonic Abstraction. Beyond the Finite: New Challenges in Verification and Semistructured Data (2008)
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine
Parameterized Tree Systems. FORTE (2008)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Monotonic Abstraction in Parameterized Verification. Electron. Notes Theor. Comput. Sci. 223 (2008)
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine
Monotonic Abstraction for Programs with Dynamic Memory Heaps. CAV (2008)
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine
Handling Parameterized Systems with Non-atomic Global Conditions. VMCAI (2008)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Parameterized Verification of Infinite-State Processes with Global Conditions. CAV (2007)
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). TACAS (2007)
Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
Tree regular model checking: A simulation-based approach. J. Log. Algebraic Methods Program. 69 (1-2) (2006)
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena
Proving Liveness by Backwards Reachability. CONCUR (2006)
Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
Simulation-Based Iteration of Tree Transducers. TACAS (2005)

Ahmed Rezine.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ahmed Rezine