Projects Information


The following are the research projects in which I have participated or directed.
  • Directed projects
    • Characterization and optimization of domain models for domain-specific languages. Funded by Dirección General de Educación Superior Tecnológica (México), 1009.08-P, 2008-2009. Concluded.
    • Formal methods for software engineering: slicing of the semantic web. Funded by Dirección General de Educación Superior Tecnológica (México), 2009. Ongoing.
    • Definition of requirements and code generation by using domain-specific languages: Funded by Dirección General de Educación Superior Tecnológica (México), 2369.09-P, 2009-2010. Ongoing.
  • Projects with participation
    • Rigorous methods for mobile and heterogeneous software systems: MERIT. Funded by Spanish MEC and EU (FEDER), TIN2005-09207-C03-02, 2006-2008. Concluded.
    • LightwEight Verification and debugging for Improving software securiTY: LEVITY. Funded by Spanish MICINN and EU (FEDER), TIN2008-06622-C03-02. 2009-2011. Ongoing.
    Some members of MIST and ELP group