César Rodríguez
Interests
Formal verification, Concurrency, Partial-order semantics, Software verification, Bounded model checking, Petri nets
See also my DBLP and Google Scholar Profile.
Biography
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.
Selected Publications
-
Verification Based on Unfoldings of Petri Nets with Read Arcs
César Rodríguez
PhD Thesis Laboratoire Spécification et Vérification‚ ENS Cachan. France. December, 2013.
Details about Verification Based on Unfoldings of Petri Nets with Read Arcs | BibTeX data for Verification Based on Unfoldings of Petri Nets with Read Arcs
-
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.
Details about An Improved Construction of Petri Net Unfoldings | BibTeX data for An Improved Construction of Petri Net Unfoldings | DOI (10.4230/OASIcs.FSFMA.2013.47)
-
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.
Details about Contextual Merged Processes | BibTeX data for Contextual Merged Processes | DOI (10.1007/978-3-642-38697-8_3)