List of publications


Journal:
Electronic Journals:
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:
National Conferences:
Technical Reports: