Cuauhtemoc Munoz

According to our database, Cuauhtemoc Munoz authored at least 2 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Automated Testing of LTL Formula Generation by Prospec.

Cuauhtemoc Munoz, Steve Roach

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009

An Aspect-Based Approach to Checking Design Constraints at Run-Time.

Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, Jessica Romo

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009