Cristian Daniel Rosa

According to our database, Cristian Daniel Rosa authored at least 4 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

Parallel Simulation of Peer-to-Peer Systems.

Martin Quinson, Cristian Daniel Rosa, Christophe Thiery

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011

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

Cristian Daniel Rosa

PhD thesis, 2011

SimGrid MC: Verification Support for a Multi-API Simulation Platform.

Stephan Merz, Martin Quinson, Cristian Daniel Rosa

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

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