Publications
284 Entries
2002
-
Tapping TCP Streams , 2002, p. 278-289, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
2001
-
An Adaptive Failure Detection Protocol , 2001, p. 146-153, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Detecting Heap Smashing Attacks Through Fault Containment Wrappers , 2001, p. 80-89, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Enforcing Perfect Failure Detection , 2001, p. 350-359, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Fault Management In ECLIPSE , 2001, p. 28-33, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Rejuvenation and Failure Detection in Partitionable Systems , 2001, p. 154-161, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
2000
-
Enforcing Synchronous System Properties on Top of Timed Systems , 2000, p. 185-192, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness , 2000, p. 533-542, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
1999
-
A Comparison of Timed Asynchronous Systems and Asynchronous Systems with Failure Detectors , 1999, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Building Fault-Tolerant Hardware Clocks from COTS Components , 1999, 20 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper