dblp.uni-trier.dewww.uni-trier.de

Tony Savor

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EETony Savor: Testing Feature-Rich Reactive Systems. IEEE Software 25(4): 74-81 (2008)
1998
6EETony Savor, Rudolph E. Seviora: Automatic detection of software failures: issues and experience. ECRTS 1998: 245-252
5 Tony Savor, Rudolph E. Seviora: Toward Automatic Detection of Software Failures. IEEE Computer 31(8): 68-74 (1998)
1997
4EETony 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-
3 Tony Savor, Rudolph E. Seviora: Supervisors for Testing Non-Deterministically Specified Systems. ITC 1997: 948-953
1995
2EETony Savor, Rudolph E. Seviora: Improving the efficiency of supervision by software through state aggregation. IEEE Real Time Technology and Applications Symposium 1995: 202-211
1993
1 Tony Savor, Paul P. Dasiewicz: A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm. PPCP 1993: 269-277

Coauthor Index

1Paul P. Dasiewicz [1]
2Rudolph E. Seviora [2] [3] [4] [5] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)