The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Abdessamad Imine: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Déharbe, Abdessamad Imine, Silvio Ranise
    Abstraction-Driven Verification of Array Programs. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:271-275 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]

  13. Undo-Based Access Control for Distributed Collaborative Editors. [Citation Graph (, )][DBLP]


  14. Coordination Model for Real-Time Collaborative Editors. [Citation Graph (, )][DBLP]


  15. On Model-Checking Optimistic Replication Algorithms. [Citation Graph (, )][DBLP]


  16. Flexible Concurrency Control for Real-Time Collaborative Editors. [Citation Graph (, )][DBLP]


  17. A Flexible Access Control Model for Distributed Collaborative Editors. [Citation Graph (, )][DBLP]


  18. Safe and Efficient Strategies for Updating Firewall Policies. [Citation Graph (, )][DBLP]


  19. Experiments in Model-Checking Optimistic Replication Algorithms [Citation Graph (, )][DBLP]


  20. On Coordinating Collaborative Objects [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002