Rudolph E. Seviora

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