Publications
290 Entries
2001
-
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
1998
-
Derivation of Fail-Aware Membership Service Specifications, 1998, Lecture Notes in Computer Science Parallel and Distributed Processing. Vol. 1388/1998. p. 644-663, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Fail-Aware Publish/Subscribe in Erlang, 1998, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
The Message Classification Model, 1998, p. 153-162, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
The Timewheel Asynchronous Group Communication Protocol, 1998, Lecture Notes in Computer Science Parallel and Distributed Processing. Orlando, FL, USA, Vol. 1388/1998. p. 664-680, 17 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report