|
 
|
A Imine
|
Membre exterieur |
Publications
2013
- [RIB13] A Randolph, A Imine, H. Boucheneb, A Quintero. "Specification and Verification using Alloy of Optimistic Access Control for Distributed Collaborative Editors", 18th International Workshop on Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science, September 2013, pp.1-6,
Conférence Internationale avec comité de lecture
2012
- [RBI12] A Randolph, H. Boucheneb, A Imine, A Quintero. "On Synthesizing a Consistent Operational Transformation Approach", 4th International Workshop on Verification of Infinite-State Systems (INFINITY), August 2012, pp.1-6,
