Publications
290 Entries
2006
-
Hardware Fault Injection Using Dynamic Binary Instrumentation: FITgrind, 2006, 2 p.Research output: Contribution to conferences > Paper
-
Leader Election in the Timed Finite Average Response Time Model, 2006, p. 375-376, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Learning Library-Level Error Return Values from Syscall Error Injection, 2006, 2 p.Research output: Contribution to conferences > Paper
-
Rearchitecting DNS, 2006, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Snapshot Isolation for Software Transactional Memory, 2006, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
2005
-
A System Demonstration of ST-TCP, 2005, p. 308-313, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Automatic Testing for Robustness Violations, 2005, Testing Commercial-off-the-Shelf Components and Systems. 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Dependable Distributed Computing using Free Databases, 2005, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Enhancing DNS Security using the SSL Trust Infrastructure, 2005, p. 21-27, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Highly Available Publish/Subscribe (Fast Abstract), 2005, p. 11-12, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper