Ahmed Rezine - RankMe

61 papers A* 6A 8B 11C 4Misc 1Journal 19Unranked 9

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