César Rodríguez
César Rodríguez
Diffblue, Oxford, UK & Associate Professor, University of Paris 13, France
Email verificata su lipn.fr - Home page
Titolo
Citata da
Citata da
Anno
Unfolding-based Partial Order Reduction
C Rodríguez, M Sousa, S Sharma, D Kroening
arXiv preprint arXiv:1507.00980, 2015
532015
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
442012
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
272015
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, ...
26
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
232015
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
232015
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
202013
Verification of Petri Nets with Read Arcs
C Rodrıguez, S Schwoon
Proceedings of the 23rd International Conference on Concurrency Theory …, 2012
182012
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
152013
Efficient contextual unfolding
C Rodríguez, S Schwoon, P Baldan
International Conference on Concurrency Theory, 342-357, 2011
152011
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
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
122016
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
Contextual merged processes
C Rodríguez, S Schwoon, V Khomenko
International Conference on Applications and Theory of Petri Nets and …, 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
Cunf
C Rodríguez, S Schwoon
72011
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20