| 2008 |
|---|
| 24 | EE | Alexandre Vorobiev,
Rudolph E. Seviora:
Fuzzy Belief-Based Supervision.
ARES 2008: 383-389 |
| 2007 |
|---|
| 23 | EE | P. Hazy,
Rudolph E. Seviora:
Automatic Failure Detection with Separation of Concerns.
ARES 2007: 173-181 |
| 2006 |
|---|
| 22 | EE | Michael Jarrett,
Rudolph E. Seviora:
Diversity to Enhance Autonomic Computing Self-Protection.
ARES 2006: 295-299 |
| 21 | EE | Hui Liang,
Jin Song Dong,
Jing Sun,
Roger Duke,
Rudolph E. Seviora:
Formal Specification-based Online Monitoring.
ICECCS 2006: 152-162 |
| 2005 |
|---|
| 20 | EE | Alexander Lau,
Rudolph E. Seviora:
Design Patterns for Software Health Monitoring.
ICECCS 2005: 467-476 |
| 19 | EE | Rudolph E. Seviora:
A curriculum for embedded system engineering.
ACM Trans. Embedded Comput. Syst. 4(3): 569-586 (2005) |
| 18 | EE | Mohammad Zulkernine,
Rudolph E. Seviora:
Towards automatic monitoring of component-based software systems.
Journal of Systems and Software 74(1): 15-24 (2005) |
| 2004 |
|---|
| 17 | EE | Naghmeh Ghafari,
Rudolph E. Seviora:
A Signal Processing Approach to Global Predicate Monitoring.
SRDS 2004: 136-145 |
| 2003 |
|---|
| 16 | EE | Barry R. Pekilis,
Rudolph E. Seviora:
Automatic response performance monitoring for real-time software with nondeterministic behaviors.
Perform. Eval. 53(1): 1-21 (2003) |
| 2002 |
|---|
| 15 | EE | Mohammad Zulkernine,
Rudolph E. Seviora:
A Compositional Approach to Monitoring Distributed Systems.
DSN 2002: 763-772 |
| 14 | EE | Mohammad Zulkernine,
Rudolph E. Seviora:
Assume-Guarantee Algorithms for Automatic Detection of Software Failures.
IFM 2002: 89-108 |
| 2001 |
|---|
| 13 | EE | James Thai,
Barry R. Pekilis,
Alexander Lau,
Rudolph E. Seviora:
Aspect-Oriented Implementation of Software Health Indicators.
APSEC 2001: 97-104 |
| 12 | | Mohammad Zulkernine,
Rudolph E. Seviora:
Assume-Guarantee Supervisor for Concurrent Systems.
IPDPS 2001: 151 |
| 2000 |
|---|
| 11 | | Stan Jarzabek,
Rudolph E. Seviora:
Engineering components for ease of customisation and evolution.
IEE Proceedings - Software 147(6): 237-248 (2000) |
| 1998 |
|---|
| 10 | EE | Tony Savor,
Rudolph E. Seviora:
Automatic detection of software failures: issues and experience.
ECRTS 1998: 245-252 |
| 9 | | Tony Savor,
Rudolph E. Seviora:
Toward Automatic Detection of Software Failures.
IEEE Computer 31(8): 68-74 (1998) |
| 1997 |
|---|
| 8 | EE | J. Jenny Li,
Hong Liu,
Rudolph E. Seviora:
Constructing automated protocol testing oracles to accommodate specification nondeterminism.
ICCCN 1997: 532- |
| 7 | EE | 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: 136- |
| 6 | | Tony Savor,
Rudolph E. Seviora:
Supervisors for Testing Non-Deterministically Specified Systems.
ITC 1997: 948-953 |
| 5 | | R. Iorgulescu,
Rudolph E. Seviora:
A Method for Continuous Real-Time Supervision.
Softw. Test., Verif. Reliab. 7(2): 69-98 (1997) |
| 1995 |
|---|
| 4 | EE | Tony Savor,
Rudolph E. Seviora:
Improving the efficiency of supervision by software through state aggregation.
IEEE Real Time Technology and Applications Symposium 1995: 202-211 |
| 1992 |
|---|
| 3 | | Prem Malhotra,
Rudolph E. Seviora:
Object Oriented Framework for Generating Machine Understanding of a Digital System Design.
IEA/AIE 1992: 690-700 |
| 1989 |
|---|
| 2 | | Michael A. Kelly,
Rudolph E. Seviora:
An Evaluation of DRete on CUPlD for OPSS Matching.
IJCAI 1989: 84-90 |
| 1987 |
|---|
| 1 | | Michael A. Kelly,
Rudolph E. Seviora:
A Multiprocessor Architecture for Production System Matching.
AAAI 1987: 36-41 |
