EasyChair Smart SlideUser guide
Author: César Rodríguez

This page shows all presentations of this author published in EasyChair Smart Slide.

Dynamic Symbolic Verification of MPI Programs

Dynamic Symbolic Verification of MPI Programs

Dhriti Khanna, Subodh Sharma, César Rodríguez and Rahul Purandare

Quasi-Optimal Partial Order Reduction

Quasi-Optimal Partial Order Reduction

Huyen T.T. Nguyen, Cesar Rodriguez, Marcelo Sousa, Camille Coti and Laure Petrucci

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair