Dr César Rodríguez
Formal verification, Concurrency, Partial-order semantics, Software verification, Bounded model checking, Petri nets
I am a post-doctoral research assistant at the Compuer Science Department of the University of Oxford. In december 2013, I received my PhD from the École Normale Supérieure de Cachan (ENS Cachan), where I was a doctoral candidate at the Laboratoire Spécification et Vérification (LSV) under superivision of Stefan Schwoon. More details are available at my previous webpage.
Verification Based on Unfoldings of Petri Nets with Read Arcs
PhD Thesis Laboratoire Spécification et Vérification‚ ENS Cachan. France. December, 2013.
An Improved Construction of Petri Net Unfoldings
César Rodríguez and Stefan Schwoon
In Christine Choppy and Jun Sun, editors, Proc. of the French−Singaporean Workshop on Formal Methods and Applications (FSFMA'13). Vol. 31 of OASICS. Pages 47–52. Leibniz−Zentrum für Informatik. July, 2013.
Contextual Merged Processes
César Rodríguez‚ Stefan Schwoon and Victor Khomenko
In Proc. International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN). Vol. 7927 of LNCS. Pages 29–48. June, 2013.