SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language, with Marina Egea.
C. Softw Syst Model (2017). https://doi.org/10.1007/s10270-017-0597-6.

A Model-Driven Methodology for Developing Secure Data-Management Applications, with David Basin, Manuel Clavel, Marina Egea and Miguel A. Garcia de Dios.
IEEE Trans. Software Eng. 40(4): 324-337 (2014).

SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language, with Marina Egea.
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, USA, September 20-22, 2017.

OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints, with Manuel Clavel. ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016. Pag. 65-75

Verifying UML/OCL models with OCL2MSFOL. A benchmarking exercise, with Manuel Clavel. International Conference on Advanced Technology and Sustainable Development (ISA 2016), Ho Chi Minh City, Vietnam, 2016.

Model-based formal reasoning about data-management applications, with Manuel Clavel. 18th International Conference, Fundamental Approaches of Software Engineering (FASE 2015), Held as Part of ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pag. 218-232

Formal Reasoning about Fine-Grained Access Control Policies, with Miguel A. Garcia de Dios and Manuel Clavel . In Proc. 11th Asia-Pacific Conference on Conceptual Modelling (APCCM 2015) Sydney, Australia. CRPIT, 165. Saeki, M. and Kohler, H. Eds., ACS. 91-100.

Validation of a Security Metamodel for the Development of Cloud Applications, with Marcos Arjona, Marina Egea, and Antonio Ma\~na. . Valencia, Spain, Sep. 30, 2014. OCL@MoDELS 2014: 33-42

Panel Discussion: Proposals for Improving OCL, with Achim D. Brucker, Tony Clark, Geri Georg, Martin Gogolla, Fr\'ed\'eric Jouault, Ernest Teniente, and Burkhart Wolff. . Valencia, Spain, Sep. 30, 2014. OCL@MoDELS 2014: 33-42

Modeling Social Networking Privacy, with Manuel Clavel . Theoretical Aspects of Softare Engineering, Changsha, China, Sep. 1-3, 2014, pag. 50-57. IEEE 2014.

Model-driven Develpment of a Secure eHealth Applications, with David Basin, Manuel Clavel, and Miguel A. Garcia de Dios.
In Engineering Secure Future Internet Services and Systems, pag.97-118, vol.8431. Lectures Notes in Computer Science. Springer Berlin Heidelberg. 2014.

OCL2FOL+: Coping with Undefiness, with Manuel Clavel.
OCL@Models.
Miami, USA, September 30, 2013.

Modeling Social Networking Privacy.
ESSoS Doctoral Symposium (ESSoS-DS 2012). CEUR workshop proceedings, Vol 834. [Slides]
Eindhoven, The Netherland, February 2012.

Model-Driven Development of Security-Aware GUIs for Data-Centric Applications, with David Basin, Manuel Clavel, Marina Egea, Miguel A. Garcia de Dios, Gonzalo Ortiz, and Javier Valdazo.
Proceedings in FOSAD 2011. Bertinoro, Italy. LNCS. Vol 6858.

MySQL4 OCL: A Stored Procedure-Based MySQL Code Generator for OCL, with Marina Egea and Manuel Clavel.
Proceedings of OCL 2010 Workshop. Oslo, Norway. ECEASST. Vol 36.

SSG: A Model-Based Development Environment for Smart, Security-Aware GUIs, with Miguel Angel García de Dios, Michael Schläpfer, David A. Basin, Manuel Clavel and Marina Egea.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, Pag. 311-312. ICSE 2010, Cape Town, South Africa, May 2010.

Mapping OCL as a Query and Constraint Language.
Graduation PhD. Thesis. June, 2017. [Slides]
Facultad de Informática , Universidad Complutense de Madrid.

ActionGUI Semantics, with David Basin, Manuel Clavel, Marina Egea and Miguel A. Garcia de Dios.
Technical report. 2013.

Analyzing ActionGUI models using SMT solvers, with Manuel Clavel.
2nd International SAT/SMT Summer School.
Trento, Italy, June 2012.

MySQL4OCL: Un compilador de OCL a MySQL. (in Spanish)
Graduation Thesis. September, 2011. [Slides]
Facultad de Informática , Universidad Complutense de Madrid.

Análisis de Refinamientos entre Sistemas de Transiciones Modales basado en SAT (in Spanish)
Graduation Thesis. December, 2008. [Slides]
Facultad de Matemática, Astronomía y Física, Universidad Nacional de Córdoba.