Cristian Rosa
Computer Algorithms for Medicine(AT)
Publications by Year
Research Areas
Formal Methods in Verification, Parallel Computing and Optimization Techniques, Distributed and Parallel Computing Systems, Peer-to-Peer Network Technologies, Distributed systems and fault tolerance
Most-Cited Works
- → Parallel Simulation of Peer-to-Peer Systems(2012)24 cited
- → SimGrid MC: Verification Support for a Multi-API Simulation Platform(2011)14 cited
- → A Simple Model of Communication APIs – Application to Dynamic Partial-order Reduction(2024)7 cited
- Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems(2011)
- Scalable and Fast Simulation of Peer-to-Peer Systems Using SimGrid(2011)
- Análisis formal del estándar NIST para modelos RBAC(2009)
- Model-checking Distributed Applications with GRAS(2009)
- Performance and correctness assessmet of distributed systems(2011)
- Application Domains - Providing Environments forExperiments(2010)
- Performance & Correctness Assessment of Distributed Systems(2011)