Publications:

2011

• A Decade of Model-Driven Security, with D. Basin and M. Clavel, In Proc. of ACM Symposium on Access Control Models and Technologies (SACMAT'11), Invited Paper, 2011.

2010

• MySQL4OCL: A Stored Procedure-Based MySQL Generator for OCL, Electronic Communications of the EASST, Vol. 36, 2010.
• Automatic Generation of Smart, Security-Aware GUIs, with D. Basin, M. Clavel and M. Schläpfer. In Proc. of ESSOS10: International Symposium on Engineering Secure Software and Systems . Pisa, Italy. February, 2010.
• SSG: a model-based development environment for smart, security-aware GUIs, with Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David Basin and Manuel Clavel. ICSE (2) 2010: 311-312

2009

• Formal Executable Semantics for Conformance in the MDE Framework, with V. Rusu. In M. Hinchey and S.A. Bohner, editors, Innovations in Systems and Software Engineering, Springer-London, 2009.
• Checking unsatisfiability for OCL constraints, with M. Clavel and M. A. Garcia de Dios. Accepted for publication in the proceedings of the 9th OCL 2009 Workshop at the UML/MoDELS Conferences: The Pragmatics Of OCL And Other Textual Specification Languages . Denver, Colorado, USA. October 2009.
• Automatic Generation of Security-Aware GUI Models,, with M. Schläpfer, D. Basin and M. Clavel. In Proc. pf 1st Security in MDA Workshop at the ECMDA-FA'09 Conference. University of Twente, Enschede, The Netherlands, 24 June 2009.

2008

• An Executable Formal Semantics for OCL with Applications to Model Analysis and Validation, PhD. Dissertation, Universidad Complutense de Madrid, 2008.
  
• Building an Efficient Component for OCL Evaluation, with M. Clavel and M.A. García de Dios. Accepted for publication in the proceedings of the 8th OCL Workshop at the UML/MoDELS Conferences: OCL Concepts and Tools: From Implementation to Evaluation and Comparison. Toulouse, France, 30 September 2008.
• Maude as a Formal Meta-Tool: Let's get Real!, with M. Clavel and M.A. García de Dios. II Jornadas Nacionales de la Red Maude. Valencia, Spain, 14 July 2008.
• Automated Analysis of Security-Design Models, with D. Basin, M.Clavel, and J.Doser. In Information and Software Technology, Special issue on Model Based Development for Secure Information Systems, Elsevier, 2008.
• Model-Driven Security in Practice: an Industrial Experience, with M. Clavel, V. da Silva, C. Braga. In Proc. of ECMDA 2008.

2007

• MOVA: A Tool for Modeling, Measuring and Validating UML Class Diagrams, with M. Clavel and Viviane Torres. Accepted in the Academic Posters and Demonstrations Session of MODELS 2007, 2007.
• A Metamodel-Based Approach for Analyzing Security-Design Models, with D. Basin, J. Doser and M. Clavel. In G. Engels, B. Opdyke, and D. C. Schmidt, editors, Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, volume 4735 of Lecture Notes in Computer Science, pp. 420-435, Springer-Verlag, 2007.

2006

• ITP/OCL: A Rewriting-Based-Validation Tool for UML+OCL Static Class Diagrams, with M. Clavel. LNCS, in Proc. of AMAST 2006, 2006.
• Using Reflection to Implement in Maude a Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams, with M. Clavel. In Proc. of WAFOCA 2006, 2006.

2005

• ITP/OCL: a Theorem Prover-Based Tool for UML+OCL Class Diagrams, Master Thesis (supervised by M. Clavel and N. Martí-Oliet), Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, 2005.

PC Member:

•  PC Member of the MDA'09 Workshop at ADBIS 2009 Conference: Model Driven Architecture: Foundations, Practices and Implications (MDA). Riga Technical University (Latvia). September 7, 2009.

•  PC Member of the 1st SEC-MDA Workshop at ECMDA 2009 Conference: Security in Model-Driven Architecture. Enschede (The Netherlands). June 24, 2009.

•  PC Member of the 2nd SEC-MDA Workshop at ECMFA 2010 Conference: Security in Model-Driven Architecture. University of Pierre & Marie Curie, Paris, France, June 16th 2010