| 2006 | ICECCS | Formal Specification-based Online Monitoring. | Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora |
| 2005 | ICECCS | Design Patterns for Software Health Monitoring. | Alexander Lau, Rudolph E. Seviora |
| 2004 | SRDS | A Signal Processing Approach to Global Predicate Monitoring. | Naghmeh Ghafari, Rudolph E. Seviora |
| 2002 | DSN | A Compositional Approach to Monitoring Distributed Systems. | Mohammad Zulkernine, Rudolph E. Seviora |
| 2002 | IFM | Assume-Guarantee Algorithms for Automatic Detection of Software Failures. | Mohammad Zulkernine, Rudolph E. Seviora |
| 2001 | APSEC | Aspect-Oriented Implementation of Software Health Indicators. | James Thai, Barry R. Pekilis, Alexander Lau, Rudolph E. Seviora |
| 1998 | ECRTS | Automatic detection of software failures: issues and experience. | Tony Savor, Rudolph E. Seviora |
| 1997 | ICCCN | Constructing automated protocol testing oracles to accommodate specification nondeterminism. | J. Jenny Li, Hong Liu, Rudolph E. Seviora |
| 1997 | ISSRE | Detection of response time failures of real-time software. | Barry R. Pekilis, Rudolph E. Seviora |
| 1997 | ISSRE | Hierarchical supervisors for automatic detection of software failures. | Tony Savor, Rudolph E. Seviora |
| 1997 | ITC | Supervisors for Testing Non-Deterministically Specified Systems. | Tony Savor, Rudolph E. Seviora |
| 1997 | RTAS | An Approach to Automatic Detection of Software Failures in Real-Time Systems. | Tony Savor, Rudolph E. Seviora |
| 1996 | ECRTS | An Architectural Overview of a Software Supervisor. | Tony Savor, Rudolph E. Seviora |
| 1996 | ISSRE | Automatic failure detection with Conditional-Belief supervisors. | J. Jenny Li, Rudolph E. Seviora |
| 1996 | ISSRE | Supervision of real-time software systems using optimistic path prediction and rollbacks. | D. A. Simser, Rudolph E. Seviora |
| 1995 | ISSRE | An approach to automatic detection of software failures. | M. Hlady, R. Kovacevic, J. Jenny Li, Barry R. Pekilis, D. Prairie, Tony Savor, Rudolph E. Seviora, D. A. Simser, Alexandre Vorobiev |
| 1995 | RTAS | Improving the efficiency of supervision by software through state aggregation. | Tony Savor, Rudolph E. Seviora |
| 1994 | ECRTS | A resynchronization method for real-time supervision. | R. Iorgulescu, Rudolph E. Seviora |
| 1993 | ECRTS | Models for Real-Time Supervision. | Rudolph E. Seviora |
| 1993 | SAFECOMP | Real-Time Detection of Failures of Reactive Systems. | Rudolph E. Seviora |
| 1991 | ISSRE | Metrics evaluation of software reliability growth models. | Francis C. L. Chan, Paul P. Dasiewicz, Rudolph E. Seviora |
| 1989 | IJCAI | An Evaluation of DRete on CUPlD for OPSS Matching. | Michael A. Kelly, Rudolph E. Seviora |
| 1987 | AAAI | A Multiprocessor Architecture for Production System Matching. | Michael A. Kelly, Rudolph E. Seviora |