Disertations
  • SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language. Sep 20, 2017. MoDELS. Austin, TX, USA.
  • Mapping OCL as a Query and Constraint Language. PhD. disertation, UCM. Jun 30, 2017. Madrid, Spain.
  • OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. Oct 3, 2016. MoDELS. Saint-Malo, France
  • Model-Based Formal Reasoning about Data-Management Applications. Apr 14, 2015. Fundamental Approaches to Software Engineering (FASE 15). Part of ETAPS. London, UK
  • Analysis of OCL properties on static and dynamic UML models. Sep 23, 2014. Software Seminar Series. IMDEA Software. Madrid, Spain.
  • Modeling Social Networking Privacy. Sep 1, 2014. Symposium on Theoretical Aspects of Software Engineering. Changsha, China.
  • Analysis of OCL properties on static and dynamic UML models. Jul 16, 2014. Saarland University. Saarbrucken, Germany.
  • OCL2FOL+: Coping with Undefinedness. Sep 30, 2013. Workshop on OCL, Model Constraint and Query Languages (OCL 13). USA.
  • OCL2FOL+: Coping with Undefinedness. Sep 4, 2013. NESSoS European project meeting. Bertinoro, Italy.
  • OCL2FOL: Using SMT solvers to automatically reason on conceptual schemata with OCL constraints. May 20, 2013. Dagstuhl Seminar 13211 “Automated Reasoning on Conceptual Schemas”. Dagstuhl, Germany.
  • ActionGUI, desarrollo de aplicaciones seguras para negocios. Apr 19, 2013. Cordoba, Argentina.
  • Analyzing ActionGUI models. The NESSoS eHealth Use Case. Feb 26, 2013. NESSoS European project meeting. Paris, France.
  • Analyzing ActionGUI models. Oct 26, 2012. ETH Zurich, Switzerland.
  • Analyzing ActionGUI models. Jun 5, 2012. NESSoS European project meeting. Zurich, Switzerland.
  • Modeling Social Networking Privacy. Feb 12, 2012. ESSoS Doctoral Symposium. Eindhoven, The Netherlands.
  • MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL. Nov 2, 2010. Fall Seminars. IMDEA Software Institute. Madrid, Spain.

    Organization of Scientifics Events


  • 14th Workshop on OCL and Textual Modeling: Applications and Case Studies (OCL 14). Sep 30, 2014. Co-organizer. Valencia, Spain.
  • Intl. Symp. on Engineering Secure Software and Systems (ESSOS 11). Feb 9-10, 2011. Assistant. Madrid, Spain.
  • 37th Symp. on Principles of Programming Languages (POPL 10). Jan 17-23, 2010. Assistant. Madrid, Spain.
  • 33 Jornadas Argentinas de Informatica e Investigacion Operativa (JAIIO 04). 2004. Assistant. Cordoba, Argentina.

    Courses, Workshops, and Conferences


  • ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, USA, September 20-22, 2017.
  • South Summit. Madrid, Spain, Oct 5-7, 2016.
  • ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016.
  • South Summit. Madrid, Spain, Oct 7-9, 2015.
  • SAT/SMT Summer School 2015. Stanford, USA. Jul. 15-17, 2015.
  • 18th International Conference, Fundamental Approaches of Software Engineering, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. Apr 14-16, 2015. London, UK.
  • 2nd Microsoft Research and IMDEA Software Institute Collaboration Workshop. Apr 9-10, 2015. Madrid, Spain.
  • Symposium on Theoretical Aspects of Software Engineering. Sep. 1-3, 2014, Changsha, China.
  • SAT/SMT Summer School 2014. Semmering, Viena. Jul. 10-12, 2014.
  • 1st Microsoft Research and IMDEA Software Institute Collaboration Workshop. Apr 2-4, 2014. Madrid, Spain.
  • Workshop on Software Correctness and Reliability. ETH Zurich, Zurich, Switzerland. Oct 4-5, 2013
  • 13th Intl. Workshop on OCL, Model Constraint and Query Languages (OCL 13). Miami, USA. Sep 30, 2013
  • Mini-Workshop on Mobile Devices Security and Privacy. Bertinoro, Italy. Sep 5, 2013
  • SAT/SMT Summer School 2013. Espoo, Finland. Jul 3-5, 2013
  • Spring Ph.D. School on Trustworthy and Secure Service Composition. Malaga, Spain. May 27-31, 2013
  • Dagstuhl Seminar: Automated Reasoning on Conceptual Schemas. Germany. May 19-24, 2013
  • SAT/SMT Summer School 2012. Trento, Italy. Jun 12-15, 2012
  • 11th Intl. School on Foundations of Security Analysis and Design (FOSAD 11). Aug 29-Sep 3, 2011. Bertinoro, Italy.
  • Intl. Symp. on Engineering Secure Software and Systems (ESSOS 11). Madrid, Spain. Feb 9-10, 2011
  • 10th Intl. Workshop on OCL and Textual Modelling (OCL 10). Oslo, Norway. Oct 3, 2010
  • 13th Intl. Conf. on Model Driven Engineering Languages and Systems (MODELS 10). Oct 3-8, 2010. Oslo, Norway.