 | 2009 |
|---|
| 18 |       | Asma Cherif,
Abdessamad Imine:
Undo-Based Access Control for Distributed Collaborative Editors.
CDVE 2009: 101-108 |
| 17 | | Abdessamad Imine:
Coordination Model for Real-Time Collaborative Editors.
COORDINATION 2009: 225-246 |
| 16 | | Hanifa Boucheneb,
Abdessamad Imine:
On Model-Checking Optimistic Replication Algorithms.
FMOODS/FORTE 2009: 73-89 |
| 15 | | Abdessamad Imine,
Asma Cherif,
Michaël Rusinowitch:
A Flexible Access Control Model for Distributed Collaborative Editors.
Secure Data Management 2009: 89-106 |
| 2008 |
|---|
| 14 | | Abdessamad Imine:
Flexible Concurrency Control for Real-Time Collaborative Editors.
ICDCS Workshops 2008: 423-428 |
| 13 | | Hanifa Boucheneb,
Abdessamad Imine:
Experiments in Model-Checking Optimistic Replication Algorithms
CoRR abs/0804.3023: (2008) |
| 2007 |
|---|
| 12 | | Abdessamad Imine,
Michaël Rusinowitch:
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms.
Rewriting, Computation and Proof 2007: 213-234 |
| 11 | | Abdessamad Imine:
Component-Based Specification of Collaborative Objects.
Electr. Notes Theor. Comput. Sci. 168: 175-190 (2007) |
| 2006 |
|---|
| 10 | | Gérald Oster,
Pascal Urso,
Pascal Molli,
Abdessamad Imine:
Data consistency for P2P collaborative editing.
CSCW 2006: 259-268 |
| 9 | | Abdessamad Imine,
Michaël Rusinowitch,
Gérald Oster,
Pascal Molli:
Formal design and verification of operational transformation algorithms for copies convergence.
Theor. Comput. Sci. 351(2): 167-183 (2006) |
| 2005 |
|---|
| 8 | | Abdessamad Imine,
Pascal Molli,
Gérald Oster,
Michaël Rusinowitch:
Towards Synchronizing Linear Collaborative Objects with Operational Transformation.
FORTE 2005: 411-427 |
| 2004 |
|---|
| 7 | | David Déharbe,
Abdessamad Imine,
Silvio Ranise:
Abstraction-Driven Verification of Array Programs.
AISC 2004: 271-275 |
| 6 | | Abdessamad Imine,
Pascal Molli,
Gérald Oster,
Michaël Rusinowitch:
Deductive Verification of Distributed Groupware Systems.
AMAST 2004: 226-240 |
| 2003 |
|---|
| 5 | | Abdessamad Imine,
Pascal Molli,
Gérald Oster,
Michaël Rusinowitch:
Proving Correctness of Transformation Functions Functions in Real-Time Groupware.
ECSCW 2003: 277-293 |
| 4 | | Pascal Molli,
Gérald Oster,
Hala Skaf-Molli,
Abdessamad Imine:
Using the transformational approach to build a safe and generic data synchronizer.
GROUP 2003: 212-220 |
| 3 | | Abdessamad Imine,
Pascal Urso:
Automatic Detection of Copies Divergence in Collaborative Editing Systems.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 2 | | Abdessamad Imine,
Pascal Molli,
Gérald Oster,
Pascal Urso:
VOTE: Group Editors Analyzing Tool: System Description.
Electr. Notes Theor. Comput. Sci. 86(1): (2003) |
| 2002 |
|---|
| 1 |  | Abdessamad Imine,
Yahya Slimani,
Sorin Stratulat:
Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems.
JFPLC 2002: 71- |
