Generating Properties for Runtime Monitoring from Software Specification Patterns. - Oscar Mondragon; Ann Q. Gates; Humberto Mendoza; Oleg Sokolsky (SEKE, 2005)

Generating Properties for Runtime Monitoring from Software Specification Patterns. - Oscar Mondragon; Ann Q. Gates; Steve Roach; Humberto Mendoza; Oleg Sokolsky (Int. J. Softw. Eng. Knowl. Eng., 2007)

An efficient common substrings algorithm for on-the-fly behavior-based malware detection and analysis. - Jaime C. Acosta; Humberto Mendoza; Brenda G. Medina (MILCOM, 2012)