The following pages link to Ahmed Rezine (Q1039840):
Displayed 19 items.
- Approximated parameterized verification of infinite-state processes with global conditions (Q1039841) (← links)
- Tree regular model checking: a simulation-based approach (Q2500700) (← links)
- Lazy Constrained Monotonic Abstraction (Q2796043) (← links)
- Counter-Example Guided Fence Insertion under TSO (Q2894272) (← links)
- AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS (Q3016215) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification (Q3584923) (← links)
- MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS (Q3646165) (← links)
- Automatic Verification of Directory-Based Consistency Protocols (Q3646250) (← links)
- Abstracting and Counting Synchronizing Processes (Q5172645) (← links)
- An Integrated Specification and Verification Technique for Highly Concurrent Data Structures (Q5326334) (← links)
- Ordered Counter-Abstraction (Q5404930) (← links)
- Parameterized Verification of Infinite-State Processes with Global Conditions (Q5429320) (← links)
- Handling Parameterized Systems with Non-atomic Global Conditions (Q5452704) (← links)
- Monotonic Abstraction in Action (Q5505593) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703778) (← links)
- Proving Liveness by Backwards Reachability (Q5756597) (← links)
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) (Q5758139) (← links)
- On Reachability in Parameterized Phaser Programs (Q6091334) (← links)