César Rodríguez
César Rodríguez
Diffblue, Oxford, UK & Associate Professor, University of Paris 13, France
Verified email at lipn.fr - Homepage
Title
Cited by
Cited by
Year
Unfolding-based Partial Order Reduction
C Rodríguez, M Sousa, S Sharma, D Kroening
arXiv preprint arXiv:1507.00980, 2015
542015
Efficient unfolding of contextual Petri nets
P Baldan, A Bruni, A Corradini, B König, C Rodríguez, S Schwoon
Theoretical Computer Science 449, 2-22, 2012
452012
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
332015
Unfolding-based process discovery
H Ponce-de-León, C Rodríguez, J Carmona, K Heljanko, S Haar
International Symposium on Automated Technology for Verification and …, 2015
252015
Unfolding-based process discovery
H Ponce-de-León, C Rodríguez, J Carmona, K Heljanko, S Haar
International Symposium on Automated Technology for Verification and …, 2015
252015
Cunf: A tool for unfolding and verifying Petri nets with read arcs
C Rodríguez, S Schwoon
International Symposium on Automated Technology for Verification and …, 2013
212013
Verification of Petri Nets with Read Arcs
C Rodrıguez, S Schwoon
Proceedings of the 23rd International Conference on Concurrency Theory …, 2012
212012
Efficient contextual unfolding
C Rodríguez, S Schwoon, P Baldan
International Conference on Concurrency Theory, 342-357, 2011
182011
Tri. nh, G., Wolf, K.: Complete Results for the 2016 Edition of the Model Checking Contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ...
18
Reveal Your Faults: It's Only Fair!
S Haar, C Rodríguez, S Schwoon
Application of Concurrency to System Design (ACSD), 2013 13th International …, 2013
162013
MCC’2015–The Fifth Model Checking Contest
F Kordon, H Garavel, LM Hillah, E Paviot-Adet, L Jezequel, C Rodríguez, ...
Transactions on Petri Nets and Other Models of Concurrency XI, 262-273, 2016
132016
Complete Results for the 2016 Edition of the Model Checking Contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ...
13
Dynamic Symbolic Verification of MPI Programs
D Khanna, S Sharma, C Rodríguez, R Purandare
International Symposium on Formal Methods, 466-484, 2018
122018
Contextual merged processes
C Rodríguez, S Schwoon, V Khomenko
International Conference on Applications and Theory of Petri Nets and …, 2013
112013
Quasi-Optimal Partial Order Reduction
HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci
arXiv preprint arXiv:1802.03950, 2018
102018
Model Checking Contest@ Petri Nets, Report on the 2013 edition
F Kordon, A Linard, M Beccuti, D Buchs, L Fronc, LM Hillah, ...
arXiv preprint arXiv:1309.2485, 2013
102013
Web Report on the Model Checking Contest@ Petri Net 2013
F Kordon, A Linard, M Becutti, D Buchs, L Fronc, F Hulin-Hubard, ...
92013
Abstract Interpretation with Unfoldings
M Sousa, C Rodríguez, V D'Silva, D Kroening
arXiv preprint arXiv:1705.00595, 2017
82017
Implementation of a complete prefix unfolder for contextual nets
C Rodrıguez, L Cachan
Rapport de master, MPRI, Paris, France, 2010
82010
Verification Based on Unfoldings of Petri Nets with Read Arcs
C Rodríguez
École Normale Supérieure de Cachan-ENS Cachan, 2013
72013
The system can't perform the operation now. Try again later.
Articles 1–20