César Rodríguez : Publications
Journal papers
-
[1]
Model Checking Contest @ Petri Nets‚ Report on the 2013 edition
Fabrice Kordon‚ Alban Linard‚ Marco Beccuti‚ Didier Buchs‚ Lukasz Fronc‚ Lom−Messan Hillah‚ Francis Hulin−Hubard‚ Fabrice Legond−Aubry‚ Niels Lohmann‚ Alexis Marechal‚ Emmanuel Paviot−Adet‚ Franck Pommereau‚ César Rodríguez‚ Christian Rohr‚ Yann Thierry−Mieg‚ Harro Wimmel and Karsten Wolf
In CoRR. Vol. abs/1309.2485. 2013.
Details about Model Checking Contest @ Petri Nets‚ Report on the 2013 edition | BibTeX data for Model Checking Contest @ Petri Nets‚ Report on the 2013 edition
-
[2]
Efficient unfolding of contextual Petri nets
Paolo Baldan‚ Alessandro Bruni‚ Andrea Corradini‚ Barbara König‚ César Rodríguez and Stefan Schwoon
In Theoretical Computer Science (TCS). Vol. 449. Pages 2–22. August, 2012.
Details about Efficient unfolding of contextual Petri nets | BibTeX data for Efficient unfolding of contextual Petri nets | DOI (10.1016/j.tcs.2012.04.046)
Conference papers
-
[1]
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)
-
[2]
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
César Rodríguez and Stefan Schwoon
In Dang Van Hung and Mizuhito Ogawa, editors, Proc. Automated Technology for Verification and Analysis (ATVA). Vol. 8172 of LNCS. Pages 492–495. Springer. 2013.
Details about Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs | BibTeX data for Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs | DOI (10.1007/978-3-319-02444-8_42)
-
[3]
Reveal Your Faults: It's Only Fair!
Stefan Haar‚ César Rodríguez and Stefan Schwoon
In 2013 13th International Conference on Application of Concurrency to System Design (ACSD). Pages 120–129. 2013.
Details about Reveal Your Faults: It's Only Fair! | BibTeX data for Reveal Your Faults: It's Only Fair! | DOI (10.1109/ACSD.2013.15)
-
[4]
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)
-
[5]
Verification of Petri Nets with Read Arcs
César Rodríguez and Stefan Schwoon
In Maciej Koutny and Irek Ulidowski, editors, Proc. International Conference on Concurrency Theory (CONCUR). Vol. 7454 of LNCS. Pages 471–485. Springer. September, 2012.
Details about Verification of Petri Nets with Read Arcs | BibTeX data for Verification of Petri Nets with Read Arcs | DOI (10.1007/978-3-642-32940-1_33)
-
[6]
Construction and SAT−based verification of Contextual Unfoldings
Stefan Schwoon and César Rodríguez
In Markus Holzer‚ Martin Kutrib and Giovanni Pighizzini, editors, Proc. of the 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS'11). Vol. 6808 of LNCS. Pages 34–42. Springer. July, 2011.
Extended abstract
Details about Construction and SAT−based verification of Contextual Unfoldings | BibTeX data for Construction and SAT−based verification of Contextual Unfoldings | DOI (10.1007/978-3-642-22600-7_3)
-
[7]
Efficient Contextual Unfolding
César Rodríguez‚ Stefan Schwoon and Paolo Baldan
In Joost−Pieter Katoen and Barbara König, editors, Proc. International Conference on Concurrency Theory (CONCUR). Vol. 6901 of LNCS. Pages 342–357. Springer. September, 2011.
Details about Efficient Contextual Unfolding | BibTeX data for Efficient Contextual Unfolding | DOI (10.1007/978-3-642-23217-6_23)
-
[8]
Evaluation of a Minimal POSIX Tracing Service Profile for Real Time Embedded Systems
Pablo Parra‚ Aitor Viana‚ Martín Knoblauch‚ César Rodríguez‚ Óscar Polo and Sebastián Sánchez
In Proc. of the 4th International Workshop on Operating Systems Platforms for Embedded Real−Time Applications. Pages 22–28. 2008.
Details about Evaluation of a Minimal POSIX Tracing Service Profile for Real Time Embedded Systems | BibTeX data for Evaluation of a Minimal POSIX Tracing Service Profile for Real Time Embedded Systems
Technical reports
-
[1]
Contextual Merged Processes
César Rodríguez‚ Stefan Schwoon and Victor Khomenko
No. LSV−13−06. LSV‚ ENS de Cachan‚ France. 2013.
Details about Contextual Merged Processes | BibTeX data for Contextual Merged Processes
-
[2]
Verification of Petri Nets with Read Arcs
César Rodríguez and Stefan Schwoon
No. LSV−12−12. LSV‚ ENS de Cachan‚ France. 2012.
Details about Verification of Petri Nets with Read Arcs | BibTeX data for Verification of Petri Nets with Read Arcs
Theses
-
[1]
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
-
[2]
Implementation of a complete prefix unfolder for contextual nets
César Rodríguez
Master's Thesis ENS Cachan. France. September, 2010.
Details about Implementation of a complete prefix unfolder for contextual nets | BibTeX data for Implementation of a complete prefix unfolder for contextual nets
-
[3]
Construcción de un sistema operativo docente para la arquitectura IA−32 (Building an academic operating system for the IA−32 architecture)
César Rodríguez
Master's Thesis , type= B.Sc thesis. Escuela Técnica Superior de Ingeniería Informática‚ Universidad de Alcalá‚ Spain. 2008.
Details about Construcción de un sistema operativo docente para la arquitectura IA−32 (Building an academic operating system for the IA−32 architecture) | BibTeX data for Construcción de un sistema operativo docente para la arquitectura IA−32 (Building an academic operating system for the IA−32 architecture)
Miscellaneous
-
[1]
-
[2]