@phdthesis{Rod13,
  title = "Verification Based on Unfoldings of {P}etri Nets with Read Arcs",
  author = "Rodríguez, César",
  year = "2013",
  address = "France",
  month = "dec",
  school = "Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan",
}
@article{mcc2013,
  title = "Model Checking Contest @ Petri Nets, Report on the 2013 edition",
  author = "Fabrice Kordon and Alban Linard and Marco Beccuti and Didier Buchs and Lukasz Fronc and Lom-Messan Hillah and Francis Hulin-Hubard and Fabrice Legond-Aubry and Niels Lohmann and Alexis Marechal and Emmanuel Paviot-Adet and Franck Pommereau and C{\'e}sar Rodr\'{\i}guez and Christian Rohr and Yann Thierry-Mieg and Harro Wimmel and Karsten Wolf",
  year = "2013",
  journal = "CoRR",
  volume = "abs/1309.2485",
}
@inproceedings{RS13fsfma,
  title = "An Improved Construction of Petri Net Unfoldings",
  author = "Rodríguez, César and Schwoon, Stefan",
  year = "2013",
  booktitle = "Proc.\ of the French-Singaporean Workshop on Formal Methods and Applications ({FSFMA'13})",
  editor = "Choppy, Christine and Sun, Jun",
  month = "jul",
  pages = "47--52",
  publisher = "Leibniz-Zentrum für Informatik",
  series = "OASICS",
  volume = "31",
  doi = "10.4230/OASIcs.FSFMA.2013.47",
}
@inproceedings{RS13atva,
  title = "Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs",
  author = "Rodríguez, César and Schwoon, Stefan",
  year = "2013",
  booktitle = "Proc.\ Automated Technology for Verification and Analysis (ATVA)",
  editor = "Dang Van Hung and Mizuhito Ogawa",
  pages = "492--495",
  publisher = "Springer",
  series = "LNCS",
  volume = "8172",
  doi = "10.1007/978-3-319-02444-8_42",
}
@inproceedings{HRS13,
  title = "Reveal Your Faults: It's Only Fair!",
  author = "Haar, Stefan and Rodríguez, César and Schwoon, Stefan",
  year = "2013",
  booktitle = "2013 13th International Conference on Application of Concurrency to System Design ({ACSD})",
  pages = "120--129",
  doi = "10.1109/ACSD.2013.15",
}
@techreport{RSK13rr,
  title = "Contextual Merged Processes",
  author = "C\'esar Rodr\'{\i}guez and Stefan Schwoon and Victor Khomenko",
  year = "2013",
  institution = "LSV, ENS de Cachan, France",
  number = "LSV-13-06",
}
@inproceedings{RSK13,
  title = "Contextual Merged Processes",
  author = "C\'esar Rodr\'{\i}guez and Stefan Schwoon and Victor Khomenko",
  year = "2013",
  booktitle = "Proc.\ International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN)",
  month = "jun",
  pages = "29--48",
  series = "LNCS",
  volume = "7927",
  doi = "10.1007/978-3-642-38697-8_3",
}
@article{BBCKRS12,
  title = "Efficient unfolding of contextual {P}etri nets",
  author = "Paolo Baldan and Alessandro Bruni and Andrea Corradini and Barbara K\"{o}nig and C\'{e}sar Rodr\'{\i}guez and Stefan Schwoon",
  year = "2012",
  journal = "Theoretical Computer Science (TCS)",
  month = "aug",
  pages = "2--22",
  volume = "449",
  doi = "10.1016/j.tcs.2012.04.046",
}
@techreport{RS12rr,
  title = "Verification of {Petri} {Nets} with {Read} {Arcs}",
  author = "C\'esar Rodr\'{\i}guez and Stefan Schwoon",
  year = "2012",
  institution = "LSV, ENS de Cachan, France",
  number = "LSV-12-12",
}
@inproceedings{RS12,
  title = "Verification of Petri Nets with Read Arcs",
  author = "Rodríguez, César and Schwoon, Stefan",
  year = "2012",
  booktitle = "Proc.\ International Conference on Concurrency Theory (CONCUR)",
  editor = "Koutny, Maciej and Ulidowski, Irek",
  month = "sep",
  pages = "471--485",
  publisher = "Springer",
  series = "LNCS",
  volume = "7454",
  doi = "10.1007/978-3-642-32940-1_33",
}
@inproceedings{SR11,
  title = "Construction and {SAT}-based verification of Contextual Unfoldings",
  author = "Schwoon, Stefan and Rodr\'{\i}guez, C{\'e}sar",
  year = "2011",
  booktitle = "Proc.\ of the 13th {I}nternational {W}orkshop on {D}escriptional {C}omplexity of {F}ormal {S}ystems ({DCFS}'11)",
  editor = "Holzer, Markus and Kutrib, Martin and Pighizzini, Giovanni",
  month = "jul",
  note = "Extended abstract",
  pages = "34--42",
  publisher = "Springer",
  series = "LNCS",
  volume = "6808",
  doi = "10.1007/978-3-642-22600-7_3",
}
@inproceedings{RSB11,
  title = "Efficient Contextual Unfolding",
  author = "C\'esar Rodr\'{\i}guez and Stefan Schwoon and Paolo Baldan",
  year = "2011",
  booktitle = "Proc.\ International Conference on Concurrency Theory (CONCUR)",
  editor = "Katoen, Joost-Pieter and König, Barbara",
  month = "sep",
  pages = "342--357",
  publisher = "Springer",
  series = "LNCS",
  volume = "6901",
  doi = "10.1007/978-3-642-23217-6_23",
}
@mastersthesis{Rod10,
  title = "Implementation of a complete prefix unfolder for contextual nets",
  author = "Rodr\'{\i}guez, C\'esar",
  year = "2010",
  address = "France",
  month = "sep",
  school = "ENS~Cachan",
}
@mastersthesis{Rod08,
  title = "Construcción de un sistema operativo docente para la arquitectura {IA-32} ({Building} an academic operating system for the {IA-32} architecture)",
  author = "César Rodríguez",
  year = "2008",
  school = "Escuela Técnica Superior de Ingeniería Informática, Universidad de Alcalá, Spain",
}
@inproceedings{PVKRPS08,
  title = "Evaluation of a Minimal {POSIX} Tracing Service Profile for Real Time Embedded Systems",
  author = "Pablo Parra and Aitor Viana and Martín Knoblauch and César Rodríguez and Óscar Polo and Sebastián Sánchez",
  year = "2008",
  booktitle = "Proc.\ of the 4th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications",
  issn = "0001-0782",
  pages = "22--28",
}
@misc{Cna,
  title = "Tool Cna",
  author = "C\'esar Rodr\'{\i}guez",
  note = "Available from \url{http://code.google.com/p/cunf/}.",
}
@misc{Cunf,
  title = "Tool Cunf",
  author = "C\'esar Rodr\'{\i}guez",
  note = "Available from \url{http://code.google.com/p/cunf/}.",
}