| |
| 2008 | ||
|---|---|---|
| 7 | EE | Tony Savor: Testing Feature-Rich Reactive Systems. IEEE Software 25(4): 74-81 (2008) |
| 1998 | ||
| 6 | EE | Tony 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 | ||
| 4 | EE | 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- |
| 3 | Tony Savor, Rudolph E. Seviora: Supervisors for Testing Non-Deterministically Specified Systems. ITC 1997: 948-953 | |
| 1995 | ||
| 2 | EE | 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 |
| 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 | |
| 1 | Paul P. Dasiewicz | [1] |
| 2 | Rudolph E. Seviora | [2] [3] [4] [5] [6] |