Travelled to:
1 × Austria
1 × Estonia
1 × Germany
1 × India
1 × Italy
1 × Portugal
1 × Spain
2 × France
2 × United Kingdom
3 × USA
Collaborated with:
P.A.Abdulla M.F.Atig Y.Chen G.Delzanno L.Holík C.Leonardsson P.Ganty N.B.Henda P.Rümmer F.Haziza A.Bouajjani J.Stenman Z.Ganjei P.Eles Z.Peng A.Legay J.d'Orso S.Dwarkadas A.Shriraman Y.Zhu B.Jonsson C.Dragoi C.Enea M.Sighireanu J.Cederberg Bui Phi Diep
Talks about:
verif (5) parameter (4) abstract (4) constraint (3) program (3) string (3) insert (3) fenc (3) transduc (2) process (2)
Person: Ahmed Rezine
DBLP: Rezine:Ahmed
Contributed to:
Wrote 16 papers:
- CAV-2015-AbdullaACHRRS #constraints #named #smt #string
- Norn: An SMT Solver for String Constraints (PAA, MFA, YFC, LH, AR, PR, JS), pp. 462–469.
- VMCAI-2015-GanjeiREP #process
- Abstracting and Counting Synchronizing Processes (ZG, AR, PE, ZP), pp. 227–244.
- CAV-2014-AbdullaACHRRS #constraints #string #verification
- String Constraints for Verification (PAA, MFA, YFC, LH, AR, PR, JS), pp. 150–166.
- LATA-2014-GantyR #order #verification
- Ordered Counter-Abstraction — Refinable Subword Relations for Parameterized Verification (PG, AR), pp. 396–408.
- DATE-2013-AbdullaDRSZ #hybrid #liveness #memory management #safety #transaction #verification
- Verifying safety and liveness for the FlexTM hybrid transactional memory (PAA, SD, AR, AS, YZ), pp. 785–790.
- TACAS-2013-AbdullaACLR #automation #precise
- Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 530–536.
- TACAS-2013-AbdullaHHJR #concurrent #data type #specification #verification
- An Integrated Specification and Verification Technique for Highly Concurrent Data Structures (PAA, FH, LH, BJ, AR), pp. 324–338.
- SAS-2012-AbdullaACLR #abstraction #automation #integer #source code
- Automatic Fence Insertion in Integer Programs via Predicate Abstraction (PAA, MFA, YFC, CL, AR), pp. 164–180.
- TACAS-2012-AbdullaACLR
- Counter-Example Guided Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 204–219.
- CAV-2010-BouajjaniDERS #bound #invariant #source code #synthesis
- Invariant Synthesis for Programs Manipulating Lists with Unbounded Data (AB, CD, CE, AR, MS), pp. 72–88.
- CAV-2008-AbdullaBCHR #abstraction #memory management #source code
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (PAA, AB, JC, FH, AR), pp. 341–354.
- VMCAI-2008-AbdullaHDR
- Handling Parameterized Systems with Non-atomic Global Conditions (PAA, NBH, GD, AR), pp. 22–36.
- CAV-2007-AbdullaDR #infinity #process #verification
- Parameterized Verification of Infinite-State Processes with Global Conditions (PAA, GD, AR), pp. 145–157.
- TACAS-2007-AbdullaDHR #model checking #performance #transducer #verification
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) (PAA, GD, NBH, AR), pp. 721–736.
- TACAS-2005-AbdullaLdR #transducer
- Simulation-Based Iteration of Tree Transducers (PAA, AL, Jd, AR), pp. 30–44.
- PLDI-2017-AbdullaACDHRR #analysis #constraints #framework #performance #string
- Flatten and conquer: a framework for efficient analysis of string constraints (PAA, MFA, YFC, BPD, LH, AR, PR), pp. 602–617.