关注
César Rodríguez
César Rodríguez
Cadence & Associate Professor, University of Paris 13, France
在 lipn.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Unfolding-based Partial Order Reduction
C Rodríguez, M Sousa, S Sharma, D Kroening
arXiv preprint arXiv:1507.00980, 2015
752015
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
622012
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
502015
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
382015
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
382015
Quasi-Optimal Partial Order Reduction
HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci
arXiv preprint arXiv:1802.03950, 2018
352018
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
292013
Verification of Petri Nets with Read Arcs
C Rodrıguez, S Schwoon
Proceedings of the 23rd International Conference on Concurrency Theory …, 2012
252012
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, ...
25
Dynamic Symbolic Verification of MPI Programs
D Khanna, S Sharma, C Rodríguez, R Purandare
International Symposium on Formal Methods, 466-484, 2018
242018
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
242013
Efficient contextual unfolding
C Rodríguez, S Schwoon, P Baldan
International Conference on Concurrency Theory, 342-357, 2011
182011
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
Abstract Interpretation with Unfoldings
M Sousa, C Rodríguez, V D'Silva, D Kroening
arXiv preprint arXiv:1705.00595, 2017
172017
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
152016
Contextual merged processes
C Rodríguez, S Schwoon, V Khomenko
International Conference on Applications and Theory of Petri Nets and …, 2013
142013
Verification Based on Unfoldings of Petri Nets with Read Arcs
C Rodríguez
École Normale Supérieure de Cachan-ENS Cachan, 2013
102013
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
Cunf
C Rodríguez, S Schwoon
82011
系统目前无法执行此操作，请稍后再试。
文章 1–20