9 citations · 12 across the 3 of their papers we have counts for
3 papers
cs.DC2013★ 9 cited
On Consistency of Operational Transformation Approach
Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine +1
The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange their upda…
cs.FL2010★ 2 cited
On interleaving in {P,A}-Time Petri nets with strong semantics
Hanifa Boucheneb, Kamel Barkaoui
This paper deals with the reachability analysis of {P,A}-Time Petri nets ({P,A}-TPN in short) in the context of strong semantics. It investigates the convexity of the union of stat…
cs.LO2008★ 1 cited
Experiments in Model-Checking Optimistic Replication Algorithms
Hanifa Boucheneb, Abdessamad Imine
This paper describes a series of model-checking experiments to verify optimistic replication algorithms based on Operational Transformation (OT) approach used for supporting collab…