Abdessamad Imine

, 2016

2015

Efficient Querying of XML Data Through Arbitrary Security Views.

[BibT_eX]

[DOI]

Trans. Large Scale Data Knowl. Centered Syst., 2015

On Synthesizing a Consistent Operational Transformation Approach.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2015

Resilient Collaboration for Mobile Cloud Computing.

[BibT_eX]

[DOI]

ERCIM News, 2015

A Highly Concurrent Replicated Data Structure EAI Endorsed Transactions.

[BibT_eX]

[DOI]

Mumtaz Ahmad

EAI Endorsed Trans. Collab. Comput., 2015

A Constraint-based Approach for Generating Transformation Patterns.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015

Efficient and Decentralized Polling Protocol for General Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Mobile collaboration: a collaborative editing service in the cloud.

[BibT_eX]

[DOI]

Ladjel Bellatreche

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A Cloud-Based Reusable Design for Mobile Data Sharing.

[BibT_eX]

[DOI]

Proceedings of the Model and Data Engineering - 5th International Conference, 2015

Decentralized Collaborative Editing Platform.

[BibT_eX]

[DOI]

Mumtaz Ahmad

Proceedings of the 16th IEEE International Conference on Mobile Data Management, 2015

Towards Real-Time Co-authoring of Linked-Data on the Web.

[BibT_eX]

[DOI]

Proceedings of the Computer Science and Its Applications, 2015

Anonymizing Social Graphs via Uncertainty Semantics.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Symposium on Information, 2015

Differentially Private Publication of Social Graphs at Linear Cost.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2015

Mobile Co-Authoring of Linked Data in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Databases and Information Systems, 2015

2014

Practical access control management for distributed collaborative editors.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2014

Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis.

[BibT_eX]

[DOI]

Ingénierie des Systèmes d Inf., 2014

Efficient Polling Protocol for Decentralized Social Networks.

[BibT_eX]

[DOI]

CoRR, 2014

A Maximum Variance Approach for Graph Anonymization.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014

Enforcing Privacy in Decentralized Mobile Social Networks.

[BibT_eX]

[DOI]

Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), 2014

2013

Secure Collaboration for Smartphones.

[BibT_eX]

[DOI]

ERCIM News, 2013

On Constrained Adding Friends in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Social Informatics - 5th International Conference, 2013

<i>SVMAX</i>: a system for secure and valid manipulation of XML data.

[BibT_eX]

[DOI]

Proceedings of the 17th International Database Engineering & Applications Symposium, 2013

Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2012

On Consistency of Operational Transformation Approach

[BibT_eX]

[DOI]

Proceedings of the Proceedings 14th International Workshop on Verification of Infinite-State Systems, 2012

A General Approach for Securely Querying and Updating XML Data

[BibT_eX]

[DOI]

CoRR, 2012

Secure querying of recursive XML views: a standard xpath-based technique.

[BibT_eX]

[DOI]

Proceedings of the 21st World Wide Web Conference, 2012

A General Approach for Securely Updating XML Data.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on the Web and Databases 2012, 2012

On the Polling Problem for Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

On Securely Manipulating XML Data.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 5th International Symposium, 2012

2011

Optimistic access control for distributed collaborative editors.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Distributed Log Garbage Collector-Based Real Time Collaborative Editor for Mobile and P2P Environments.

[BibT_eX]

[DOI]

Fatima Bendella

Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

DeSCal - Decentralized Shared Calendar for P2P and Ad-Hoc Networks.

[BibT_eX]

[DOI]

Jagdish Prasad Achara

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

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.

[BibT_eX]

[DOI]

Fatima Bendella

Proceedings of the Third International Conference on Computer Science and its Applications (CIIA'11), 2011

2010

On Coordinating Collaborative Objects

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Safe and Efficient Strategies for Updating Firewall Policies.

[BibT_eX]

[DOI]

Zeeshan Ahmed

Proceedings of the Trust, 2010

Symbolic Model-Checking of Optimistic Replication Algorithms.

[BibT_eX]

[DOI]

Hanifa Boucheneb

Manal Najem

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Log garbage collector-based real time collaborative editor for mobile devices.

[BibT_eX]

[DOI]

Fatima Bendella

Proceedings of the 6th International Conference on Collaborative Computing: Networking, 2010

2009

A Flexible Access Control Model for Distributed Collaborative Editors.

[BibT_eX]

[DOI]

Proceedings of the Secure Data Management, 6th VLDB Workshop, 2009

On Model-Checking Optimistic Replication Algorithms.

[BibT_eX]

[DOI]

Hanifa Boucheneb

Proceedings of the Formal Techniques for Distributed Systems, 2009

Coordination Model for Real-Time Collaborative Editors.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

Undo-Based Access Control for Distributed Collaborative Editors.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Design, 2009

2008

Experiments in Model-Checking Optimistic Replication Algorithms

[BibT_eX]

[DOI]

Hanifa Boucheneb

CoRR, 2008

Decentralized concurrency control for real-time collaborative editors.

[BibT_eX]

[DOI]

Proceedings of the 8th international conference on New technologies in distributed systems, 2008

Flexible Concurrency Control for Real-Time Collaborative Editors.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008

2007

Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Rewriting, 2007

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

[BibT_eX]

[DOI]