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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ahmed Rezine