Follow
Ahmed Rezine
Title
Cited by
Cited by
Year
Regular model checking without transducers (on efficient verification of parameterized systems)
PA Abdulla, G Delzanno, NB Henda, A Rezine
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
1232007
String constraints for verification
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1062014
Parameterized verification of infinite-state processes with global conditions
PA Abdulla, G Delzanno, A Rezine
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
952007
Norn: An SMT solver for string constraints
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
912015
Counter-example guided fence insertion under TSO
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
682012
An integrated specification and verification technique for highly concurrent data structures
PA Abdulla, F Haziza, L Holík, B Jonsson, A Rezine
International Journal on Software Tools for Technology Transfer 19, 549-563, 2017
622017
Stability-aware integrated routing and scheduling for control applications in Ethernet networks
R Mahfouzi, A Aminifar, S Samii, A Rezine, P Eles, Z Peng
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 682-687, 2018
602018
Flatten and conquer: a framework for efficient analysis of string constraints
PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer
ACM SIGPLAN Notices 52 (6), 602-617, 2017
502017
Handling parameterized systems with non-atomic global conditions
PA Abdulla, N Ben Henda, G Delzanno, A Rezine
Verification, Model Checking, and Abstract Interpretation: 9th International …, 2008
482008
Monotonic abstraction for programs with dynamic memory heaps
PA Abdulla, A Bouajjani, J Cederberg, F Haziza, A Rezine
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
482008
Quantifying the information leakage in cache attacks via symbolic execution
S Chattopadhyay, M Beck, A Rezine, A Zeller
ACM Transactions on Embedded Computing Systems (TECS) 18 (1), 1-27, 2019
432019
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
422013
Detecting key players in terrorist networks
A Berzinji, L Kaati, A Rezine
2012 European Intelligence and Security Informatics Conference, 297-302, 2012
422012
Automatic fence insertion in integer programs via predicate abstraction
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
332012
Simulation-based iteration of tree transducers
PA Abdulla, A Legay, J d’Orso, A Rezine
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
322005
Trau: SMT solver for string constraints
PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer
2018 Formal Methods in Computer Aided Design (FMCAD), 1-5, 2018
312018
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.
PA Abdulla, YF Chen, G Delzanno, F Haziza, CD Hong, A Rezine
CONCUR, 86-101, 2010
312010
Tree regular model checking: A simulation-based approach
PA Abdulla, A Legay, J d’Orso, A Rezine
The Journal of Logic and Algebraic Programming 69 (1-2), 93-121, 2006
312006
Monotonic abstraction: on efficient verification of parameterized systems
PA Abdulla, G Delzanno, NB Henda, A Rezine
International Journal of Foundations of Computer Science 20 (05), 779-801, 2009
302009
Approximated parameterized verification of infinite-state processes with global conditions
PA Abdulla, G Delzanno, A Rezine
Formal Methods in System Design 34 (2), 126-156, 2009
262009
The system can't perform the operation now. Try again later.
Articles 1–20