<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Imine, A."

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : B | R
Nombre de documents: 4

B

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

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

R

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

Liste produite: Mon Feb 5 04:47:25 2024 EST.