César Rodríguez

Dikutip oleh

	Semua	Sejak 2020
Kutipan	532	216
indeks-h	14	9
indeks-i10	15	8

2011201220132014201520162017201820192020202120222023202420254 16 42 22 29 34 45 60 59 42 54 37 45 35 3

Akses publik

Lihat semua

1 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Lom HillahLaboratoire d'informatique de Paris 6Email yang diverifikasi di lip6.fr
Yann Thierry-MiegLaboratoire d'Informatique de Paris 6Email yang diverifikasi di lip6.fr
Christian RohrBTU Cottbus-SenftenbergEmail yang diverifikasi di b-tu.de
Karsten WolfProfessor für Informatik, Universität RostockEmail yang diverifikasi di uni-rostock.de
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéEmail yang diverifikasi di lip6.fr
Marcelo SousaReviewpadEmail yang diverifikasi di reviewpad.com
Jeroen MeijerEijsinkEmail yang diverifikasi di eijsink.nl
Loïg JezequelUniversité de Nantes, LS2NEmail yang diverifikasi di ls2n.fr
Stefan HaarINRIA and Université Paris-SaclayEmail yang diverifikasi di inria.fr
Subodh SharmaIIT DelhiEmail yang diverifikasi di cse.iitd.ac.in
Daniel KroeningAmazonEmail yang diverifikasi di amazon.com
Paolo BaldanProfessor of Computer Science, University of PadovaEmail yang diverifikasi di math.unipd.it
Josep CarmonaProfessor at Universitat Politècnica de Catalunya | CEO at Process Talks (www.processtalks.com)Email yang diverifikasi di cs.upc.edu
Hernan Ponce de LeonHuawei Dresden Research CenterEmail yang diverifikasi di huawei.com
Franck PommereauProfessor of Computer Science, Évry University, Paris-Saclay UniversityEmail yang diverifikasi di univ-evry.fr
Didier BuchsProfessor of Computer Science, Geneva UniversityEmail yang diverifikasi di unige.ch
Niels LohmannUniversität RostockEmail yang diverifikasi di uni-rostock.de
Alessandro BruniAssociate Professor. IT-University of CopenhagenEmail yang diverifikasi di itu.dk
Andrea CorradiniProfessor of Computer Science, University of PisaEmail yang diverifikasi di di.unipi.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikEmail yang diverifikasi di uni-due.de

Ikuti

César Rodríguez

Cadence & Associate Professor, University of Paris 13, France

Email yang diverifikasi di lipn.fr - Beranda

Program analysis Symbolic execution Concurrency Automated testing Verification


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Unfolding-based Partial Order Reduction C Rodríguez, M Sousa, S Sharma, D Kroening arXiv preprint arXiv:1507.00980, 2015	80	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	63	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, ...	55	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
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, ...	27
Dynamic Symbolic Verification of MPI Programs D Khanna, S Sharma, C Rodríguez, R Purandare International Symposium on Formal Methods, 466-484, 2018	26	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	25	2013
Verification of Petri Nets with Read Arcs C Rodrıguez, S Schwoon Proceedings of the 23rd International Conference on Concurrency Theory …, 2012	25	2012
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, ...	20
Efficient contextual unfolding C Rodríguez, S Schwoon, P Baldan International Conference on Concurrency Theory, 342-357, 2011	18	2011
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	16	2016
Contextual merged processes C Rodríguez, S Schwoon, V Khomenko International Conference on Applications and Theory of Petri Nets and …, 2013	14	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
Verification Based on Unfoldings of Petri Nets with Read Arcs C Rodríguez École Normale Supérieure de Cachan-ENS Cachan, 2013	8	2013

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama