Knowledge-Centric and Language Independent Framework for Safety Analysis Tools. - Suraj C. Kothari; Luke Bishop; Jeremias Sauceda; Gary Daugherty (HASE, 2004)

A Pattern-Based Framework for Software Anomaly Detection. - Suraj C. Kothari; Luke Bishop; Jeremias Sauceda; Gary Daugherty (Softw. Qual. J., 2004)

Multi-faceted Practical Modeling Education for Software Engineering. - Suraj Kothari; Jeremias Sauceda (EduSymp@MoDELS, 2013)

Atlas: a new way to explore software, build analysis tools. - Tom Deering; Suresh C. Kothari; Jeremias Sauceda; Jon Mathews (ICSE Companion, 2014)

Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration. - Suresh C. Kothari; Ahmed Tamrawi; Jeremias Sauceda; Jon Mathews (ICSE (Companion Volume), 2016)