Ahmed Rezine

Available identifiers

Publication	Date of Publication	Type
On Reachability in Parameterized Phaser Programs	2023-11-24	Paper
Lazy Constrained Monotonic Abstraction	2016-03-23	Paper
Abstracting and Counting Synchronizing Processes	2015-02-04	Paper
Ordered Counter-Abstraction	2014-03-31	Paper
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures	2013-08-05	Paper
Counter-Example Guided Fence Insertion under TSO	2012-06-29	Paper
AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS	2011-07-14	Paper
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification	2010-08-31	Paper
Approximated parameterized verification of infinite-state processes with global conditions	2009-11-23	Paper
MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS	2009-11-19	Paper
Automatic Verification of Directory-Based Consistency Protocols	2009-11-19	Paper
Monotonic Abstraction in Action	2009-01-27	Paper
Monotonic Abstraction for Programs with Dynamic Memory Heaps	2008-07-15	Paper
Handling Parameterized Systems with Non-atomic Global Conditions	2008-04-04	Paper
Parameterized Verification of Infinite-State Processes with Global Conditions	2007-11-29	Paper
Proving Liveness by Backwards Reachability	2007-09-04	Paper
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)	2007-09-03	Paper
Tree regular model checking: a simulation-based approach	2006-08-17	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ahmed Rezine