A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction. - Cristian Daniel Rosa; Stephan Merz; Martin Quinson (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

SimGrid MC: Verification Support for a Multi-API Simulation Platform. - Stephan Merz; Martin Quinson; Cristian Daniel Rosa (FMOODS/FORTE, 2011)

Performance & Correctness Assessment of Distributed Systems. (Évaluation de la Performance et de la Correction de Systèmes Distribués). - Cristian Daniel Rosa (2011)

Parallel Simulation of Peer-to-Peer Systems. - Martin Quinson; Cristian Daniel Rosa; Christophe Thiery (CCGRID, 2012)