César Rodríguez

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 16

Top Venues

CoRR

CONCUR

ATVA

CAV (2)

École normale supérieure de Cachan, Paris, France (PHD)

Education History

École normale supérieure de Cachan, Paris, France

PHD

Publications

Camille Coti, Laure Petrucci, César Rodríguez, Marcelo Sousa
Quasi-optimal partial order reduction. Formal Methods Syst. Des. 57 (1) (2021)
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. CoRR (2020)
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. CAV (1) (2020)
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
Quasi-Optimal Partial Order Reduction. CAV (2) (2018)
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
Quasi-Optimal Partial Order Reduction. CoRR (2018)
Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare
Dynamic Symbolic Verification of MPI Programs. FM (2018)
Étienne André, Thomas Chatain, César Rodríguez
Preserving Partial-Order Runs in Parametric Time Petri Nets. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening
Abstract Interpretation with Unfoldings. CoRR (2017)
Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening
Abstract Interpretation with Unfoldings. CAV (2) (2017)
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
MCC'2015 - The Fifth Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Étienne André, Thomas Chatain, César Rodríguez
Preserving Partial Order Runs in Parametric Time Petri Nets. ACSD (2015)
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
Unfolding-Based Process Discovery. CoRR (2015)
César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
Unfolding-based Partial Order Reduction. CONCUR (2015)
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
Unfolding-Based Process Discovery. ATVA (2015)
César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
Unfolding-based Partial Order Reduction. CoRR (2015)
Hernán Ponce de León, César Rodríguez, Josep Carmona
POD - A Tool For Process Discovery Using Partial Orders and Independence Information. BPM (Demos) (2015)
César Rodríguez, Stefan Schwoon
An Improved Construction of Petri Net Unfoldings. FSFMA (2013)
César Rodríguez, Stefan Schwoon, Victor Khomenko
Contextual Merged Processes. Petri Nets (2013)
Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR (2013)
César Rodríguez, Stefan Schwoon
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. ATVA (2013)
Stefan Haar, César Rodríguez, Stefan Schwoon
Reveal Your Faults: It's Only Fair! ACSD (2013)
César Rodríguez, Stefan Schwoon
Verification of Petri Nets with Read Arcs. CONCUR (2012)
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon
Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. 449 (2012)
Stefan Schwoon, César Rodríguez
Construction and SAT-Based Verification of Contextual Unfoldings. DCFS (2011)
César Rodríguez, Stefan Schwoon, Paolo Baldan
Efficient Contextual Unfolding. CONCUR (2011)
Agustín Marcelo, Félix Marcelo, César Rodríguez
Effectively Computation of Some Radicals of Submodules of Free Modules. CASC (1999)
Agustín Marcelo, Félix Marcelo, César Rodríguez
Radicals of primary submodules. SIGSAM Bull. 33 (3) (1999)

César Rodríguez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

César Rodríguez