Ahmed Rezine

Available identifiers

zbMath Open rezine.ahmedMaRDI QIDQ1039840

List of research outcomes

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. Refinable subword relations for parameterized verification	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

Research outcomes over time

This page was built for person: Ahmed Rezine