César Rodríguez

Cited by

	All	Since 2019
Citations	519	259
h-index	14	10
i10-index	16	10

201120122013201420152016201720182019202020212022202320244 16 42 22 30 35 48 59 57 42 54 32 42 32

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Lom HillahLaboratoire d'informatique de Paris 6Verified email at lip6.fr
Yann Thierry-MiegLaboratoire d'Informatique de Paris 6Verified email at lip6.fr
Christian RohrBTU Cottbus-SenftenbergVerified email at b-tu.de
Karsten WolfProfessor für Informatik, Universität RostockVerified email at uni-rostock.de
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
Marcelo SousaReviewpadVerified email at reviewpad.com
Jeroen MeijerEijsinkVerified email at eijsink.nl
Loïg JezequelUniversité de Nantes, LS2NVerified email at ls2n.fr
Stefan HaarINRIA and Université Paris-SaclayVerified email at inria.fr
Subodh SharmaIIT DelhiVerified email at cse.iitd.ac.in
Daniel KroeningAmazonVerified email at amazon.com
Paolo BaldanProfessor of Computer Science, University of PadovaVerified email at math.unipd.it
Josep CarmonaProfessor at Universitat Politècnica de Catalunya | CEO at Process TalksVerified email at cs.upc.edu
Hernan Ponce de LeonHuawei Dresden Research CenterVerified email at huawei.com
Franck PommereauProfessor of Computer Science, Évry University, Paris-Saclay UniversityVerified email at univ-evry.fr
Didier BuchsProfessor of Computer Science, Geneva UniversityVerified email at unige.ch
Niels LohmannUniversität RostockVerified email at uni-rostock.de
Alessandro BruniAssociate Professor. IT-University of CopenhagenVerified email at itu.dk
Andrea CorradiniProfessor of Computer Science, University of PisaVerified email at di.unipi.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de

César Rodríguez

Cadence & Associate Professor, University of Paris 13, France

Verified email at lipn.fr - Homepage

Program analysis Symbolic execution Concurrency Automated testing Verification


Title Sort by citations Sort by year Sort by 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	76	2015
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	62	2012
Complete Results for the 2015 Edition of the Model Checking Contest F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...	50	2015
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	38	2015
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	38	2015
Quasi-Optimal Partial Order Reduction HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci arXiv preprint arXiv:1802.03950, 2018	35	2018
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	30	2013
Verification of Petri Nets with Read Arcs C Rodrıguez, S Schwoon Proceedings of the 23rd International Conference on Concurrency Theory …, 2012	26	2012
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	25	2013
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	24	2018
Efficient contextual unfolding C Rodríguez, S Schwoon, P Baldan International Conference on Concurrency Theory, 342-357, 2011	18	2011
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	17	2017
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	15	2016
Contextual merged processes C Rodríguez, S Schwoon, V Khomenko International Conference on Applications and Theory of Petri Nets and …, 2013	14	2013
Verification Based on Unfoldings of Petri Nets with Read Arcs C Rodríguez École Normale Supérieure de Cachan-ENS Cachan, 2013	10	2013
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	10	2013
Web Report on the Model Checking Contest@ Petri Net 2013 F Kordon, A Linard, M Becutti, D Buchs, L Fronc, F Hulin-Hubard, ...	9	2013
Cunf C Rodríguez, S Schwoon	9	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors