List of publications


List from DBLP

International Journals:
  • H.H. Nguyen, A. Imine and M. Rusinowitch. “Network Structure Release under Differential Privacy”. To appear in, Journal of Transactions on Data Privacy, (2017).

  • N. Guetmi and A. Imine. “Cloud Patterns for Mobile Collaborative Applications”. To appear in, the International Journal of Intelligent Information and Database Systems, Inderscience, (2017).

  • M.D. Mechaoui, N. Guetmi and A. Imine. “MiCa: Lightweight and mobile collaboration across a collaborative editing service in the cloud”. Journal of Peer-to-Peer Networking and Applications, 9(6): 1242-1269, Springer, (2016).

  • H. Mahfoud and A. Imine. “Efficient Querying of XML Data Through Arbitrary Security Views”. Journal of Transactions Large-Scale Data and Knowledge-Centered Systems, 22: 75-114, Springer, (2015).

  • A. Randolph, H. Boucheneb, A. Imine and A. Quintero. “On Synthesizing a Consistent Operational Transformation Approach”. Journal of IEEE Transactions on Computers, 9(6): 1242-1269, Springer, 64(4): 1074-1089, (2015).

  • M. Ahmad, A. Imine and H. Mahfoud. “A Highly Concurrent Replicated Data Structure”. Journal EAI Endorsed Trans. Collaborative Computing, 1(6): e4, (2015).

  • A. Cherif, A. Imine and M. Rusinowitch. “Practical access control management for distributed collaborative editors”. Journal Pervasive and Mobile Computing Journal, 15: 62-86, Elsevier, (2014).

  • A. Imine, “Component-based Specification of Collaborative Objects”. Electronic Notes in Theoretical Computer Science 168:175-190, (2007).

  • 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).

  • A. Imine and P. Urso. “Automatic Detection of Copies Divergence in Collaborative Editing Systems ”. Electronic Notes in Theoretical Computer Science 80: (2003).

  • A. Imine, P. Molli, G. Oster and P. Urso. “VOTE: Group Editors Analyzing Tool: System Description”. Electronic Notes in Theoretical Computer Science. 86(1): (2003).

  • A. Imine, P. Molli, G. Oster and M. Rusinowitch. “Development of Transformation Functions Assisted by Theorem Prover”. IEEE Distributed Systems Online, November 2002.


National Journals:
  • A. Randolph, A. Imine, H. Boucheneb and A. Quintero. “Specification et Analyse d un Protocole de Controle d Acces Optimiste pour des Editeurs Collaboratifs Repartis”. Journal Ingenierie des Systemes d'Information, 19(6): 9-32, (2015).

Book Chapters:
International Conferences and Workshops:
  • Y. ABID, A. IMINE, A. DI NAPOLI, C. RAISSI and M. RUSINOWITCH. ``Online link disclosure strategies for social networks''. The 11th International Conference on Risks and Security of Internet and Systems (CRiSIS), Roscoff, France, September, 2016.

  • A. CHERIF and A. IMINE. ``Using CSP for Coordinating Undo-Based Collaborative Applications''. The 2016 ACM Symposium on Applied Computing (SAC), pages 1928-1935, Pisa, Italy, April, 2016.

  • H. H. NGUYEN, A. IMINE and M. RUSINOWITCH. ``Detecting Communities under Differential Privacy''. the 15th ACM Workshop on Privacy in the Electronic Society (WPES), October 24, Vienna, Austria, 2016.

  • B. T. HOANG and A. IMINE. ``Efficient and Decentralized Polling Protocol for General Social Networks''. The International Conference Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 9212, pages 171-186, Edmonton, Canada, August, 2015.

  • H. H. NGUYEN, A. IMINE and M. RUSINOWITCH. ``Differentially Private Publication of Social Graphs at Linear Cost''. In IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp. 596 - 599, August 25 - 28, Paris, France, 2015.

  • H. H. NGUYEN, A. IMINE and M. RUSINOWITCH. ``Anonymizing Social Graphs via Uncertainty Semantics''. In International ACM Conference on Computer and Communications Security (ASIA CCS), pages 495-506, April 14 - 17, Singapore, 2015.

  • N. GUETMI, M. D. MECHAOUI, A. IMINE and B. LADJEL. ``Mobile Collaboration : a Collaborative Editing Service in the Cloud''. In International ACM Symposium on Applied Computing (ACM SAC), pp. 509-512, April 14 - 17, Barcelone, 2015.

  • M. AHMAD and A. IMINE. ``Decentralized Collaborative Editing Platform''. In IEEE International Conference on Mobile Data Management (MDM), pp. 323-326, Pittsburgh, PA, USA, June 15-18, 2015.

  • N. GUETMI and A. IMINE. ``A Cloud-Based Reusable Design for Mobile Data Sharing''. In Model and Data Engineering - 5th International Conference, (MEDI), LNCS 9344, pp. 62-73, Rhodes, Greece, September 26-28, 2015.

  • A. CHERIF and A. IMINE. ``A Constraint-based Approach for Generating Transformation Patterns''. In International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA), pp. 48-62 (EPTCS 201), Madrid, Spain, April, July, 2015.

  • M. D. MECHAOUI, N. GUETMI and A. IMINE. ``Mobile Co-Authoring of Linked Data in the Cloud''. In New Trends in Databases and Information Systems (ADBIS) Workshop OAIS, pp. 371-381, Volume 539, Springer, Poitiers, France, 2015.

  • M. D. MECHAOUI, N. GUETMI and A. IMINE. ``Towards Real-Time Co-authoring of Linked-Data on the Web''. In the 5th IFIP TC 5 International Conference on Computer Science and its Applications (CIIA), Saida, Algeria, May 20-21, pp 538-548, 2015.

  • H. H. NGUYEN, A. IMINE and M. RUSINOWITCH. ``A Maximum Variance Approach for Graph Anonymization''. (BEST PAPER), In International Symposium on Foundations and Practice of Security (FPS), pp. 49-64, LNCS 8930, Montreal, Canada, 2014.

  • H. H. NGUYEN, A. IMINE and M. RUSINOWITCH. ``Enforcing Privacy in Decentralized Mobile Social Networks''. In International Symposium on Engineering Secure Software and Systems (Essos), February 26 - 28, Munich, Germany, 2014.

  • H. MAHFOUD, A. IMINE and M. RUSINOWITCH. ``SVMAX: a system for secure and valid manipulation of XML data''. In 17th International Database Engineering and Applications Symposium (IDEAS), pp. 154-161, ACM Publisher, October 9 - 11, Barcelona, Spain, 2013.

  • B. T. HOANG and A. IMINE. ``On Constrained Adding Friends in Social Networks''. In Social Informatics - 5th International Conference (SocInfo), pp. 467-477, LNCS 8238, Kyoto, Japan, November 25-27, 2013.

  • A. RANDOLPH, A. IMINE, H. BOUCHENEB and A. QUINTERO. ``Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors''. In Formal Methods for Industrial Critical Systems - 18th International Workshop (FMICS), pp. 184-198, LNCS 8187, Madrid, Spain, September, 2013.

  • H. MAHFOUD and A. IMINE. ``On Securely Manipulating XML Data''. In Foundations and Practice of Security - 5th International Symposium (FPS), pp. 293-307, LNCS 7743, Montreal, QC, Canada, October 25-26, 2012.

  • B. T. HOANG and A. IMINE. ``On the Polling Problem for Social Networks''. In Principles of Distributed Systems, 16th International Conference (OPODIS), pp. 46-60, LNCS 7702, Rome, Italy, December 18-20, 2012.

  • H. MAHFOUD and A. IMINE. ``Secure querying of recursive XML views: a standard XPath-based technique''. In the 21st ACM World Wide Web Conference (WWW), Lyon, France, April 16-20, pages 575-576, 2012.

  • H. MAHFOUD and A. IMINE. ``A General Approach for Securely Updating XML Data''. In Proceedings of the 15th International Workshop on the Web and Databases (WebDB), Scottsdale, AZ, USA, May 20, pages 55-60,2012.

  • A. RANDOLPH, H. BOUCHENEB, A. IMINE and A. QUINTERO. ``On Consistency of Operational Transformation Approach''. In 14th International Workshop on Verification of Infinite-State Systems (Infinity), Paris, France, 27th August, pages 45-59, 2012.

  • A. CHERIF, A. IMINE and M. RUSINOWITCH. ``Optimistic access control for distributed collaborative editors''. In the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, pages 861-868, 2011.

  • J. P. ACHARA, A. IMINE and M. RUSINOWITCH. ``DeSCal - Decentralized Shared Calendar for P2P and Ad-Hoc Networks''. In 10th International Symposium on Parallel and Distributed Computing (ISPDC), Cluj-Napoca, Romania, July 6-8, pages 223-231, 2011.

  • M. D. MECHAOUI, A. IMINE and F. BENDELLA. ``Un Modèle Générique de Garbage Collection pour les Editeurs Collaboratifs Basé sur l'Approche TO dans les environnements P2P et mobiles''. In the Third International Conference on Computer Science and its Applications (CIIA), Saida, Algeria, December 13-15, 2011, pages 1-10, 2011.

  • A. IMINE, H. BOUCHENEB and M. RUSINOWITCH. ``Enforcing Commutativity Using Operational Transformations''. In Workshop on Verification of Concurrent Data-Structures (VERICO), Co-located with POPL 2011, Austin, Texas, USA, January 29, 2011.

  • Z. AHMAD, A. IMINE and M. RUSINOWITCH. ``Safe and Efficient Strategies for Updating Firewall Policies''. Trust, Privacy and Security in Digital Business, 7th International Conference, TrustBus 2010, Spain, August 30-31, 2010. Proceedings. Lecture Notes in Computer Science 6264.

  • H. BOUCHENEB, A. IMINE and M. NAJEM. ``Symbolic Model-Checking of Optimistic Replication Algorithms''. to appear in Proceedings of the 8th International Conference of Integrated Formal Methods, IFM 2010,, Nancy, France, 11-14 October , 2010.

  • M. D. MECHAOUI, A. CHERIF, A. IMINE and F. BENDELLA. ``Log Garbage Collector-based Real Time Collaborative Editor for Mobile Devices''. to appear in Proceedings of the 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2010, Hotel Allegro, Chicago, Illinois, USA, October 9-12, 2010.

  • A. IMINE. ``On Coordinating Collaborative Objects''. In Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'2010), Electronic Notes in Theoretical Computer Science 30:78-92, 2010.

  • A. IMINE. ``Coordination Model for Real-Time Collaborative Editors''. In Proceedings of Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5521.

  • H. BOUCHENEB and A. IMINE. ``On Model-Checking Optimistic Replication Algorithms''. In Proceedings of Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Lecture Notes in Computer Science 5522, pages 73-89.

  • A. CHERIF and A. IMINE. ``Undo-Based Access Control for Distributed Collaborative Editors''. In Proceedings of Cooperative Design, Visualization, and Engineering, 6th International Conference, CDVE 2009, Luxembourg, September 20-23, 2009. Proceedings. Lecture Notes in Computer Science 5738, pages 101-108.

  • A. IMINE, A. CHERIF and M. RUSINOWITCH. ``A Flexible Access Control Model for Distributed Collaborative Editors''. In Proceedings of Secure Data Management, 6th VLDB Workshop, SDM 2009, Lyon, France, August 28, 2009. Proceedings. Lecture Notes in Computer Science 5776, pages 89-106.

  • A. IMINE. ``Decentralized concurrency control for real-time collaborative editors''. In Proceedings of the 8th international conference on New technologies in distributed systems, NOTERE 2008, June 23-27, 2008, Lyon, France, ACM Publisher.

  • A. IMINE. ``Flexible Concurrency Control for Real-Time Collaborative Editors''. In Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 17-20 June 2008, Beijing, China. IEEE Computer Society, pages 423-428.

  • 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 in LNCS 4600, Springer Verlag.

National Conferences:
  • H. H. NGUYEN, A. IMINE and M. RUSINOWITCH. ``Towards Differentially Private Community Detection''. 32ème Conférence sur la Gestion de Données (BDA), 15-18 Novembre, Poitiers, France, 2016.

  • Y. ABID, A. IMINE, A. DI NAPOLI, C. RAISSI and M. RUSINOWITCH. ``Stratégies de divulgation de lien en ligne pour les réseaux sociaux''. 32ème Conférence sur la Gestion de Données (BDA), 15-18 Novembre, Poitiers, France, 2016.

  • Y. ABID, A. IMINE, A. DI NAPOLI, C. RAISSI, M. RIGOLOT and M. RUSINOWITCH. ``Analyse d'activité et exposition de la vie privée sur les médias sociaux''. 16èmes journées Francophones Extraction et Gestion des Connaissances (EGC), Reims, France, Janvier 2016.

  • H. MAHFOUD, A. IMINE. ``On Securely Manipulating XML Data''. 28ème Journées Bases de Données Avancées (BDA), Clermont-Ferrand, France, Octobre 2012.

  • 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.


Scientific Magazines with Reviewing Committee:
  • N. Guetmi, M.D. Mechaoui and A. Imine. “Resilient Collaboration for Mobile Cloud Computing”. ERCIM News, No. 102, (2015).
  • A. Imine and M. Rusinowitch. “Secure Collaboration for Smartphones”. ERCIM News, No. 93, (2013).

Technical Reports:
  • B. T. HOANG and A. IMINE. ``On the Polling Problem for Social Networks''. Rapport de Recherche RR-8055, INRIA Nancy-Grand Est, October 2012.

  • H. MAHFOUD and A. IMINE. ``A General Approach for Securely Querying and Updating XML Data''. Rapport de Recherche RR-7870, INRIA Nancy-Grand Est, January 2012.

  • H. MAHFOUD and A. IMINE. ``Secure Querying of Recursive XML Views: A Standard XPath-based Technique''. Rapport de Recherche RR-7834, INRIA Nancy-Grand Est, December 2011.

  • A. IMINE, A. CHERIF and M. RUSINOWITCH. ``An Optimistic Mandatory Access Control Model for Distributed Collaborative Editors''. Rapport de recherche RR-6939, INRIA Lorraine, February 2009.

  • Z. AHMAD, A. IMINE and M. RUSINOWITCH. ``Safe and Efficient Strategies for Updating Firewall Policies''. Rapport de recherche RR-6940, INRIA Lorraine, Mai 2009.

  • H. BOUCHENEB and A. IMINE. ``Experiments in Model-Checking Optimistic Replication Algorithms''. Rapport de recherche RR-6510, INRIA Lorraine, Avril 2008.

  • G. Oster, , P. Urso , P. Molli and A. Imine. “ Proving correctness of transformation functions in collaborative editing systems”. Rapport de recherche RR-5795, INRIA Lorraine, December 2005.

  • G. Oster, P. Urso , P. Molli, H. Skaf-Molli and A. Imine. “ Optimistic replication for massive collaborative editing”. Rapport de recherche RR-5719, INRIA Lorraine, October 2005.

  • G. Oster, , P. Urso , P. Molli and A. Imine. “ Real time group editors without operational transformation”. Rapport de recherche RR-5580, INRIA Lorraine, May 2005.

  • A. Imine, P. Molli, G. Oster and M. Rusinowitch. “ Achieving Convergence with Operational Transformation in Distributed Groupware Systems”. Rapport de Recherche RR-5188, INRIA, Mai 2004.

  • P. Molli, H. Skaf-Molli, G. Oster and A. Imine. “ Safe Generic Data Synchronizer”. Rapport de Recherche A03-R-062, LORIA, Nancy (France), Mai 2003.


Thesis: