Oscar A. Mondragon, Ph.D.
Affiliations: | 2004 | University of Texas at El Paso, El Paso, TX, United States |
Area:
Computer ScienceGoogle:
"Oscar Mondragon"Parents
Sign in to add mentorAnn 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
See more...
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 |
Mondragón OA, Gates AQ. (2004) Supporting elicitation and specification of software properties through patterns and composite propositions International Journal of Software Engineering and Knowledge Engineering. 14: 21-41 |
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 |
Mondragón O, Gates AQ, Roach S. (2003) Prospec: Support for elicitation and formal specification of software properties Electronic Notes in Theoretical Computer Science. 89: 71-92 |
Gates AQ, Mondragon O. (2002) FasTLInC: A constraint-based tracing approach Journal of Systems and Software. 63: 241-258 |
Gates AQ, Roach S, Mondragon O, et al. (2001) DynaMICs: Comprehensive support for run-time monitoring Electronic Notes in Theoretical Computer Science. 55: 164-180 |