Documents dont l'auteur est "Imine, Abdessamad"

Réseau de collaboration

Veuillez patienter

Aide

Ce graphique trace les liens entre tous les collaborateurs des publications de {} figurant sur cette page.

Chaque lien représente une collaboration sur la même publication. L'épaisseur du lien représente le nombre de collaborations.

Utilisez la molette de la souris ou les gestes de défilement pour zoomer à l'intérieur du graphique.

Vous pouvez cliquer sur les noeuds et les liens pour les mettre en surbrillance et déplacer les noeuds en les glissant.

Enfoncez la touche "Ctrl" ou la touche "⌘" en cliquant sur les noeuds pour ouvrir la liste des publications de cette personne.

2018

Foundations and Practice of Security [Communication écrite] (octobre 2017). 10th International Symposium on Foundations and Practice of Security (FPS 2017), Nancy, France. Publié dans Lecture notes in computer science. Lien externe

2015

Randolph, A., Boucheneb, H., Imine, A., & Quintero, A. (2015). On synthesizing a consistent operational transformation approach. IEEE Transactions on Computers, 64(4), 1074-1089. Lien externe

2014

Randolph, A., Imine, A., Boucheneb, H., & Quintero, A. (2014). Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis. Ingénierie des systèmes d'information, 19(6), 9-32. Lien externe

2013

Randolph, A., Boucheneb, H., Imine, A., & Quintero, A. (août 2012). On consistency of operational transformation approach [Communication écrite]. 14th International Workshop on Verification of Infinite-State Systems (INFINITY 2012), Paris, France. Publié dans Electronic Proceedings in Theoretical Computer Science (EPTCS), 107. Lien externe

Randolph, A., Imine, A., Boucheneb, H., & Quintero, A. (septembre 2013). Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors [Communication écrite]. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013), Madrid, Spain. Lien externe

2010

Boucheneb, H., Imine, A., & Najem, M. (octobre 2010). Symbolic Model-Checking of Optimistic Replication Algorithms [Communication écrite]. 8th International Conference on Integrated Formal Methods (IFM 2010), Nancy, France. Lien externe

2009

Boucheneb, H., & Imine, A. (juin 2009). On model-checking optimistic replication algorithms [Communication écrite]. Joint 11th IFIP WG 6.1 International Conference (FMOODS 2009) and 29th IFIP WG 6.1 International Conference (FORTE 2009), Lisboa, Portugal. Lien externe