Rudolph E. Seviora

Proceedings of the The Third International Conference on Availability, 2008

2007

Automatic Failure Detection with Separation of Concerns.

[BibT_eX]

[DOI]

P. Hazy

Proceedings of the The Second International Conference on Availability, 2007

2006

Formal Specification-based Online Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Diversity to Enhance Autonomic Computing Self-Protection.

[BibT_eX]

[DOI]

Michael Jarrett

Proceedings of the The First International Conference on Availability, 2006

2005

A curriculum for embedded system engineering.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2005

Towards automatic monitoring of component-based software systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2005

Design Patterns for Software Health Monitoring.

[BibT_eX]

[DOI]

Alexander Lau

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

2004

A Signal Processing Approach to Global Predicate Monitoring.

[BibT_eX]

[DOI]

Naghmeh Ghafari

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

2003

Automatic response performance monitoring for real-time software with nondeterministic behaviors.

[BibT_eX]

[DOI]

Barry R. Pekilis

Perform. Evaluation, 2003

2002

Assume-Guarantee Algorithms for Automatic Detection of Software Failures.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

A Compositional Approach to Monitoring Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Assume-Guarantee Supervisor for Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Aspect-Oriented Implementation of Software Health Indicators.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

Engineering components for ease of customisation and evolution.

[BibT_eX]

[DOI]

Stan Jarzabek

IEE Proc. Softw., 2000

1998

Toward Automatic Detection of Software Failures.

[BibT_eX]

[DOI]

Computer, 1998

Automatic detection of software failures: issues and experience.

[BibT_eX]

[DOI]

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

1997

A Method for Continuous Real-Time Supervision.

[BibT_eX]

[DOI]

R. Iorgulescu

Softw. Test. Verification Reliab., 1997

An Approach to Automatic Detection of Software Failures in Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

Supervisors for Testing Non-Deterministically Specified Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1997, 1997

Hierarchical supervisors for automatic detection of software failures.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

Detection of response time failures of real-time software.

[BibT_eX]

[DOI]

Barry R. Pekilis

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

Constructing automated protocol testing oracles to accommodate specification nondeterminism.

[BibT_eX]

[DOI]

J. Jenny Li

Hong Liu

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

1996

Supervision of real-time software systems using optimistic path prediction and rollbacks.

[BibT_eX]

[DOI]

D. A. Simser

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

Automatic failure detection with Conditional-Belief supervisors.

[BibT_eX]

[DOI]

J. Jenny Li

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

An Architectural Overview of a Software Supervisor.

[BibT_eX]

[DOI]

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

A Joint CS/E&CE Undergraduate Option in Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Ninth Conference on Software Engineering Education, 1996

1995

Improving the efficiency of supervision by software through state aggregation.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995

An approach to automatic detection of software failures.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

1994

A resynchronization method for real-time supervision.

[BibT_eX]

[DOI]

R. Iorgulescu

Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994

1993

Real-Time Detection of Failures of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Computer Safety, 1993

Models for Real-Time Supervision.

[BibT_eX]

[DOI]

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992

Object Oriented Framework for Generating Machine Understanding of a Digital System Design.

[BibT_eX]

[DOI]

Prem Malhotra

Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1992

1991

Metrics evaluation of software reliability growth models.

[BibT_eX]

[DOI]

Francis C. L. Chan

Paul P. Dasiewicz

Proceedings of the Second International Symposium on Software Reliability Engineering, 1991

1989

Knowledge bases for digital circuit understanding.

[BibT_eX]

[DOI]

Prem Malhotra

Microprocess. Microprogramming, 1989

Performance of OPS5 matching on CUPID.

[BibT_eX]

[DOI]

Michael A. Kelly

Microprocessing and Microprogramming, 1989

An Evaluation of DRete on CUPlD for OPSS Matching.

[BibT_eX]

[DOI]

Michael A. Kelly

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1987

Knowledge-Based Program Debugging Systems.

[BibT_eX]

[DOI]

IEEE Softw., 1987

A Multiprocessor Architecture for Production System Matching.

[BibT_eX]

[DOI]

Michael A. Kelly