César Rodríguez

30 papers B 8Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Cross-lingual Transfer of Reward Models in Multilingual Alignment.
NAACL (Short Papers)
Jiwoo Hong, Noah Lee, Rodrigo Martínez-Castaño, César Rodríguez, James Thorne
2024 J jnl
Cross-lingual Transfer of Reward Models in Multilingual Alignment.
CoRR
Jiwoo Hong, Noah Lee, Rodrigo Martínez-Castaño, César Rodríguez, James Thorne
2021 J jnl
Quasi-optimal partial order reduction.
Formal Methods Syst. Des.
Camille Coti, Laure Petrucci, César Rodríguez, Marcelo Sousa
2020 — conf
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs.
CAV (1)
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
2020 J jnl
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs.
CoRR
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
2018 B conf
Dynamic Symbolic Verification of MPI Programs.
FM
Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare
2018 — conf
Quasi-Optimal Partial Order Reduction.
CAV (2)
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
2018 J jnl
Quasi-Optimal Partial Order Reduction.
CoRR
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
2017 — conf
Abstract Interpretation with Unfoldings.
CAV (2)
Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening
2017 J jnl
Abstract Interpretation with Unfoldings.
CoRR
Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening
2017 J jnl
Preserving Partial-Order Runs in Parametric Time Petri Nets.
ACM Trans. Embed. Comput. Syst.
Étienne André, Thomas Chatain, César Rodríguez
2016 J jnl
MCC'2015 - The Fifth Model Checking Contest.
Trans. Petri Nets Other Model. Concurr.
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
2015 — conf
POD - A Tool For Process Discovery Using Partial Orders and Independence Information.
BPM (Demos)
Hernán Ponce de León, César Rodríguez, Josep Carmona
2015 — conf
Preserving Partial Order Runs in Parametric Time Petri Nets.
ACSD
Étienne André, Thomas Chatain, César Rodríguez
2015 B conf
Unfolding-Based Process Discovery.
ATVA
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
2015 J jnl
Unfolding-Based Process Discovery.
CoRR
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
2015 B conf
Unfolding-based Partial Order Reduction.
CONCUR
César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
2015 J jnl
Unfolding-based Partial Order Reduction.
CoRR
César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
2013 — conf
An Improved Construction of Petri Net Unfoldings.
FSFMA
César Rodríguez, Stefan Schwoon
2013 B conf
Contextual Merged Processes.
Petri Nets
César Rodríguez, Stefan Schwoon, Victor Khomenko
2013 B conf
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs.
ATVA
César Rodríguez, Stefan Schwoon
2013 J jnl
Model Checking Contest @ Petri Nets, Report on the 2013 edition.
CoRR
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
2013 — conf
Reveal Your Faults: It's Only Fair!
ACSD
Stefan Haar, César Rodríguez, Stefan Schwoon
2013 — —
Verification based on unfoldings of Petri nets with read arcs. (Vérification à l'aide de dépliages de réseaux de Petri étendus avec des arcs de lecture).
César Rodríguez
2012 J jnl
Efficient unfolding of contextual Petri nets.
Theor. Comput. Sci.
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon
2012 B conf
Verification of Petri Nets with Read Arcs.
CONCUR
César Rodríguez, Stefan Schwoon
2011 — conf
Construction and SAT-Based Verification of Contextual Unfoldings.
DCFS
Stefan Schwoon, César Rodríguez
2011 B conf
Efficient Contextual Unfolding.
CONCUR
César Rodríguez, Stefan Schwoon, Paolo Baldan
1999 B conf
Effectively Computation of Some Radicals of Submodules of Free Modules.
CASC
Agustín Marcelo, Félix Marcelo, César Rodríguez
1999 J jnl
Radicals of primary submodules.
SIGSAM Bull.
Agustín Marcelo, Félix Marcelo, César Rodríguez