| 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 | 123 | 2007 |
| 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 | 109 | 2014 |
| 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 | 95 | 2007 |
| 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 | 94 | 2015 |
| 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 | 69 | 2012 |
| 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 | 62 | 2018 |
| 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 | 62 | 2017 |
| 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 | 53 | 2017 |
| 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 | 49 | 2008 |
| 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 | 47 | 2008 |
| 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 | 45 | 2019 |
| Detecting key players in terrorist networks A Berzinji, L Kaati, A Rezine 2012 European Intelligence and Security Informatics Conference, 297-302, 2012 | 44 | 2012 |
| 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 | 42 | 2013 |
| 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 | 34 | 2018 |
| 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 | 33 | 2012 |
| Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. PA Abdulla, YF Chen, G Delzanno, F Haziza, CD Hong, A Rezine CONCUR, 86-101, 2010 | 32 | 2010 |
| 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 | 32 | 2005 |
| 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 | 30 | 2009 |
| 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 | 30 | 2006 |
| 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 | 27 | 2009 |
