![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Rudolph E. Seviora
Person information
- affiliation: University of Waterloo, Canada
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2008
- [c29]Alexandre Vorobiev, Rudolph E. Seviora:
Fuzzy Belief-Based Supervision. ARES 2008: 383-389 - 2007
- [c28]P. Hazy, Rudolph E. Seviora:
Automatic Failure Detection with Separation of Concerns. ARES 2007: 173-181 - 2006
- [c27]Michael Jarrett, Rudolph E. Seviora:
Diversity to Enhance Autonomic Computing Self-Protection. ARES 2006: 295-299 - [c26]Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora:
Formal Specification-based Online Monitoring. ICECCS 2006: 152-162 - 2005
- [j9]Mohammad Zulkernine, Rudolph E. Seviora:
Towards automatic monitoring of component-based software systems. J. Syst. Softw. 74(1): 15-24 (2005) - [j8]Rudolph E. Seviora:
A curriculum for embedded system engineering. ACM Trans. Embed. Comput. Syst. 4(3): 569-586 (2005) - [c25]Alexander Lau, Rudolph E. Seviora:
Design Patterns for Software Health Monitoring. ICECCS 2005: 467-476 - 2004
- [c24]Naghmeh Ghafari, Rudolph E. Seviora:
A Signal Processing Approach to Global Predicate Monitoring. SRDS 2004: 136-145 - 2003
- [j7]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]Mohammad Zulkernine, Rudolph E. Seviora:
A Compositional Approach to Monitoring Distributed Systems. DSN 2002: 763-772 - [c22]Mohammad Zulkernine, Rudolph E. Seviora:
Assume-Guarantee Algorithms for Automatic Detection of Software Failures. IFM 2002: 89-108 - 2001
- [c21]James Thai, Barry R. Pekilis, Alexander Lau, Rudolph E. Seviora:
Aspect-Oriented Implementation of Software Health Indicators. APSEC 2001: 97-104 - [c20]Mohammad Zulkernine, Rudolph E. Seviora:
Assume-Guarantee Supervisor for Concurrent Systems. IPDPS 2001: 151 - 2000
- [j6]Stan Jarzabek, Rudolph E. Seviora:
Engineering components for ease of customisation and evolution. IEE Proc. Softw. 147(6): 237-248 (2000)
1990 – 1999
- 1998
- [j5]Tony Savor, Rudolph E. Seviora:
Toward Automatic Detection of Software Failures. Computer 31(8): 68-74 (1998) - [c19]Tony Savor, Rudolph E. Seviora:
Automatic detection of software failures: issues and experience. ECRTS 1998: 245-252 - 1997
- [j4]R. Iorgulescu, Rudolph E. Seviora:
A Method for Continuous Real-Time Supervision. Softw. Test. Verification Reliab. 7(2): 69-98 (1997) - [c18]J. Jenny Li, Hong Liu, Rudolph E. Seviora:
Constructing automated protocol testing oracles to accommodate specification nondeterminism. ICCCN 1997: 532- - [c17]Barry R. Pekilis, Rudolph E. Seviora:
Detection of response time failures of real-time software. ISSRE 1997: 38-47 - [c16]Tony Savor, Rudolph E. Seviora:
Hierarchical supervisors for automatic detection of software failures. ISSRE 1997: 48-59 - [c15]Tony Savor, Rudolph E. Seviora:
Supervisors for Testing Non-Deterministically Specified Systems. ITC 1997: 948-953 - [c14]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]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]Tony Savor, Rudolph E. Seviora:
An Architectural Overview of a Software Supervisor. RTS 1996: 52-56 - [c11]J. Jenny Li, Rudolph E. Seviora:
Automatic failure detection with Conditional-Belief supervisors. ISSRE 1996: 4-13 - [c10]D. A. Simser, Rudolph E. Seviora:
Supervision of real-time software systems using optimistic path prediction and rollbacks. ISSRE 1996: 340-349 - 1995
- [c9]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]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]R. Iorgulescu, Rudolph E. Seviora:
A resynchronization method for real-time supervision. RTS 1994: 66-71 - 1993
- [c6]Rudolph E. Seviora:
Models for Real-Time Supervision. RTS 1993: 232-237 - [c5]Rudolph E. Seviora:
Real-Time Detection of Failures of Reactive Systems. SAFECOMP 1993: 265-275 - 1992
- [c4]Prem Malhotra, Rudolph E. Seviora:
Object Oriented Framework for Generating Machine Understanding of a Digital System Design. IEA/AIE 1992: 690-700 - 1991
- [c3]Francis C. L. Chan, Paul P. Dasiewicz, Rudolph E. Seviora:
Metrics evaluation of software reliability growth models. ISSRE 1991: 163-167
1980 – 1989
- 1989
- [j3]Prem Malhotra, Rudolph E. Seviora:
Knowledge bases for digital circuit understanding. Microprocess. Microprogramming 25(1-5): 15-20 (1989) - [j2]Michael A. Kelly, Rudolph E. Seviora:
Performance of OPS5 matching on CUPID. Microprocessing and Microprogramming 27(1-5): 397-404 (1989) - [c2]Michael A. Kelly, Rudolph E. Seviora:
An Evaluation of DRete on CUPlD for OPSS Matching. IJCAI 1989: 84-90 - 1987
- [j1]Rudolph E. Seviora:
Knowledge-Based Program Debugging Systems. IEEE Softw. 4(3): 20-32 (1987) - [c1]Michael A. Kelly, Rudolph E. Seviora:
A Multiprocessor Architecture for Production System Matching. AAAI 1987: 36-41
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint