Ahmed Rezine

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On Reachability in Parameterized Phaser Programs Tools and Algorithms for the Construction and Analysis of Systems	2023-11-24	Paper
Lazy constrained monotonic abstraction Lecture Notes in Computer Science	2016-03-23	Paper
Abstracting and counting synchronizing processes Lecture Notes in Computer Science	2015-02-04	Paper
Ordered counter-abstraction. Refinable subword relations for parameterized verification Language and Automata Theory and Applications	2014-03-31	Paper
An integrated specification and verification technique for highly concurrent data structures Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
Counter-Example Guided Fence Insertion under TSO Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
Automatic verification of directory-based consistency protocols with graph constraints International Journal of Foundations of Computer Science	2011-07-14	Paper
Constrained monotonic abstraction: a CEGAR for parameterized verification CONCUR 2010 - Concurrency Theory	2010-08-31	Paper
Approximated parameterized verification of infinite-state processes with global conditions Formal Methods in System Design	2009-11-23	Paper
MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS International Journal of Foundations of Computer Science	2009-11-19	Paper
Automatic Verification of Directory-Based Consistency Protocols Lecture Notes in Computer Science	2009-11-19	Paper
Monotonic Abstraction in Action Theoretical Aspects of Computing - ICTAC 2008	2009-01-27	Paper
Monotonic Abstraction for Programs with Dynamic Memory Heaps Computer Aided Verification	2008-07-15	Paper
Handling Parameterized Systems with Non-atomic Global Conditions Lecture Notes in Computer Science	2008-04-04	Paper
Parameterized Verification of Infinite-State Processes with Global Conditions Computer Aided Verification	2007-11-29	Paper
Proving Liveness by Backwards Reachability CONCUR 2006 – Concurrency Theory	2007-09-04	Paper
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) Tools and Algorithms for the Construction and Analysis of Systems	2007-09-03	Paper
Tree regular model checking: a simulation-based approach The Journal of Logic and Algebraic Programming	2006-08-17	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2005-11-10	Paper

Research outcomes over time

This page was built for person: Ahmed Rezine