Tesis a nivel maestría:
- KALITE: automatización de revisiones técnicas formales en etapas de análisis de desarrollo de software
- Aplicación de MDA: Caso SIGARE Secretaria de Salud, Sede Veracruz
- CICCAÑA: Análisis y diseño de prototipo para integración de grupos a nivel nacional
Tesis a nivel Licenciatura:
- Implantación de plan de aseguramiento de calidad en la unidad de desarrollo de software de LANIA
- Construcción de un sistema de monitoreo de variables ambientales en un invernadero