Reliable Control for Robotics - Hardware Resilience Powered by Software.
Proceedings of the 18th IEEE Annual Consumer Communications & Networking Conference, 2021
Safety Functions on Commodity Hardware with Diversified Encoding.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015
Aaron: An adaptable execution environment.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011
Boundless memory allocations for memory safety and high availability.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011
Automatic hardening against dependability and security software bugs.
PhD thesis, 2010
ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software.
Proceedings of the Computer Safety, 2010
Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection Slicing.
Proceedings of the Eighth European Dependable Computing Conference, 2010
Prospect: a compiler framework for speculative parallelization.
Proceedings of the CGO 2010, 2010
Speculation for Parallelizing Runtime Checks.
Proceedings of the Stabilization, 2009
Parallelizing Software-Implemented Error Detection.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009
AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.
Proceedings of the Computer Safety, 2009
Switchblade: enforcing dynamic personalized system call models.
Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008
Robustness and Security Hardening of COTS Software Libraries.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
Leader Election in the Timed Finite Average Response Time Model.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006
A Time Model for Distributed Multimedia Applications.
Proceedings of the Distributed Computing and Networking, 8th International Conference, 2006
Automatically Finding and Patching Bad Error Handling.
Proceedings of the Sixth European Dependable Computing Conference, 2006
On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times.
Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005