Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Oscar Mondragon
2010 – today
- 2010
[j6]Oscar Mondragon, Zeida Solarte: Desarrollo de servicios en NGN: caso Emcali - telecomunicaciones. RASI 7(1): 81-90 (2010)
2000 – 2009
- 2007
- [j5]Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky: Generating Properties for Runtime Monitoring from Software Specification Patterns. International Journal of Software Engineering and Knowledge Engineering 17(1): 107-126 (2007)
- 2005
- [c4]Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky: Generating Properties for Runtime Monitoring from Software Specification Patterns. SEKE 2005: 267-273
- [c3]Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon: Verifying Pattern-Generated LTL Formulas: A Case Study. SPIN 2005: 200-220
- 2004
- [j4]Oscar Mondragon, Ann Q. Gates: Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions. International Journal of Software Engineering and Knowledge Engineering 14(1): 21-41 (2004)
- 2003
- [j3]Oscar Mondragon, Ann Q. Gates, Steve Roach: Prospec: Support for Elicitation and Formal Specification of Software Properties. Electr. Notes Theor. Comput. Sci. 89(2): 67-88 (2003)
- [c2]Oscar Mondragon, Ann Q. Gates, Fadi Kassem: Automated Support for Property Specification Based on Patterns. SEKE 2003: 174-181
- [c1]Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach: Instrumentation of Intermediate Code for Runtime Verification. SEW 2003: 66
- 2002
- [j2]Ann Q. Gates, Oscar Mondragon: FasTLInC: a constraint-based tracing approach. Journal of Systems and Software 63(3): 241-258 (2002)
- 2001
- [j1]Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado: DynaMICs: Comprehensive Support for Run-Time Monitoring. Electr. Notes Theor. Comput. Sci. 55(2): 164-180 (2001)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:30 CET by the dblp team