|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 22 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alexandre Vorobiev, Rudolph E. Seviora |
Fuzzy Belief-Based Supervision.  |
ARES  |
2008 |
DBLP DOI BibTeX RDF |
automatic detection of failures, software supervision, specification-based detection of failures, software reliability, software failures |
| 1 | P. Hazy, Rudolph E. Seviora |
Automatic Failure Detection with Separation of Concerns. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Liang, Jin Song Dong, Jing Sun 0002, Roger Duke, Rudolph E. Seviora |
Formal Specification-based Online Monitoring. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Jarrett, Rudolph E. Seviora |
Diversity to Enhance Autonomic Computing Self-Protection. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolph E. Seviora |
A curriculum for embedded system engineering. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Embedded system engineering, Embedded system engineering curriculum, Undergraduate engineering curriculum |
| 1 | Mohammad Zulkernine, Rudolph E. Seviora |
Towards automatic monitoring of component-based software systems. |
Journal of Systems and Software |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Lau, Rudolph E. Seviora |
Design Patterns for Software Health Monitoring. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Naghmeh Ghafari, Rudolph E. Seviora |
A Signal Processing Approach to Global Predicate Monitoring. |
SRDS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry R. Pekilis, Rudolph E. Seviora |
Automatic response performance monitoring for real-time software with nondeterministic behaviors. |
Perform. Eval. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Zulkernine, Rudolph E. Seviora |
A Compositional Approach to Monitoring Distributed Systems. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Zulkernine, Rudolph E. Seviora |
Assume-Guarantee Algorithms for Automatic Detection of Software Failures. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
applied formal methods, Software reliability, compositionality, failure detection, online monitoring |
| 1 | James Thai, Barry R. Pekilis, Alexander Lau, Rudolph E. Seviora |
Aspect-Oriented Implementation of Software Health Indicators. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Zulkernine, Rudolph E. Seviora |
Assume-Guarantee Supervisor for Concurrent Systems. |
IPDPS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Stan Jarzabek, Rudolph E. Seviora |
Engineering components for ease of customisation and evolution. |
IEE Proceedings - Software |
2000 |
DBLP BibTeX RDF |
|
| 1 | Tony Savor, Rudolph E. Seviora |
Toward Automatic Detection of Software Failures. |
IEEE Computer |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Savor, Rudolph E. Seviora |
Automatic detection of software failures: issues and experience. |
ECRTS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Iorgulescu, Rudolph E. Seviora |
A Method for Continuous Real-Time Supervision. |
Softw. Test., Verif. Reliab. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Savor, Rudolph E. Seviora |
Supervisors for Testing Non-Deterministically Specified Systems. |
ITC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Jenny Li, Hong Liu, Rudolph E. Seviora |
Constructing automated protocol testing oracles to accommodate specification nondeterminism. |
ICCCN |
1997 |
DBLP DOI BibTeX RDF |
automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction |
| 1 | Tony Savor, Rudolph E. Seviora |
An Approach to Automatic Detection of Software Failures in Real-Time Systems. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Savor, Rudolph E. Seviora |
Improving the efficiency of supervision by software through state aggregation. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
private telephone exchanges, supervisory software, software supervision, real time failure detection, real time system monitoring, running time complexity, specification processes, software supervisor, ITU Specification and Description Language, small private branch telephone exchange, SDL processes, telecom switching software, real-time systems, computational complexity, formal specification, fault diagnosis, telecommunication computing, state transitions, telecommunication control, computerised monitoring, inputs queues, state aggregation |
| 1 | Prem Malhotra, Rudolph E. Seviora |
Object Oriented Framework for Generating Machine Understanding of a Digital System Design. |
IEA/AIE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Kelly, Rudolph E. Seviora |
An Evaluation of DRete on CUPlD for OPSS Matching. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Michael A. Kelly, Rudolph E. Seviora |
A Multiprocessor Architecture for Production System Matching. |
AAAI |
1987 |
DBLP BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")