|
Search the dblp DataBase
Abdessamad Imine:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Déharbe, Abdessamad Imine, Silvio Ranise
Abstraction-Driven Verification of Array Programs. [Citation Graph (0, 0)][DBLP] AISC, 2004, pp:271-275 [Conf]
- Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
Deductive Verification of Distributed Groupware Systems. [Citation Graph (0, 0)][DBLP] AMAST, 2004, pp:226-240 [Conf]
- Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine
Data consistency for P2P collaborative editing. [Citation Graph (0, 0)][DBLP] CSCW, 2006, pp:259-268 [Conf]
- Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
Proving Correctness of Transformation Functions Functions in Real-Time Groupware. [Citation Graph (0, 0)][DBLP] ECSCW, 2003, pp:277-293 [Conf]
- Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
Towards Synchronizing Linear Collaborative Objects with Operational Transformation. [Citation Graph (0, 0)][DBLP] FORTE, 2005, pp:411-427 [Conf]
- Pascal Molli, Gérald Oster, Hala Skaf-Molli, Abdessamad Imine
Using the transformational approach to build a safe and generic data synchronizer. [Citation Graph (0, 0)][DBLP] GROUP, 2003, pp:212-220 [Conf]
- Abdessamad Imine, Yahya Slimani, Sorin Stratulat
Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems. [Citation Graph (0, 0)][DBLP] JFPLC, 2002, pp:71-0 [Conf]
- Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso
VOTE: Group Editors Analyzing Tool: System Description. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
- Abdessamad Imine, Pascal Urso
Automatic Detection of Copies Divergence in Collaborative Editing Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
- Abdessamad Imine
Component-Based Specification of Collaborative Objects. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:175-190 [Journal]
- Abdessamad Imine, Michaël Rusinowitch, Gérald Oster, Pascal Molli
Formal design and verification of operational transformation algorithms for copies convergence. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:351, n:2, pp:167-183 [Journal]
- Abdessamad Imine, Michaël Rusinowitch
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms. [Citation Graph (0, 0)][DBLP] Rewriting, Computation and Proof, 2007, pp:213-234 [Conf]
Undo-Based Access Control for Distributed Collaborative Editors. [Citation Graph (, )][DBLP]
Coordination Model for Real-Time Collaborative Editors. [Citation Graph (, )][DBLP]
On Model-Checking Optimistic Replication Algorithms. [Citation Graph (, )][DBLP]
Flexible Concurrency Control for Real-Time Collaborative Editors. [Citation Graph (, )][DBLP]
A Flexible Access Control Model for Distributed Collaborative Editors. [Citation Graph (, )][DBLP]
Safe and Efficient Strategies for Updating Firewall Policies. [Citation Graph (, )][DBLP]
Experiments in Model-Checking Optimistic Replication Algorithms [Citation Graph (, )][DBLP]
On Coordinating Collaborative Objects [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
|