Volgen
César Rodríguez
César Rodríguez
Cadence & Associate Professor, University of Paris 13, France
Geverifieerd e-mailadres voor lipn.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Unfolding-based Partial Order Reduction
C Rodríguez, M Sousa, S Sharma, D Kroening
arXiv preprint arXiv:1507.00980, 2015
672015
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
572012
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
442015
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
372015
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
372015
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
262013
Quasi-Optimal Partial Order Reduction
HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci
arXiv preprint arXiv:1802.03950, 2018
252018
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, ...
24
Verification of Petri Nets with Read Arcs
C Rodrıguez, S Schwoon
Proceedings of the 23rd International Conference on Concurrency Theory …, 2012
232012
Dynamic Symbolic Verification of MPI Programs
D Khanna, S Sharma, C Rodríguez, R Purandare
International Symposium on Formal Methods, 466-484, 2018
212018
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
212013
Efficient contextual unfolding
C Rodríguez, S Schwoon, P Baldan
International Conference on Concurrency Theory, 342-357, 2011
172011
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, ...
17
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
142016
Contextual merged processes
C Rodríguez, S Schwoon, V Khomenko
International Conference on Applications and Theory of Petri Nets and …, 2013
132013
Abstract Interpretation with Unfoldings
M Sousa, C Rodríguez, V D'Silva, D Kroening
arXiv preprint arXiv:1705.00595, 2017
122017
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
Verification Based on Unfoldings of Petri Nets with Read Arcs
C Rodríguez
École Normale Supérieure de Cachan-ENS Cachan, 2013
92013
Web Report on the Model Checking Contest@ Petri Net 2013
F Kordon, A Linard, M Becutti, D Buchs, L Fronc, F Hulin-Hubard, ...
92013
Implementation of a complete prefix unfolder for contextual nets
C Rodrıguez, L Cachan
Rapport de master, MPRI, Paris, France, 2010
82010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20