List of publications


List from DBLP

List from Google Scholar

International Journals:
  • A. Cherif, A. Badhib, H. Ammar, S. Alshehri, M. Kalkatawi and A. Imine. “Credit Card Fraud Detection in the Era of Disruptive Technologies: A Systematic Review”. Computer and Information Sciences - Journal of King Saud University, 35(1): 145-174, Elsevier, (2023).

  • N. Alsulami, A. Cherif and A. Imine. “Collaborative Editing over Opportunistic Networks”. International Journal of Ad Hoc and Ubiquitous Computing, 39(3): 141-156, Inderscience, (2022).

  • M. Alghamdi, A. Cherif and A. Imine. “EdgeDoc: An edge-based distributed collaborative editing system”. Journal Pervasive and Mobile Computing, 70: 1-20, Elsevier, (2021).

  • M. Driss Mechaoui and A. Imine. “Lightweight Coordination Model for Mobile Collaborative Mapping”. International Journal of Communication Networks and Distributed Systems, 26(3):334-366, Inderscience, (2021).

  • S.J. De and A. Imine. “Consent for targeted advertising: the case of Facebook”. Journal of AI and Society, 35(4): 1055-1064, Springer, (2020).

  • B. Alipour Pijani, A. Imine and M. Rusinowitch. “Inferring attributes with picture metadata embeddings”. Journal of ACM SIGAPP Applied Computing Review, 20(2):36-45, ACM, (2020).

  • N. Guetmi and A. Imine. “Cloud Patterns for Mobile Collaborative Applications”. International Journal of Intelligent Information and Database Systems, 10(3/4):191-23, Inderscience, (2017).

  • H.H. Nguyen, A. Imine and M. Rusinowitch. “Network Structure Release under Differential Privacy”. Journal of Transactions on Data Privacy, 9(3):225-241, (2017).

  • M. Driss 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, 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. “Sp�cification et Analyse d'un Protocole de Contr�le d'Acc�s Optimiste pour des Editeurs Collaboratifs R�partis”. Journal Ingenierie des Systemes d'Information, 19(6): 9-32, (2015).

Books:
  • S.J. De and A. Imine. “Privacy Risk Analysis of Online Social Networks”. Privacy Risk Analysis. Synthesis Lectures on Information Security, Privacy, & Trust, 109 pages, Morgan & Claypool Publishers, (2021).


Edition of Books:
  • A. Imine, J.M. Fernandez, J.Y. Marion, L. Logrippo and J. Garcia-Alfaro. “Foundations and Practice of Security - 10th International Symposium, FPS 2018”. Lecture Notes in Computer Science, 10723, Springer, (2018).


Book Chapters:
International Conferences and Workshops:
  • N.D. Ferreyra, A. Imine, M.C. Vidoni and R. Scandariato. ``Developers Need Protection, Too: Perspectives and Research Challenges for Privacy in Social Coding Platforms''. To appear in the 16th International Conference on Cooperative and Human Aspects of Software Engineering (CHASE), Melbourne, Australia, May 14-15, 2023.

  • A.E. LAOUIR and A. IMINE. ``On Privacy of Multidimensional Data Against Aggregate Knowledge Attacks''. In the 16th International Conference on Privacy in Statistical Databases (PSD), LNCS 13463, pp. 92-104, Paris, France, September 21-23, 2022.

  • K. MACWAN, A. IMINE and M. RUSINOWITCH. ``Differentially Private Friends Recommendation''. To appear In the 15th International Symposium on Foundations and Practice of Security (FPS), Ottawa, Canada, December 12-14, 2022.

  • K. MACWAN, A. IMINE and M. RUSINOWITCH. ``Privacy Preserving Recommendations for Social Networks''. In the 9th International Conference on Social Networks Analysis (SNAMS), IEEE, pp. 1-8, Milan, Italy, November 30-December 1, 2022.

  • A. Cherif, S. Alshehri, M. Kalkatawi and A. Imine. ``Towards an intelligent adaptive security framework for preventing and detecting credit card fraud''. In the 19th ACS/IEEE International Conference On Computer Systems And Applications (AICCSA), IEEE, pp. 1-8, Abu Dhabi, United Arab Emirates, December 5-8, 2022.

  • B. Al-Zahrani, S. Alshehri, A. Cherif and A. Imine. ``Property Graph Access Control Using View-Based and Query Rewriting Approaches''. In the 19th ACS/IEEE International Conference On Computer Systems And Applications (AICCSA), IEEE, pp. 1-2, Abu Dhabi, United Arab Emirates, December 5-8, 2022.

  • N. BELHADJ-CHEIKH, A. IMINE and M. RUSINOWITCH. ``FOX: Fooling with Explanations - Privacy Protection with Adversarial Reactions in Social Media''. In the 18th Annual Conference on Privacy, Security and Trust (PST), IEEE, pp. 1-10, Auckland, New Zealand, December 13-15, 2021.

  • S. Eidizadehakhcheloo, B. Alipour Pijani, A. Imine and M. Rusinowitch. ``Divide-and-Learn: A Random Indexing Approach to Attribute Inference Attacks in Online Social Networks''. The 35th IFIP International Conference of Database and Expert Systems ApplicationsData and Applications Security and Privacy Conference (DBSec), LNCS 12840, pp. 338-354, Calgary, Canada, July 19-20, 2021.

  • A. Allahim, A. Cherif and A. Imine. ``A Hybrid Approach for Optimizing Arabic Semantic Query Expansion''. In the 18th ACS/IEEE International Conference On Computer Systems And Applications (AICCSA), IEEE, pp. 1-8, Tangier, Morocco, November 30-December 3, 2021.

  • B. Alipour Pijani, A. Imine and M. Rusinowitch. ``Online Attacks on Picture Owner Privacy''. The 31st International Conference of Database and Expert Systems Applications (DEXA), LNCS 12392, pp. 33-47, Bratislava, Slovakia, September 14-17, 2020.

  • S. Eidizadehakhcheloo, B. Alipour Pijani, A. Imine and M. Rusinowitch. ``Your Age Revealed by Facebook Picture Metadata''. In the Second International Workshop on BI and Big Data Applications, BBIGAP 2020, in conjunction with ADBIS 2020 Conference, Springer vol. 1260, pp. 259-270, Lyon, France, August, 2020.

  • B. Alipour Pijani, A. Imine and M. Rusinowitch. ``You are what Emojis say about your Pictures: Language-independent Gender Inference Attack on Facebook''. In the 35th ACM Symposium on Applied Computing (SAC), ACM, pp. 1826-1834, Brno, Czech Republic, March 30-April 3, 2020.

  • B. Alipour Pijani, A. Imine and M. Rusinowitch. ``Gender Inference for Facebook Picture Owners''. In the 16th International Conference on Trust, Privacy and Security in Digital Business (TrustBus), LNCS 11711, pp. 145-160, Linz, Austria, August 26-29, 2019.

  • O. Abusalem, A. Cherif and A. Imine. ``Towards Optimistic Access Control In cloud-Based-Collaborative Editors''. In the 16th ACS/IEEE International Conference On Computer Systems And Applications (AICCSA), IEEE, pp. 1-8, Abu Dhabi, UAE, November 3-7, 2019.

  • M. Alghamdi, A. Cherif and A. Imine. ``Towards An Edge-Based Architecture For Real-Time Collaborative Editors''. In the 16th ACS/IEEE International Conference On Computer Systems And Applications (AICCSA), IEEE, pp. 1-8, Abu Dhabi, UAE, November 3-7, 2019.

  • S.J. DE and A. IMINE. ``Enabling Users to Balance Social Benefit and Privacy in Online Social Networks''. n the 16th Annual Conference on Privacy, Security and Trust (PST), IEEE, pp. 1-10, Belfast, Northern Ireland, UK, 2018.

  • S.J. DE and A. IMINE. ``On Consent in Online Social Networks: Privacy Impacts and Research Directions''. The 13th International Conference on Risks and Security of Internet and Systems (CRiSIS), Arcachon, France, September, 2018.

  • S.J. DE and A. IMINE. ``To Reveal or Not To Reveal: Balancing User-Centric Social Benefit and Privacy in Online Social Networks''. The 33th ACM Symposium on Applied Computing (SAC), Privacy by Design Track, Pau, France, April, 2018.

  • Y. ABID, A. IMINE and M. RUSINOWITCH. ``Sensitive attribute prediction for social networks users''. The 2nd International workshop on Data Analytics solutions for Real-LIfe Applications (DARLI-AP), in conjunction with EDBT/ICDT 2018 Joint Conference, Vienna, Austria, March, 2018.

  • S.J. DE and A. IMINE. ``Privacy Scoring of Social Network User Profiles through Risk Analysis''. The 12th International Conference on Risks and Security of Internet and Systems (CRiSIS), Dinar, France, September, 2017.

  • Y. ABID, A. IMINE, A. DI NAPOLI, C. RAISSI and M. RUSINOWITCH. ``Two-Phase Preference Disclosure in Attributed Social Networks''. The 28th International Conference of Database and Expert Systems Applications (DEXA), Lyon, France, August, 2017.

  • N. ALSULAMI , A. CHERIF and A. IMINE. ``Evaluating Data Convergence of Collaborative Editors in Opportunistic Networks''. The 6th International Conference on Information and Communication Technology and Accessibility (ICTA), Muscat, Sultanate of Oman, December, 2017.

  • 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ème Journées Francophones Extraction et Gestion des Connaissances (EGC), Reims, France, Janvier 2016.

  • H. MAHFOUD, A. IMINE. ``On Securely Manipulating XML Data''. 28ème Conférence sur la Gestion de Donné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.


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:
Magazines with Reviewing Committee:
Miscellaneous: