Publications
287 Entries
2002
-
A Mesh-based Robust Topology Discovery Algorithm for Hybrid Wireless Networks, 2002, 16 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
An Automated Approach to Increasing the Robustness of C Libraries, 2002, p. 155-166, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Approximate Real-Time Clocks for Scheduled Events, 2002, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Middleware Support for Pervasive Dependability, 2002, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
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
-
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