Rudolph E. Seviora

Publication Activity (10 Years)

Years Active: 1987-2008
Publications (10 Years): 0

Publications

Alexandre Vorobiev, Rudolph E. Seviora
Fuzzy Belief-Based Supervision. ARES (2008)
P. Hazy, Rudolph E. Seviora
Automatic Failure Detection with Separation of Concerns. ARES (2007)
Michael Jarrett, Rudolph E. Seviora
Diversity to Enhance Autonomic Computing Self-Protection. ARES (2006)
Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora
Formal Specification-based Online Monitoring. ICECCS (2006)
Rudolph E. Seviora
A curriculum for embedded system engineering. ACM Trans. Embed. Comput. Syst. 4 (3) (2005)
Mohammad Zulkernine, Rudolph E. Seviora
Towards automatic monitoring of component-based software systems. J. Syst. Softw. 74 (1) (2005)
Alexander Lau, Rudolph E. Seviora
Design Patterns for Software Health Monitoring. ICECCS (2005)
Naghmeh Ghafari, Rudolph E. Seviora
A Signal Processing Approach to Global Predicate Monitoring. SRDS (2004)
Barry R. Pekilis, Rudolph E. Seviora
Automatic response performance monitoring for real-time software with nondeterministic behaviors. Perform. Evaluation 53 (1) (2003)
Mohammad Zulkernine, Rudolph E. Seviora
A Compositional Approach to Monitoring Distributed Systems. DSN (2002)
Mohammad Zulkernine, Rudolph E. Seviora
Assume-Guarantee Algorithms for Automatic Detection of Software Failures. IFM (2002)
James Thai, Barry R. Pekilis, Alexander Lau, Rudolph E. Seviora
Aspect-Oriented Implementation of Software Health Indicators. APSEC (2001)
Mohammad Zulkernine, Rudolph E. Seviora
Assume-Guarantee Supervisor for Concurrent Systems. IPDPS (2001)
Stan Jarzabek, Rudolph E. Seviora
Engineering components for ease of customisation and evolution. IEE Proc. Softw. 147 (6) (2000)
Tony Savor, Rudolph E. Seviora
Toward Automatic Detection of Software Failures. Computer 31 (8) (1998)
Tony Savor, Rudolph E. Seviora
Automatic detection of software failures: issues and experience. ECRTS (1998)
Tony Savor, Rudolph E. Seviora
Supervisors for Testing Non-Deterministically Specified Systems. ITC (1997)
Tony Savor, Rudolph E. Seviora
Hierarchical supervisors for automatic detection of software failures. ISSRE (1997)
R. Iorgulescu, Rudolph E. Seviora
A Method for Continuous Real-Time Supervision. Softw. Test. Verification Reliab. 7 (2) (1997)
Tony Savor, Rudolph E. Seviora
An Approach to Automatic Detection of Software Failures in Real-Time Systems. IEEE Real Time Technology and Applications Symposium (1997)
J. Jenny Li, Hong Liu, Rudolph E. Seviora
Constructing automated protocol testing oracles to accommodate specification nondeterminism. ICCCN (1997)
Barry R. Pekilis, Rudolph E. Seviora
Detection of response time failures of real-time software. ISSRE (1997)
Joanne M. Atlee, Paul P. Dasiewicz, Rick Kazman, Rudolph E. Seviora, Ajit Singh
A Joint CS/E&CE Undergraduate Option in Software Engineering. CSEE (1996)
Tony Savor, Rudolph E. Seviora
An Architectural Overview of a Software Supervisor. RTS (1996)
D. A. Simser, Rudolph E. Seviora
Supervision of real-time software systems using optimistic path prediction and rollbacks. ISSRE (1996)
J. Jenny Li, Rudolph E. Seviora
Automatic failure detection with Conditional-Belief supervisors. ISSRE (1996)
M. Hlady, R. Kovacevic, J. Jenny Li, Barry R. Pekilis, D. Prairie, Tony Savor, Rudolph E. Seviora, D. A. Simser, Alexandre Vorobiev
An approach to automatic detection of software failures. ISSRE (1995)
Tony Savor, Rudolph E. Seviora
Improving the efficiency of supervision by software through state aggregation. IEEE Real Time Technology and Applications Symposium (1995)
R. Iorgulescu, Rudolph E. Seviora
A resynchronization method for real-time supervision. RTS (1994)
Rudolph E. Seviora
Models for Real-Time Supervision. RTS (1993)
Rudolph E. Seviora
Real-Time Detection of Failures of Reactive Systems. SAFECOMP (1993)
Prem Malhotra, Rudolph E. Seviora
Object Oriented Framework for Generating Machine Understanding of a Digital System Design. IEA/AIE (1992)
Francis C. L. Chan, Paul P. Dasiewicz, Rudolph E. Seviora
Metrics evaluation of software reliability growth models. ISSRE (1991)
Michael A. Kelly, Rudolph E. Seviora
Performance of OPS5 matching on CUPID. Microprocessing and Microprogramming 27 (1-5) (1989)
Prem Malhotra, Rudolph E. Seviora
Knowledge bases for digital circuit understanding. Microprocess. Microprogramming 25 (1-5) (1989)
Michael A. Kelly, Rudolph E. Seviora
An Evaluation of DRete on CUPlD for OPSS Matching. IJCAI (1989)
Rudolph E. Seviora
Knowledge-Based Program Debugging Systems. IEEE Softw. 4 (3) (1987)
Michael A. Kelly, Rudolph E. Seviora
A Multiprocessor Architecture for Production System Matching. AAAI (1987)