Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems. - Abdessamad Imine; Yahya Slimani; Sorin Stratulat (JFPLC, 2002)

Proving Correctness of Transformation Functions in Real-Time Groupware. - Abdessamad Imine; Pascal Molli; Gérald Oster; Michaël Rusinowitch (ECSCW, 2003)

Using the transformational approach to build a safe and generic data synchronizer. - Pascal Molli; Gérald Oster; Hala Skaf-Molli; Abdessamad Imine (GROUP, 2003)

VOTE: Group Editors Analyzing Tool: System Description. - Abdessamad Imine; Pascal Molli; Gérald Oster; Pascal Urso (FTP, 2003)

Automatic Detection of Copies Divergence in Collaborative Editing Systems. - Abdessamad Imine; Pascal Urso (FMICS, 2003)

Abstraction-Driven Verification of Array Programs. - David Déharbe; Abdessamad Imine; Silvio Ranise (AISC, 2004)

Deductive Verification of Distributed Groupware Systems. - Abdessamad Imine; Pascal Molli; Gérald Oster; Michaël Rusinowitch (AMAST, 2004)

A safe and generic model for synchronizing divergent data. - Gérald Oster; Pascal Molli; Hala Skaf-Molli; Abdessamad Imine (UbiMob, 2004)

Towards Synchronizing Linear Collaborative Objects with Operational Transformation. - Abdessamad Imine; Pascal Molli; Gérald Oster; Michaël Rusinowitch (FORTE, 2005)

Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems. - Gérald Oster; Pascal Molli; Pascal Urso; Abdessamad Imine (CollaborateCom, 2006)

Data consistency for P2P collaborative editing. - Gérald Oster; Pascal Urso; Pascal Molli; Abdessamad Imine (CSCW, 2006)

Component-Based Specification of Collaborative Objects. - Abdessamad Imine (VODCA@FOSAD, 2006)

Formal design and verification of operational transformation algorithms for copies convergence. - Abdessamad Imine; Michaël Rusinowitch; Gérald Oster; Pascal Molli (Theor. Comput. Sci., 2006)

Conception Formelle d'Algorithmes de Réplication Optimiste Vers l'Edition Collaborative dans les Réseaux Pair-à-Pair. (Formal Design of Optimistic Replication Algorithms Towards Collaborative Edition in Peer-to-Peer Networks). - Abdessamad Imine (2006)

Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms. - Abdessamad Imine; Michaël Rusinowitch (Rewriting, Computation and Proof, 2007)

Flexible Concurrency Control for Real-Time Collaborative Editors. - Abdessamad Imine (ICDCS Workshops, 2008)

Decentralized concurrency control for real-time collaborative editors. - Abdessamad Imine (NOTERE, 2008)

Experiments in Model-Checking Optimistic Replication Algorithms - Hanifa Boucheneb; Abdessamad Imine (CoRR, 2008)

Undo-Based Access Control for Distributed Collaborative Editors. - Asma Cherif 001; Abdessamad Imine (CDVE, 2009)

Coordination Model for Real-Time Collaborative Editors. - Abdessamad Imine (COORDINATION, 2009)

On Model-Checking Optimistic Replication Algorithms. - Hanifa Boucheneb; Abdessamad Imine (FMOODS/FORTE, 2009)

A Flexible Access Control Model for Distributed Collaborative Editors. - Abdessamad Imine; Asma Cherif 001; Michaël Rusinowitch (Secure Data Management, 2009)

Log garbage collector-based real time collaborative editor for mobile devices. - Moulay Driss Mechaoui; Asma Cherif 001; Abdessamad Imine; Fatima Bendella (CollaborateCom, 2010)

Symbolic Model-Checking of Optimistic Replication Algorithms. - Hanifa Boucheneb; Abdessamad Imine; Manal Najem (IFM, 2010)

Safe and Efficient Strategies for Updating Firewall Policies. - Zeeshan Ahmed; Abdessamad Imine; Michaël Rusinowitch (TrustBus, 2010)

On Coordinating Collaborative Objects - Abdessamad Imine (FOCLASA, 2010)

Un Modèle Générique de Garbage Collection pour les Eéditeurs Collaboratifs Basé sur l'Approche TO dans les environnements P2P et mobiles. - Moulay Driss Mechaoui; Abdessamad Imine; Fatima Bendella (CIIA, 2011)

DeSCal - Decentralized Shared Calendar for P2P and Ad-Hoc Networks. - Jagdish Prasad Achara; Abdessamad Imine; Michaël Rusinowitch (ISPDC, 2011)

Distributed Log Garbage Collector-Based Real Time Collaborative Editor for Mobile and P2P Environments. - Moulay Driss Mechaoui; Abdessamad Imine; Fatima Bendella (NOTERE, 2011)

Optimistic access control for distributed collaborative editors. - Asma Cherif 001; Abdessamad Imine; Michaël Rusinowitch (SAC, 2011)

On Securely Manipulating XML Data. - Houari Mahfoud; Abdessamad Imine (FPS, 2012)

On the Polling Problem for Social Networks. - Bao-Thien Hoang; Abdessamad Imine (OPODIS, 2012)

A General Approach for Securely Updating XML Data. - Houari Mahfoud; Abdessamad Imine (WebDB, 2012)

Secure querying of recursive XML views: a standard xpath-based technique. - Houari Mahfoud; Abdessamad Imine (WWW (Companion Volume), 2012)

A General Approach for Securely Querying and Updating XML Data - Houari Mahfoud; Abdessamad Imine (CoRR, 2012)

On Consistency of Operational Transformation Approach - Aurel Randolph; Hanifa Boucheneb; Abdessamad Imine; Alejandro Quintero (Infinity, 2012)

Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. - Aurel Randolph; Abdessamad Imine; Hanifa Boucheneb; Alejandro Quintero (FMICS, 2013)

SVMAX: a system for secure and valid manipulation of XML data. - Houari Mahfoud; Abdessamad Imine; Michaël Rusinowitch (IDEAS, 2013)

On Constrained Adding Friends in Social Networks. - Bao-Thien Hoang; Abdessamad Imine (SocInfo, 2013)

Secure Collaboration for Smartphones. - Abdessamad Imine; Michaël Rusinowitch (ERCIM News, 2013)

Enforcing Privacy in Decentralized Mobile Social Networks. - Hiep H. Nguyen; Abdessamad Imine; Michaël Rusinowitch (ESSoS Doctoral Symposium, 2014)

A Maximum Variance Approach for Graph Anonymization. - Hiep H. Nguyen; Abdessamad Imine; Michaël Rusinowitch (FPS, 2014)

Efficient Polling Protocol for Decentralized Social Networks. - Bao-Thien Hoang; Abdessamad Imine (CoRR, 2014)

Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis. - Aurel Randolph; Abdessamad Imine; Hanifa Boucheneb; Alejandro Quintero (Ingénierie des Systèmes d Inf., 2014)

Practical access control management for distributed collaborative editors. - Asma Cherif 001; Abdessamad Imine; Michaël Rusinowitch (Pervasive Mob. Comput., 2014)

Mobile Co-Authoring of Linked Data in the Cloud. - Moulay Driss Mechaoui; Nadir Guetmi; Abdessamad Imine (ADBIS (Short Papers and Workshops), 2015)

Differentially Private Publication of Social Graphs at Linear Cost. - Hiep H. Nguyen; Abdessamad Imine; Michaël Rusinowitch (ASONAM, 2015)

Anonymizing Social Graphs via Uncertainty Semantics. - Hiep H. Nguyen; Abdessamad Imine; Michaël Rusinowitch (AsiaCCS, 2015)

Towards Real-Time Co-authoring of Linked-Data on the Web. - Moulay Driss Mechaoui; Nadir Guetmi; Abdessamad Imine (CIIA, 2015)

Decentralized Collaborative Editing Platform. - Mumtaz Ahmad 002; Abdessamad Imine (MDM (1), 2015)

A Cloud-Based Reusable Design for Mobile Data Sharing. - Nadir Guetmi; Abdessamad Imine (MEDI, 2015)

Mobile collaboration: a collaborative editing service in the cloud. - Nadir Guetmi; Moulay Driss Mechaoui; Abdessamad Imine; Ladjel Bellatreche (SAC, 2015)

Efficient and Decentralized Polling Protocol for General Social Networks. - Bao-Thien Hoang; Abdessamad Imine (SSS, 2015)

A Constraint-based Approach for Generating Transformation Patterns. - Asma Cherif 001; Abdessamad Imine (FOCLASA, 2015)

A Highly Concurrent Replicated Data Structure EAI Endorsed Transactions. - Mumtaz Ahmad 002; Abdessamad Imine; Houari Mahfoud (EAI Endorsed Trans. Collab. Comput., 2015)

Resilient Collaboration for Mobile Cloud Computing. - Nadir Guetmi; Moulay Driss Mechaoui; Abdessamad Imine (ERCIM News, 2015)

On Synthesizing a Consistent Operational Transformation Approach. - Aurel Randolph; Hanifa Boucheneb; Abdessamad Imine; Alejandro Quintero (IEEE Trans. Computers, 2015)

Efficient Querying of XML Data Through Arbitrary Security Views. - Houari Mahfoud; Abdessamad Imine (Trans. Large Scale Data Knowl. Centered Syst., 2015)

Partage de Données dans les Systèmes Collaboratifs : De la Synchronisation à la Protection des Données. (Data Sharing in Collaborative Systems: From Synchronization to Protection of Data). - Abdessamad Imine (2016)

Online Link Disclosure Strategies for Social Networks. - Younes Abid; Abdessamad Imine; Amedeo Napoli; Chedy Raïssi; Michaël Rusinowitch (CRiSIS, 2016)

Analyse d'activité et exposition de la vie privée sur les médias sociaux. - Younes Abid; Abdessamad Imine; Amedeo Napoli; Chedy Raïssi; Marc Rigolot; Michaël Rusinowitch (EGC, 2016)

Using CSP for coordinating undo-based collaborative applications. - Asma Cherif 001; Abdessamad Imine (SAC, 2016)

Detecting Communities under Differential Privacy. - Hiep H. Nguyen; Abdessamad Imine; Michaël Rusinowitch (WPES@CCS, 2016)

Private Link Exchange over Social Graphs. - Hiep H. Nguyen; Abdessamad Imine; Michaël Rusinowitch (CoRR, 2016)

MiCa: Lightweight and mobile collaboration across a collaborative editing service in the cloud. - Moulay Driss Mechaoui; Nadir Guetmi; Abdessamad Imine (Peer-to-Peer Netw. Appl., 2016)

Network Structure Release under Differential Privacy. - Hiep H. Nguyen; Abdessamad Imine; Michaël Rusinowitch (Trans. Data Priv., 2016)

Privacy Scoring of Social Network User Profiles Through Risk Analysis. - Sourya Joyee De; Abdessamad Imine (CRiSIS, 2017)

Two-Phase Preference Disclosure in Attributed Social Networks. - Younes Abid; Abdessamad Imine; Amedeo Napoli; Chedy Raïssi; Michaël Rusinowitch (DEXA (1), 2017)

Evaluating data convergence of collaborative editors in opportunistic networks. - Noha Alsulami; Asma Cherif 001; Abdessamad Imine (ICTA, 2017)

Cloud patterns for mobile collaborative applications. - Nadir Guetmi; Abdessamad Imine (Int. J. Intell. Inf. Database Syst., 2017)

Online Testing of User Profile Resilience Against Inference Attacks in Social Networks. - Younes Abid; Abdessamad Imine; Michaël Rusinowitch (ADBIS (Short Papers and Workshops), 2018)

On Consent in Online Social Networks: Privacy Impacts and Research Directions (Short Paper). - Sourya Joyee De; Abdessamad Imine (CRiSIS, 2018)

Sensitive Attribute Prediction for Social Networks Users. - Younes Abid; Abdessamad Imine; Michaël Rusinowitch (EDBT/ICDT Workshops, 2018)

Enabling Users to Balance Social Benefit and Privacy in Online Social Networks. - Sourya Joyee De; Abdessamad Imine (PST, 2018)

To reveal or not to reveal: balancing user-centric social benefit and privacy in online social networks. - Sourya Joyee De; Abdessamad Imine (SAC, 2018)

Towards Optimistic Access Control for Cloud-Based Collaborative Editors. - Olfa Abusalem; Asma Cherif 001; Abdessamad Imine (AICCSA, 2019)

Towards an Edge-Based Architecture for Real-Time Collaborative Editors. - Mona Al-Ghamdi; Asma Cherif 001; Abdessamad Imine (AICCSA, 2019)

Gender Inference for Facebook Picture Owners. - Bizhan Alipour; Abdessamad Imine; Michaël Rusinowitch (TrustBus, 2019)

Your Age Revealed by Facebook Picture Metadata. - Sanaz Eidizadehakhcheloo; Bizhan Alipour Pijani; Abdessamad Imine; Michaël Rusinowitch (ADBIS/TPDL/EDA Workshops, 2020)

Online Attacks on Picture Owner Privacy. - Bizhan Alipour Pijani; Abdessamad Imine; Michaël Rusinowitch (DEXA (2), 2020)

You are what emojis say about your pictures: language-independent gender inference attack on Facebook. - Bizhan Alipour Pijani; Abdessamad Imine; Michaël Rusinowitch (SAC, 2020)

Consent for targeted advertising: the case of Facebook. - Sourya Joyee De; Abdessamad Imine (AI Soc., 2020)

Privacy Risk Analysis of Online Social Networks - Sourya Joyee De; Abdessamad Imine (Morgan & Claypool Publishers, 2020)

A Hybrid Approach for Optimizing Arabic Semantic Query Expansion. - Azzah Allahim; Asma Cherif 001; Abdessamad Imine (AICCSA, 2021)

Divide-and-Learn: A Random Indexing Approach to Attribute Inference Attacks in Online Social Networks. - Sanaz Eidizadehakhcheloo; Bizhan Alipour Pijani; Abdessamad Imine; Michaël Rusinowitch (DBSec, 2021)

FOX: Fooling with Explanations : Privacy Protection with Adversarial Reactions in Social Media. - Noreddine Belhadj Cheikh; Abdessamad Imine; Michaël Rusinowitch (PST, 2021)

Lightweight coordination model for mobile collaborative mapping. - Moulay Driss Mechaoui; Abdessamad Imine (Int. J. Commun. Networks Distributed Syst., 2021)

EdgeDoc: An edge-based distributed collaborative editing system. - Mona Alghamdi; Asma Cherif 001; Abdessamad Imine (Pervasive Mob. Comput., 2021)

Property Graph Access Control Using View-Based and Query-Rewriting Approaches. - Basmah Al-Zahrani; Suhair Alshehri; Asma Cherif 001; Abdessamad Imine (AICCSA, 2022)

Towards an intelligent adaptive security framework for preventing and detecting credit card fraud. - Asma Cherif 001; Suhair Alshehri; Manal Kalkatawi; Abdessamad Imine (AICCSA, 2022)

Differentially Private Friends Recommendation. - Kamalkumar Macwan; Abdessamad Imine; Michaël Rusinowitch (FPS, 2022)

On Privacy of Multidimensional Data Against Aggregate Knowledge Attacks. - Ala Eddine Laouir; Abdessamad Imine (PSD, 2022)

Privacy Preserving Recommendations for Social Networks. - Kamalkumar Macwan; Abdessamad Imine; Michaël Rusinowitch (SNAMS, 2022)

Collaborative editing over opportunistic networks. - Noha Alsulami; Asma Cherif 001; Abdessamad Imine (Int. J. Ad Hoc Ubiquitous Comput., 2022)

Developers Need Protection, Too: Perspectives and Research Challenges for Privacy in Social Coding Platforms. - Nicolás E. Díaz Ferreyra; Abdessamad Imine; Melina C. Vidoni; Riccardo Scandariato (CHASE, 2023)

Towards an Effective Attribute-Based Access Control Model for Neo4j. - Adil Achraf Bereksi Reguig; Houari Mahfoud; Abdessamad Imine (MEDI, 2023)

Credit card fraud detection in the era of disruptive technologies: A systematic review. - Asma Cherif 001; Arwa Badhib; Heyfa Ammar; Suhair Alshehri; Manal Kalkatawi; Abdessamad Imine (J. King Saud Univ. Comput. Inf. Sci., 2023)

SLIM-View: Sampling and Private Publishing of Multidimensional Databases. - Ala Eddine Laouir; Abdessamad Imine (CODASPY, 2024)

DiApprox: Differential Privacy-based Online Range Queries Approximation for Multidimensional Data. - Ala Eddine Laouir; Abdessamad Imine (SAC, 2024)

Securing big graph databases: an overview of existing access control techniques. - Basmah Al-Zahrani; Asma Cherif 001; Suhair Alshehri; Abdessamad Imine (Int. J. Intell. Inf. Database Syst., 2024)

Encoder-decoder graph neural network for credit card fraud detection. - Asma Cherif 001; Heyfa Ammar; Manal Kalkatawi; Suhair Alshehri; Abdessamad Imine (J. King Saud Univ. Comput. Inf. Sci., 2024)

Private Approximate Query over Horizontal Data Federation. - Ala Eddine Laouir; Abdessamad Imine (EDBT, 2025)

Semantic approaches for query expansion: taxonomy, challenges, and future research directions. - Azzah Allahim; Asma Cherif 001; Abdessamad Imine (PeerJ Comput. Sci., 2025)

: A cloud-based collaborative editing service for mobile RDF data sharing. - Nadir Guetmi; Abdessamad Imine; Moulay Driss Mechaoui (J. Web Semant., 2025)

RIPOST: Two-Phase Private Decomposition for Multidimensional Data. - Ala Eddine Laouir; Abdessamad Imine (CoRR, 2025)

Cryptocurrency Frauds for Dummies: How ChatGPT introduces us to fraud? - Wail Zellagui; Abdessamad Imine; Yamina Tadjeddine (Digit. Gov. Res. Pract., 2025)