[1] M. Quinson, C. Rosa, and C. Thiery. Parallel simulation of peer-to-peer systems. In Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012), CCGRID '12, pages 668-675, Washington, DC, USA, 2012. IEEE Computer Society. [ bib | http ]
[2] S. Merz, M. Quinson, and C. Rosa. Simgrid MC: Verification Support for a Multi-api Simulation Platform. In 31th Formal Techniques for Networked and Distributed Systems - FORTE 2011, pages 274-288, Reykjavik, Iceland, June 2011. [ bib ]
[3] C. Rosa, S. Merz, and M. Quinson. A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction. In 10th International Workshop on Automated Verification of Critical Systems - AVOCS 2010, pages 137-151, Dusseldorf, Germany, September 2010. [ bib ]
[4] C. Rosa, M. Quinson, and S. Merz. Model-checking Distributed Applications with GRAS. In Workshop on Exploiting Concurrency Efficiently and Correctly - (EC)2 (associated to the CAV conference), page 11, Grenoble, France, June 2009. Also available as Research Report 7052 INRIA http://hal.inria.fr/inria-00422159/en/. [ bib | http ]
[5] C. Rosa and C. Luna. Análisis Formal del Estándar NIST para Modelos RBAC. In V Congreso Iberoamericano de Seguridad Informática - CIBSI '09, pages 250-269, Montevideo, Uruguay, 2009. [ bib ]