Publications
287 Einträge
2002
-
A Mesh-based Robust Topology Discovery Algorithm for Hybrid Wireless Networks, 2002, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
An Automated Approach to Increasing the Robustness of C Libraries, 2002, S. 155-166, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Approximate Real-Time Clocks for Scheduled Events, 2002, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Middleware Support for Pervasive Dependability, 2002, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Tapping TCP Streams, 2002, S. 278-289, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
2001
-
An Adaptive Failure Detection Protocol, 2001, S. 146-153, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Detecting Heap Smashing Attacks Through Fault Containment Wrappers, 2001, S. 80-89, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Enforcing Perfect Failure Detection, 2001, S. 350-359, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Rejuvenation and Failure Detection in Partitionable Systems, 2001, S. 154-161, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
2000
-
Enforcing Synchronous System Properties on Top of Timed Systems, 2000, S. 185-192, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper