A Multiprocessor Architecture for Production System Matching. - Michael A. Kelly; Rudolph E. Seviora (AAAI, 1987)

Knowledge-Based Program Debugging Systems. - Rudolph E. Seviora (IEEE Softw., 1987)

An Evaluation of DRete on CUPlD for OPSS Matching. - Michael A. Kelly; Rudolph E. Seviora (IJCAI, 1989)

Performance of OPS5 matching on CUPID. - Michael A. Kelly; Rudolph E. Seviora (Microprocessing and Microprogramming, 1989)

Knowledge bases for digital circuit understanding. - Prem Malhotra; Rudolph E. Seviora (Microprocess. Microprogramming, 1989)

Metrics evaluation of software reliability growth models. - Francis C. L. Chan; Paul P. Dasiewicz; Rudolph E. Seviora (ISSRE, 1991)

Object Oriented Framework for Generating Machine Understanding of a Digital System Design. - Prem Malhotra; Rudolph E. Seviora (IEA/AIE, 1992)

Models for Real-Time Supervision. - Rudolph E. Seviora (RTS, 1993)

Real-Time Detection of Failures of Reactive Systems. - Rudolph E. Seviora (SAFECOMP, 1993)

A resynchronization method for real-time supervision. - R. Iorgulescu; Rudolph E. Seviora (RTS, 1994)

An approach to automatic detection of software failures. - M. Hlady; R. Kovacevic; J. Jenny Li 001; Barry R. Pekilis; D. Prairie; Tony Savor; Rudolph E. Seviora; D. A. Simser; Alexandre Vorobiev (ISSRE, 1995)

Improving the efficiency of supervision by software through state aggregation. - Tony Savor; Rudolph E. Seviora (IEEE Real Time Technology and Applications Symposium, 1995)

A Joint CS/E&CE Undergraduate Option in Software Engineering. - Joanne M. Atlee; Paul P. Dasiewicz; Rick Kazman; Rudolph E. Seviora; Ajit Singh (CSEE, 1996)

An Architectural Overview of a Software Supervisor. - Tony Savor; Rudolph E. Seviora (RTS, 1996)

Automatic failure detection with Conditional-Belief supervisors. - J. Jenny Li 001; Rudolph E. Seviora (ISSRE, 1996)

Supervision of real-time software systems using optimistic path prediction and rollbacks. - D. A. Simser; Rudolph E. Seviora (ISSRE, 1996)

Constructing automated protocol testing oracles to accommodate specification nondeterminism. - J. Jenny Li 001; Hong Liu; Rudolph E. Seviora (ICCCN, 1997)

Detection of response time failures of real-time software. - Barry R. Pekilis; Rudolph E. Seviora (ISSRE, 1997)

Hierarchical supervisors for automatic detection of software failures. - Tony Savor; Rudolph E. Seviora (ISSRE, 1997)

Supervisors for Testing Non-Deterministically Specified Systems. - Tony Savor; Rudolph E. Seviora (ITC, 1997)

An Approach to Automatic Detection of Software Failures in Real-Time Systems. - Tony Savor; Rudolph E. Seviora (IEEE Real Time Technology and Applications Symposium, 1997)

A Method for Continuous Real-Time Supervision. - R. Iorgulescu; Rudolph E. Seviora (Softw. Test. Verification Reliab., 1997)

Automatic detection of software failures: issues and experience. - Tony Savor; Rudolph E. Seviora (ECRTS, 1998)

Toward Automatic Detection of Software Failures. - Tony Savor; Rudolph E. Seviora (Computer, 1998)

Engineering components for ease of customisation and evolution. - Stan Jarzabek; Rudolph E. Seviora (IEE Proc. Softw., 2000)

Aspect-Oriented Implementation of Software Health Indicators. - James Thai; Barry R. Pekilis; Alexander Lau; Rudolph E. Seviora (APSEC, 2001)

Assume-Guarantee Supervisor for Concurrent Systems. - Mohammad Zulkernine; Rudolph E. Seviora (IPDPS, 2001)

A Compositional Approach to Monitoring Distributed Systems. - Mohammad Zulkernine; Rudolph E. Seviora (DSN, 2002)

Assume-Guarantee Algorithms for Automatic Detection of Software Failures. - Mohammad Zulkernine; Rudolph E. Seviora (IFM, 2002)

Automatic response performance monitoring for real-time software with nondeterministic behaviors. - Barry R. Pekilis; Rudolph E. Seviora (Perform. Evaluation, 2003)

A Signal Processing Approach to Global Predicate Monitoring. - Naghmeh Ghafari; Rudolph E. Seviora (SRDS, 2004)

Design Patterns for Software Health Monitoring. - Alexander Lau; Rudolph E. Seviora (ICECCS, 2005)

Towards automatic monitoring of component-based software systems. - Mohammad Zulkernine; Rudolph E. Seviora (J. Syst. Softw., 2005)

A curriculum for embedded system engineering. - Rudolph E. Seviora (ACM Trans. Embed. Comput. Syst., 2005)

Diversity to Enhance Autonomic Computing Self-Protection. - Michael Jarrett; Rudolph E. Seviora (ARES, 2006)

Formal Specification-based Online Monitoring. - Hui Liang; Jin Song Dong; Jing Sun 002; Roger Duke; Rudolph E. Seviora (ICECCS, 2006)

Automatic Failure Detection with Separation of Concerns. - P. Hazy; Rudolph E. Seviora (ARES, 2007)

Fuzzy Belief-Based Supervision. - Alexandre Vorobiev; Rudolph E. Seviora (ARES, 2008)