default search action

combined dblp search
author search
venue search
publication search

ask others

Rudolph E. Seviora

> Home > Persons

Person information

affiliation: University of Waterloo, Canada

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/VorobievS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/VorobievS08
Alexandre Vorobiev, Rudolph E. Seviora:
Fuzzy Belief-Based Supervision. ARES 2008: 383-389
2007
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/HazyS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/HazyS07
P. Hazy, Rudolph E. Seviora:
Automatic Failure Detection with Separation of Concerns. ARES 2007: 173-181
2006
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/JarrettS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/JarrettS06
Michael Jarrett, Rudolph E. Seviora:
Diversity to Enhance Autonomic Computing Self-Protection. ARES 2006: 295-299
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LiangDSDS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LiangDSDS06
Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora:
Formal Specification-based Online Monitoring. ICECCS 2006: 152-162
2005
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ZulkernineS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ZulkernineS05
Mohammad Zulkernine, Rudolph E. Seviora:
Towards automatic monitoring of component-based software systems. J. Syst. Softw. 74(1): 15-24 (2005)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/Seviora05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/Seviora05
Rudolph E. Seviora:
A curriculum for embedded system engineering. ACM Trans. Embed. Comput. Syst. 4(3): 569-586 (2005)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LauS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LauS05
Alexander Lau, Rudolph E. Seviora:
Design Patterns for Software Health Monitoring. ICECCS 2005: 467-476
2004
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/GhafariS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/GhafariS04
Naghmeh Ghafari, Rudolph E. Seviora:
A Signal Processing Approach to Global Predicate Monitoring. SRDS 2004: 136-145
2003
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/PekilisS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/PekilisS03
Barry R. Pekilis, Rudolph E. Seviora:
Automatic response performance monitoring for real-time software with nondeterministic behaviors. Perform. Evaluation 53(1): 1-21 (2003)
2002
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/ZulkernineS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ZulkernineS02
Mohammad Zulkernine, Rudolph E. Seviora:
A Compositional Approach to Monitoring Distributed Systems. DSN 2002: 763-772
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ZulkernineS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ZulkernineS02
Mohammad Zulkernine, Rudolph E. Seviora:
Assume-Guarantee Algorithms for Automatic Detection of Software Failures. IFM 2002: 89-108
2001
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ThaiPLS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ThaiPLS01
James Thai, Barry R. Pekilis, Alexander Lau, Rudolph E. Seviora:
Aspect-Oriented Implementation of Software Health Indicators. APSEC 2001: 97-104
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/ZulkernineS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/ZulkernineS01
Mohammad Zulkernine, Rudolph E. Seviora:
Assume-Guarantee Supervisor for Concurrent Systems. IPDPS 2001: 151
2000
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/JarzabekS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/JarzabekS00
Stan Jarzabek, Rudolph E. Seviora:
Engineering components for ease of customisation and evolution. IEE Proc. Softw. 147(6): 237-248 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/SavorS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/SavorS98
Tony Savor, Rudolph E. Seviora:
Toward Automatic Detection of Software Failures. Computer 31(8): 68-74 (1998)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/SavorS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/SavorS98
Tony Savor, Rudolph E. Seviora:
Automatic detection of software failures: issues and experience. ECRTS 1998: 245-252
1997
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/IorgulescuS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/IorgulescuS97
R. Iorgulescu, Rudolph E. Seviora:
A Method for Continuous Real-Time Supervision. Softw. Test. Verification Reliab. 7(2): 69-98 (1997)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icccn/LiLS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icccn/LiLS97
J. Jenny Li, Hong Liu, Rudolph E. Seviora:
Constructing automated protocol testing oracles to accommodate specification nondeterminism. ICCCN 1997: 532-
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/PekilisS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/PekilisS97
Barry R. Pekilis, Rudolph E. Seviora:
Detection of response time failures of real-time software. ISSRE 1997: 38-47
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SavorS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SavorS97
Tony Savor, Rudolph E. Seviora:
Hierarchical supervisors for automatic detection of software failures. ISSRE 1997: 48-59
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/SavorS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/SavorS97
Tony Savor, Rudolph E. Seviora:
Supervisors for Testing Non-Deterministically Specified Systems. ITC 1997: 948-953
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/SavorS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/SavorS97
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-146
1996
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/AtleeDKSS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/AtleeDKSS96
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: 16-28
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/SavorS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/SavorS96
Tony Savor, Rudolph E. Seviora:
An Architectural Overview of a Software Supervisor. RTS 1996: 52-56
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/LiS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/LiS96
J. Jenny Li, Rudolph E. Seviora:
Automatic failure detection with Conditional-Belief supervisors. ISSRE 1996: 4-13
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SimserS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SimserS96
D. A. Simser, Rudolph E. Seviora:
Supervision of real-time software systems using optimistic path prediction and rollbacks. ISSRE 1996: 340-349
1995
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/HladyKLPPSSSV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/HladyKLPPSSSV95
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: 314-323
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/SavorS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/SavorS95
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
1994
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/IorgulescuS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/IorgulescuS94
R. Iorgulescu, Rudolph E. Seviora:
A resynchronization method for real-time supervision. RTS 1994: 66-71
1993
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/Seviora93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/Seviora93
Rudolph E. Seviora:
Models for Real-Time Supervision. RTS 1993: 232-237
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/Seviora93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/Seviora93
Rudolph E. Seviora:
Real-Time Detection of Failures of Reactive Systems. SAFECOMP 1993: 265-275
1992
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/MalhotraS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/MalhotraS92
Prem Malhotra, Rudolph E. Seviora:
Object Oriented Framework for Generating Machine Understanding of a Digital System Design. IEA/AIE 1992: 690-700
1991
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ChanDS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ChanDS91
Francis C. L. Chan, Paul P. Dasiewicz, Rudolph E. Seviora:
Metrics evaluation of software reliability growth models. ISSRE 1991: 163-167

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/MalhotraS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/MalhotraS89
Prem Malhotra, Rudolph E. Seviora:
Knowledge bases for digital circuit understanding. Microprocess. Microprogramming 25(1-5): 15-20 (1989)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/KellyS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/KellyS89
Michael A. Kelly, Rudolph E. Seviora:
Performance of OPS5 matching on CUPID. Microprocessing and Microprogramming 27(1-5): 397-404 (1989)
[c2]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/KellyS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/KellyS89
Michael A. Kelly, Rudolph E. Seviora:
An Evaluation of DRete on CUPlD for OPSS Matching. IJCAI 1989: 84-90
1987
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/software/Seviora87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/Seviora87
Rudolph E. Seviora:
Knowledge-Based Program Debugging Systems. IEEE Softw. 4(3): 20-32 (1987)
[c1]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/KellyS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KellyS87
Michael A. Kelly, Rudolph E. Seviora:
A Multiprocessor Architecture for Production System Matching. AAAI 1987: 36-41

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.