Csar Rodrguez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
1999–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | NAACL | Cross-lingual Transfer of Reward Models in Multilingual Alignment. | Jiwoo Hong, Noah Lee, Rodrigo Martnez-Castao, Csar Rodrguez, James Thorne |
| 2020 | CAV | Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. | Daniel Schemmel, Julian Bning, Csar Rodrguez, David Laprell, Klaus Wehrle |
| 2018 | CAV | Quasi-Optimal Partial Order Reduction. | Huyen T. T. Nguyen, Csar Rodrguez, Marcelo Sousa, Camille Coti, Laure Petrucci |
| 2018 | FM | Dynamic Symbolic Verification of MPI Programs. | Dhriti Khanna, Subodh Sharma, Csar Rodrguez, Rahul Purandare |
| 2017 | CAV | Abstract Interpretation with Unfoldings. | Marcelo Sousa, Csar Rodrguez, Vijay Victor D'Silva, Daniel Kroening |
| 2015 | ATVA | Unfolding-Based Process Discovery. | Hernn Ponce de Len, Csar Rodrguez, Josep Carmona, Keijo Heljanko, Stefan Haar |
| 2015 | BPM | POD - A Tool For Process Discovery Using Partial Orders and Independence Information. | Hernn Ponce de Len, Csar Rodrguez, Josep Carmona |
| 2015 | CONCUR | Unfolding-based Partial Order Reduction. | Csar Rodrguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening |
| 2013 | ATVA | Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. | Csar Rodrguez, Stefan Schwoon |
| 2012 | CONCUR | Verification of Petri Nets with Read Arcs. | Csar Rodrguez, Stefan Schwoon |
| 2011 | CONCUR | Efficient Contextual Unfolding. | Csar Rodrguez, Stefan Schwoon, Paolo Baldan |
| 1999 | CASC | Effectively Computation of Some Radicals of Submodules of Free Modules. | Agustn Marcelo, Flix Marcelo, Csar Rodrguez |