Ahmed Rezine
Ahmed Rezine
Email verificata su liu.se - Home page
TitoloCitata daAnno
Regular model checking without transducers (on efficient verification of parameterized systems)
PA Abdulla, G Delzanno, NB Henda, A Rezine
International Conference on Tools and Algorithms for the Construction andá…, 2007
1052007
Parameterized verification of infinite-state processes with global conditions
PA Abdulla, G Delzanno, A Rezine
International Conference on Computer Aided Verification, 145-157, 2007
882007
String constraints for verification
PA Abdulla, MF Atig, YF Chen, L HolÝk, A Rezine, P RŘmmer, J Stenman
International Conference on Computer Aided Verification, 150-166, 2014
632014
Counter-example guided fence insertion under TSO
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
International Conference on Tools and Algorithms for the Construction andá…, 2012
622012
Norn: An SMT solver for string constraints
PA Abdulla, MF Atig, YF Chen, L HolÝk, A Rezine, P RŘmmer, J Stenman
International Conference on Computer Aided Verification, 462-469, 2015
492015
An integrated specification and verification technique for highly concurrent data structures
PA Abdulla, F Haziza, L HolÝk, B Jonsson, A Rezine
International Conference on Tools and Algorithms for the Construction andá…, 2013
48*2013
Monotonic abstraction for programs with dynamic memory heaps
PA Abdulla, A Bouajjani, J Cederberg, F Haziza, A Rezine
International Conference on Computer Aided Verification, 341-354, 2008
452008
Handling parameterized systems with non-atomic global conditions
PA Abdulla, NB Henda, G Delzanno, A Rezine
International Workshop on Verification, Model Checking, and Abstractá…, 2008
402008
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
International Conference on Tools and Algorithms for the Construction andá…, 2013
392013
Automatic fence insertion in integer programs via predicate abstraction
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
International Static Analysis Symposium, 164-180, 2012
342012
Simulation-based iteration of tree transducers
PA Abdulla, A Legay, J d’Orso, A Rezine
International Conference on Tools and Algorithms for the Construction andá…, 2005
332005
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
302006
Constrained monotonic abstraction: A cegar for parameterized verification
PA Abdulla, YF Chen, G Delzanno, F Haziza, CD Hong, A Rezine
International Conference on Concurrency Theory, 86-101, 2010
282010
Detecting key players in terrorist networks
A Berzinji, L Kaati, A Rezine
2012 European Intelligence and Security Informatics Conference, 297-302, 2012
252012
Invariant synthesis for programs manipulating lists with unbounded data
A Bouajjani, C Drăgoi, C Enea, A Rezine, M Sighireanu
International Conference on Computer Aided Verification, 72-88, 2010
222010
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
222009
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
212017
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
202009
Proving liveness by backwards reachability
PA Abdulla, B Jonsson, A Rezine, M Saksena
International Conference on Concurrency Theory, 95-109, 2006
192006
Approximated context-sensitive analysis for parameterized verification
PA Abdulla, G Delzanno, A Rezine
Formal Techniques for Distributed Systems, 41-56, 2009
152009
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20