Publications
290 Entries
2005
-
On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times, 2005, p. 271-280, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Providing Transparent Transactions on C/C++ Memory Locations with TARIFA (Fast Abstract), 2005, p. 13-14, 2 p.Research output: Contribution to conferences > Paper
-
Using SSL for Secure Domain Name System (DNS) Transactions, 2005, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
2004
-
Automatic Detection and Masking of Non-Atomic Exception Handling, 2004, In: IEEE Transactions on Software Engineering. 30, 8, p. 547-560, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
On the possibility of consensus in asynchronous systems with finite average response times (Brief Announcement), 2004, p. 402-402, 1 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
2003
-
Challenges in Making Pervasive Systems Dependable, 2003, Future Directions in Distributed Computing, Research and Position Papers. p. 186-190, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Elastic Vector Time, 2003, p. 317-322, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Practical Aspects of IP Take-Over Mechanisms, 2003, p. 250-250, 1 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Randomized Asynchronous Consensus with Imperfect Communications, 2003, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Self*: A Component Based Data-Flow Oriented Framework for Pervasive Dependability, 2003, p. 66-73, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper