The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Oscar Mondragon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Oscar Mondragon, Ann Q. Gates, Fadi Kassem
    Automated Support for Property Specification Based on Patterns. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:174-181 [Conf]
  2. Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky
    Generating Properties for Runtime Monitoring from Software Specification Patterns. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:267-273 [Conf]
  3. Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon
    Verifying Pattern-Generated LTL Formulas: A Case Study. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:200-220 [Conf]
  4. Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach
    Instrumentation of Intermediate Code for Runtime Verification. [Citation Graph (0, 0)][DBLP]
    SEW, 2003, pp:66- [Conf]
  5. Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado
    DynaMICs: Comprehensive Support for Run-Time Monitoring. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
  6. Oscar Mondragon, Ann Q. Gates, Steve Roach
    Prospec: Support for Elicitation and Formal Specification of Software Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  7. Oscar Mondragon, Ann Q. Gates
    Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2004, v:14, n:1, pp:21-41 [Journal]
  8. Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky
    Generating Properties for Runtime Monitoring from Software Specification Patterns. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2007, v:17, n:1, pp:107-126 [Journal]
  9. Ann Q. Gates, Oscar Mondragon
    FasTLInC: a constraint-based tracing approach. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:63, n:3, pp:241-258 [Journal]

Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002