<  Back to the Polytechnique Montréal portal

Items where Author is "Imine, Abdessamad"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: B | R
Number of items: 6.

B

Boucheneb, H., Imine, A., & Najem, M. (2010, October). Symbolic Model-Checking of Optimistic Replication Algorithms [Paper]. 8th International Conference on Integrated Formal Methods (IFM 2010), Nancy, France. External link

Boucheneb, H., & Imine, A. (2009, June). On model-checking optimistic replication algorithms [Paper]. Joint 11th IFIP WG 6.1 International Conference (FMOODS 2009) and 29th IFIP WG 6.1 International Conference (FORTE 2009), Lisboa, Portugal. External link

R

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

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. External link

Randolph, A., Boucheneb, H., Imine, A., & Quintero, A. (2012, August). On consistency of operational transformation approach [Paper]. 14th International Workshop on Verification of Infinite-State Systems (INFINITY 2012), Paris, France. Published in Electronic Proceedings in Theoretical Computer Science (EPTCS), 107. External link

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

List generated on: Wed Nov 13 08:57:43 2024 EST