| 2015 | GI | Safety Functions on Commodity Hardware with Diversified Encoding. | Martin Skraut, Andr Schmitt, Jrg Kaienburg |
| 2011 | DSN | Boundless memory allocations for memory safety and high availability. | Marc Brnink, Martin Skraut, Christof Fetzer |
| 2011 | DSN | Aaron: An adaptable execution environment. | Marc Brnink, Andr Schmitt, Thomas Knauth, Martin Skraut, Ute Schiffel, Stephan Creutz, Christof Fetzer |
| 2010 | CGO | Prospect: a compiler framework for speculative parallelization. | Martin Skraut, Thomas Knauth, Stefan Weigert, Ute Schiffel, Martin Meinhold, Christof Fetzer |
| 2010 | EDCC | Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection Slicing. | Ute Schiffel, Andr Schmitt, Martin Skraut, Christof Fetzer |
| 2010 | SAFECOMP | ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software. | Ute Schiffel, Andr Schmitt, Martin Skraut, Christof Fetzer |
| 2009 | SAFECOMP | AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. | Christof Fetzer, Ute Schiffel, Martin Skraut |
| 2009 | SSS | Speculation for Parallelizing Runtime Checks. | Martin Skraut, Stefan Weigert, Ute Schiffel, Thomas Knauth, Martin Nowack, Diogo Becker de Brum, Christof Fetzer |
| 2008 | EuroSys | Switchblade: enforcing dynamic personalized system call models. | Christof Fetzer, Martin Skraut |
| 2007 | DSN | Robustness and Security Hardening of COTS Software Libraries. | Martin Skraut, Christof Fetzer |
| 2006 | EDCC | Automatically Finding and Patching Bad Error Handling. | Martin Skraut, Christof Fetzer |
| 2006 | ICDCN | A Time Model for Distributed Multimedia Applications. | Winfried E. Khnhauser, Martin Skraut |
| 2006 | PRDC | Leader Election in the Timed Finite Average Response Time Model. | Christof Fetzer, Martin Skraut |
| 2005 | ICDCS | On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times. | Christof Fetzer, Ulrich Schmid, Martin Skraut |