Oscar A. Mondragon, Ph.D.

2004 University of Texas at El Paso, El Paso, TX, United States 
Computer Science
"Oscar Mondragon"


Sign in to add mentor
Ann Q. Gates grad student 2004 UT El Paso
 (Elucidation and specification of software properties through patterns and composite propositions to support formal verification techniques.)
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Mondragon OA, Gates AQ, Roach S, et al. (2007) Generating properties for runtime monitoring from software specification patterns International Journal of Software Engineering and Knowledge Engineering. 17: 107-126
Mondragon OA, Gates AQ, Roach SM. (2003) Composite propositions: Toward support for formal specification of system properties Proceedings - 27th Annual Nasa Goddard / Ieee Software Engineering Workshop, Sew 2002. 67-74
See more...