| 2008 |
|---|
| 14 | EE | Abdessamad Imine:
Flexible Concurrency Control for Real-Time Collaborative Editors.
ICDCS Workshops 2008: 423-428 |
| 13 | EE | Hanifa Boucheneb,
Abdessamad Imine:
Experiments in Model-Checking Optimistic Replication Algorithms
CoRR abs/0804.3023: (2008) |
| 2007 |
|---|
| 12 | EE | Abdessamad Imine,
Michaël Rusinowitch:
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms.
Rewriting, Computation and Proof 2007: 213-234 |
| 11 | EE | Abdessamad Imine:
Component-Based Specification of Collaborative Objects.
Electr. Notes Theor. Comput. Sci. 168: 175-190 (2007) |
| 2006 |
|---|
| 10 | EE | Gérald Oster,
Pascal Urso,
Pascal Molli,
Abdessamad Imine:
Data consistency for P2P collaborative editing.
CSCW 2006: 259-268 |
| 9 | EE | 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 | EE | Abdessamad Imine,
Pascal Molli,
Gérald Oster,
Michaël Rusinowitch:
Towards Synchronizing Linear Collaborative Objects with Operational Transformation.
FORTE 2005: 411-427 |
| 2004 |
|---|
| 7 | EE | David Déharbe,
Abdessamad Imine,
Silvio Ranise:
Abstraction-Driven Verification of Array Programs.
AISC 2004: 271-275 |
| 6 | EE | Abdessamad Imine,
Pascal Molli,
Gérald Oster,
Michaël Rusinowitch:
Deductive Verification of Distributed Groupware Systems.
AMAST 2004: 226-240 |
| 2003 |
|---|
| 5 | EE | 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 | EE | 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 | EE | Abdessamad Imine,
Pascal Urso:
Automatic Detection of Copies Divergence in Collaborative Editing Systems.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 2 | EE | 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- |
