BibSonomy :: author  ::

bookmarks

publications

(33)

• Experiments in Model-Checking Optimistic Replication Algorithms
  Hanifa Boucheneb and Abdessamad Imine CoRR abs/0804.3023 (2008)
  to dblp by dblp on 2008-05-05 00:00:00
  | URL | BibTeX  
• Triangular Observers for Road Profiles Inputs Estimation and Vehicle Dynamics Analysis.
  Hocine Imine and Yves Delanne ICRA 4751-4756 (2005)
  to dblp by dblp on 2007-11-21 00:00:00
  | URL | BibTeX  
• A New Security Architecture for Personal Networks.
  SeongHan Shin and Hanane Fathi and Mohamed Imine and Kazukuni Kobara and Neeli R. Prasad and Hideki Imai GLOBECOM (2006)
  to dblp by dblp on 2007-10-30 00:00:00
  | URL | BibTeX  
• Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms.
  Abdessamad Imine and Michaël Rusinowitch Rewriting, Computation and Proof 213-234 (2007)
  to dblp by dblp on 2007-09-07 00:00:00
  | URL | BibTeX  
• Development of Transformation Functions Assisted by Theorem Prover
  Pascal Molli and Gérald Oster and Michaël Rusinowitch and Abdessamad Imine The Fourth International Workshop on Collaborative Editing (2002)
  to system:unfiled by momo54 on 2007-06-21 16:20:22
  | BibTeX  
• Proving Correctness of Transformation Functions in Real-Time Groupware
  Abdessamad Imine and Pascal Molli and Gérald Oster and Michaël Rusinowitch Proceedings of the 8th European Conference on Computer-Supported Cooperative Work (ECSCW 2003) (2003)
  to CSCW OT operational transformation by momo54 on 2007-06-21 16:20:22
  | BibTeX  
• VOTE: Group Editors Analyzing Tool
  Abdessamad Imine and Pascal Molli and Gérald Oster and Pascal Urso International Workshop on First-Order Theorem Proving (FTP 2003) (2003)
  to CSCW OT operational transformation by momo54 on 2007-06-21 16:20:22
  | BibTeX  
• Using the Transformational Approach to Build a Safe and Generic Data Synchronizer
  Pascal Molli and Gérald Oster and Hala Skaf-Molli and Abdessamad Imine Proceedings of the ACM SIGGROUP Conference on Supporting Group Work - GROUP 2003 212--220 (2003)
  to OT operational transformation by momo54 and 1 other person on 2007-06-21 16:20:22
  | BibTeX  
• Safe Generic Data Synchronizer
  Pascal Molli and Gérald Oster and Hala Skaf-Molli and Abdessamad Imine (2003)
  to OT SCM SO6 operational transformation by momo54 on 2007-06-21 16:20:22
  | BibTeX  
• Deductive Verification of Distributed Groupware Systems
  Abdessamad Imine and Pascal Molli and Gérald Oster and Michaël Rusinowitch Tenth International Conference on Algebraic Methodology and Software Technology - AMAST 2004, Stirling, Scotland, United Kingdom ( 2004)
  to algebraic distributed formal operational specification, systems, transformation verification, by momo54 and 1 other person on 2007-06-21 16:20:22
  | BibTeX