List of publications

Journal:

A. Imine, M. Rusinowitch, G. Oster and P. Molli. “ Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence”. Journal of Theoretical Computer Science, 351(2):167-183 (2006).

Electronic Journals:

A. Imine, “ Component-based Specification of Collaborative Objects”. Electronic Notes in Theoretical Computer Science 168: (2007). In the Second International Workshop on Views On Designing Complex Architectures (VODCA), Bertinoro, Italy, September 2006.
A. Imine and P. Urso. “ Automatic Detection of Copies Divergence in Collaborative Editing Systems ”. Electr. Notes Theor. Comput. Sci. 80: (2003). In the 8th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS'03), Roros, Norway, August 2003.
A. Imine, P. Molli, G. Oster and P. Urso. “ VOTE: Group Editors Analyzing Tool: System Description”. Electr. Notes Theor. Comput. Sci. 86(1): (2003). In the 4th Workshop on First-Order Theorem Proving (FTP'03), Valencia, Spain, May 2003.
A. Imine, P. Molli, G. Oster and M. Rusinowitch. “ Development of Transformation Functions Assisted by Theorem Prover”. IEEE Distributed Systems Online, November 2002. In The Fourth International Workshop on Collaborative Editing (ACM CSCW 2002), New Orleans, Louisiana, USA, November 2002.

International Conferences:

A. Imine. “ Coordination Model for Real-time Collaborative Editors”. Accepted in the 11th international conference on Coordination Models and Languages, COORDINATION 2009, Lisbon, Portugal, June 9-11, 2009.
H. Boucheneb and A. Imine. “ On Model-Checking Optimistic Replication Algorithms”. Accepted in the 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems, FMOODS/FORTE 2009, Lisbon, Portugal, June 9-11, 2009.
A. Imine. “ Flexible Concurrency Control for Real-time Collaborative Editors”. In the 28th International Conference on Distributed Computing Systems Workshops, ICDCSW 2008, pages 423-428, Beijing, China, June 2008. IEEE Computer Society.
G. Oster, P. Urso, P. Molli and A. Imine. “ Data Consistency for P2P Collaborative Editing”. In Proceedings of the 2006 ACM Conference on Computer Supported Cooperative Work, CSCW 2006, Banff, Alberta, Canada, November 4-8, 2006.
G. Oster, P. Urso, P. Molli and A. Imine. “ Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems”. In The Second International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2006), Atlanta, Georgia, USA, November 2006.
A. Imine, M. Rusinowitch, G. Oster and P. Molli. “ Towards Synchronizing Linear Collaborative Objects with Operational Transformation”. Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, LNCS Vol. 3731, Taipei, Taiwan, October 2-5, 2005.
A. Imine, P. Molli, G. Oster and M. Rusinowitch. “ Deductive Verification of Operational Transformation Algorithms”. In 10th International Conference on Algebraic Methodology And Software Technology (AMAST'2004), LNCS Vol. 3116. July 12th - 16th, 2004, Stirling, Scotland, UK.
D. Déharbe, A. Imine and S. Ranise. “ Abstraction-Driven Verification of Array Programs (Extended Abstract)”. the 7th International Conference on Artificial Intelligence and Symbolic Computation (AISC'04), LNCS vol. 3249, pages 271-275, Linz, Austria, September 2004. Springer.
P. Molli, , G. Oster, H. Skaf-Molli and A. Imine. “ Using the Transformational Approach to Build a Safe and Generic Data Synchronizer”. Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work, pp. 212–220, Sanibel Island, Florida, USA, November 2003.
A. Imine, P. Molli, G. Oster and M. Rusinowitch. “ Proving Correctness of Transformation Functions in Real-Time Groupware”. Proceedings of The 8th European Conference on Computer-Supported Cooperative Work, (ECSCW'03). pp. 277–294, Helsinki, Finland, September 2003.
A. Imine and S. Ranise. “ Building Satisfiability Procedures for Verification: The Case Study of Sorting Algorithms ”. Proc. of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'03), Uppsala, Sweden, August 2003.
Y. Slimani, A. Imine, B. Djellali and L. Sekhri. “Modelling and Verifying Parallel Programs”. THE Tenth International Symposium on Computer and Information Sciences (ISCIS'95), Izmir,Turkey, October 30 - November 1, 1995.
Y. Slimani, A. Imine, B. Djellali and L. Sekhri. “Designing Parallel Programs”. The Second Annual Joint Conference on Information Science (JCIS'95), North Carolina, USA, September 28 - October 1, 1995.
Y. Slimani, A. Imine, B. Djellali and L. Sekhri. “Reliability Enhancement of Parallel and Distributed Programs”. The Second Annual Joint Conference on Information Science (JCIS'95), North Carolina, USA, September 28 - October 1, 1995.
Y. Slimani, A. Imine, B. Djellali and L. Sekhri. “Detecting Stable Properties in Occam Programs”. The Fifth International Conference on Parallel Computing (PARCO'95), Gent, Belgium, September 19-22, 1995.

Invited Contributions:

A. Imine and M. Rusinowitch. “ Applying a Theorem Prover to the Verification of Optimisitic Replication Algorithms”. Workshop on Rewriting, Cachan (France), June 20-21, 2007. Proceedings to appear in LNCS, Springer Verlag.

National Conferences:

G. Oster, P. Urso, P. Molli and A. Imine. “ Edition collaborative sur réseau pair-à-pair à large échelle”. Journées Francophones sur la Cohérence des Données en Univers Réparti, (CDUR'05), Paris, France, Novembre 2005.
G. Oster, P. Molli, H. Skaf-Molli and A. Imine. “ Un modèle sûr et générique pour la synchronisation de données divergentes”. Premières Journées Francophones: Mobilité et Ubiquité 2004. Mardi 1-3 juin 2004, Nice, Sophia-Antipolis.
A. Imine, Y. Slimani and S. Stratulat. “ Using Automated Induction-based Theorem Provers for Reasoning on Concurrent Systems”. Proceedings of Onzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'02), pp. 71-85, Hermès Science Publications. Nice, France, May 27-30, 2002.

Technical Reports:

Z. Ahmed, A. Imine and M. Rusinowitch. “ Safe and Efficient Strategies for Updating Firewall Policies”. Research report , INRIA, April 2009.
A. Imine, A. Cherif and M. Rusinowitch. “ An Optimistic Mandatory Access Control Model for Distributed Collaborative Editors”. Research report , INRIA, February 2009.
G. Oster, , P. Urso , P. Molli and A. Imine. “ Proving correctness of transformation functions in collaborative editing systems”. Research report RR-5795, INRIA Lorraine, December 2005.
G. Oster, P. Urso , P. Molli, H. Skaf-Molli and A. Imine. “ Optimistic replication for massive collaborative editing”. Research report RR-5719, INRIA Lorraine, October 2005.
G. Oster, , P. Urso , P. Molli and A. Imine. “ Real time group editors without operational transformation”. Research report RR-5580, INRIA Lorraine, May 2005.
A. Imine, P. Molli, G. Oster and M. Rusinowitch. “ Achieving Convergence with Operational Transformation in Distributed Groupware Systems”. Research report, RR-5188, INRIA, Mai 2004.
P. Molli, H. Skaf-Molli, G. Oster and A. Imine. “ Safe Generic Data Synchronizer”. Research report A03-R-062, LORIA, Nancy (France), Mai 2003.