BibSonomy publications for /author/Imine http://www.bibsonomy.org/author/Imine BibSonomy RSS Feed for /author/Imine Experiments in Model-Checking Optimistic Replication Algorithms dblp http://www.bibsonomy.org/bibtex/29c0dd280ad88298170ee2b0b6029c222/dblp dblp 2008-05-05T00:00:00+02:00 dblp
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
]]> Triangular Observers for Road Profiles Inputs Estimation and Vehicle Dynamics Analysis. dblp http://www.bibsonomy.org/bibtex/22e860095141c8191d0eeffe09aa7ebc3/dblp dblp 2007-11-21T00:00:00+01:00 dblp
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
]]> A New Security Architecture for Personal Networks. dblp http://www.bibsonomy.org/bibtex/24367686ef6f990931fe82e473a399dbf/dblp dblp 2007-10-30T00:00:00+01:00 dblp
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
]]> Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms. dblp http://www.bibsonomy.org/bibtex/2ae72472aaeff0bc8026a4a85a9dc61d3/dblp dblp 2007-09-07T00:00:00+02:00 dblp
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
]]> Development of Transformation Functions Assisted by Theorem Prover molli http://www.bibsonomy.org/bibtex/20bafc8076045e7b9d9c9c495fd7953ba/momo54 momo54 2007-06-21T16:20:22+02:00 system:unfiled
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
]]> Proving Correctness of Transformation Functions in Real-Time Groupware molli http://www.bibsonomy.org/bibtex/27ee7efa79b662d1bcf6260b435bc92bb/momo54 momo54 2007-06-21T16:20:22+02:00 CSCW OT operational transformation
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
]]> VOTE: Group Editors Analyzing Tool molli http://www.bibsonomy.org/bibtex/2c3eb3524b17c06c897fc404288f7a27b/momo54 momo54 2007-06-21T16:20:22+02:00 CSCW OT operational transformation
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
]]> Using the Transformational Approach to Build a Safe and Generic Data Synchronizer molli http://www.bibsonomy.org/bibtex/2273d9ab66274b4f118f051eaef1b965e/momo54 momo54 2007-06-21T16:20:22+02:00 OT operational transformation
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
]]> Safe Generic Data Synchronizer molli http://www.bibsonomy.org/bibtex/2dbfd03afe8c06b07726e8dac9900df7a/momo54 momo54 2007-06-21T16:20:22+02:00 OT SCM SO6 operational transformation
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
]]> Deductive Verification of Distributed Groupware Systems molli http://www.bibsonomy.org/bibtex/2b1da922b03290cf6433b7218f701df15/momo54 momo54 2007-06-21T16:20:22+02:00 algebraic distributed formal operational specification, systems, transformation verification,
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
]]>