César Rodríguez

Cited by

	All	Since 2017
Citations	417	262
h-index	12	10
i10-index	15	10

2011201220132014201520162017201820192020202120224 16 42 23 31 34 47 60 55 36 54 10

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
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
Karsten WolfProfessor für Informatik, Universität RostockVerified email at uni-rostock.de
Marcelo Sousaexplore.devVerified email at explore.dev
Loïg JezequelUniversité de Nantes, LS2NVerified email at ls2n.fr
Jeroen MeijerEijsinkVerified email at eijsink.nl
Marco BeccutiUniv. degli studi di TorinoVerified email at di.unito.it
Stefan HaarINRIA and LSV, CNRS and ENS Paris Saclay, 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 CarmonaAssociate Professor, Universitat Politècnica de CatalunyaVerified email at cs.upc.edu
Hernan Ponce de LeonBundeswehr University MunichVerified email at unibw.de
Franck PommereauProfessor of Computer Science, University of ÉvryVerified 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

César Rodríguez

Diffblue, Oxford, UK & 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	62	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	50	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, ...	44	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	33	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	33	2015
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	24	2013
Verification of Petri Nets with Read Arcs C Rodrıguez, S Schwoon Proceedings of the 23rd International Conference on Concurrency Theory …, 2012	23	2012
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, ...	21
Quasi-Optimal Partial Order Reduction HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci arXiv preprint arXiv:1802.03950, 2018	17	2018
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	17	2013
Efficient contextual unfolding C Rodríguez, S Schwoon, P Baldan International Conference on Concurrency Theory, 342-357, 2011	17	2011
Dynamic Symbolic Verification of MPI Programs D Khanna, S Sharma, C Rodríguez, R Purandare International Symposium on Formal Methods, 466-484, 2018	16	2018
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	14	2016
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, ...	14
Contextual merged processes C Rodríguez, S Schwoon, V Khomenko International Conference on Applications and Theory of Petri Nets and …, 2013	12	2013
Abstract Interpretation with Unfoldings M Sousa, C Rodríguez, V D'Silva, D Kroening arXiv preprint arXiv:1705.00595, 2017	10	2017
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
Verification Based on Unfoldings of Petri Nets with Read Arcs C Rodríguez École Normale Supérieure de Cachan-ENS Cachan, 2013	8	2013
Implementation of a complete prefix unfolder for contextual nets C Rodrıguez, L Cachan Rapport de master, MPRI, Paris, France, 2010	8	2010

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 this author

Cited by

Co-authors