BibSonomy :: author  ::

bookmarks

publications

(23)

• Fuzzy Belief-Based Supervision.
  Alexandre Vorobiev and Rudolph E. Seviora ARES 383-389 (2008)
  to dblp by dblp on 2008-05-11 00:00:00
  | URL | BibTeX  
• Automatic Failure Detection with Separation of Concerns.
  P. Hazy and Rudolph E. Seviora ARES 173-181 (2007)
  to dblp by dblp on 2008-04-25 00:00:00
  | URL | BibTeX  
• Formal Specification-based Online Monitoring.
  Hui Liang and Jin Song Dong and Jing Sun and Roger Duke and Rudolph E. Seviora ICECCS 152-162 (2006)
  to dblp by dblp on 2007-06-21 00:00:00
  | URL | BibTeX  
• Diversity to Enhance Autonomic Computing Self-Protection.
  Michael Jarrett and Rudolph E. Seviora ARES 295-299 (2006)
  to dblp by dblp on 2006-09-12 00:00:00
  | URL | BibTeX  
• Towards automatic monitoring of component-based software systems.
  Mohammad Zulkernine and Rudolph E. Seviora Journal of Systems and Software 74 15-24 (2005)
  to dblp by dblp on 2006-09-12 00:00:00
  | URL | BibTeX  
• A curriculum for embedded system engineering.
  Rudolph E. Seviora ACM Trans. Embedded Comput. Syst. 4 569-586 (2005)
  to dblp by dblp on 2006-04-04 00:00:00
  | URL | BibTeX  
• Design Patterns for Software Health Monitoring.
  Alexander Lau and Rudolph E. Seviora ICECCS 467-476 (2005)
  to dblp by dblp on 2005-09-13 00:00:00
  | URL | BibTeX  
• A Signal Processing Approach to Global Predicate Monitoring.
  Naghmeh Ghafari and Rudolph E. Seviora SRDS 136-145 (2004)
  to dblp by dblp on 2005-01-24 00:00:00
  | URL | BibTeX  
• A Method for Continuous Real-Time Supervision.
  R. Iorgulescu and Rudolph E. Seviora Softw. Test., Verif. Reliab. 7 69-98 (1997)
  to dblp by dblp on 2005-01-24 00:00:00
  | URL | BibTeX  
• Constructing automated protocol testing oracles to accommodate specification nondeterminism.
  J. Jenny Li and Hong Liu and Rudolph E. Seviora ICCCN 532- (1997)
  to dblp by dblp on 2004-10-27 00:00:00
  | URL | BibTeX