AN-encoding compiler: Building safety-critical systems with commodity hardware C Fetzer, U Schiffel, M Süßkraut International Conference on Computer Safety, Reliability, and Security, 283-296, 2009 | 81 | 2009 |
ANB-and ANBDmem-encoding: detecting hardware errors in software U Schiffel, A Schmitt, M Süßkraut, C Fetzer International Conference on Computer Safety, Reliability, and Security, 169-182, 2010 | 64 | 2010 |
Hardware Error Detection Using AN-Codes U Schiffel Technische Universität Dresden, 2011 | 49 | 2011 |
Software encoded processing: Building dependable systems with commodity hardware U Wappler, C Fetzer International Conference on Computer Safety, Reliability, and Security, 356-369, 2007 | 39 | 2007 |
Prospect: A compiler framework for speculative parallelization M Süßkraut, T Knauth, S Weigert, U Schiffel, M Meinhold, C Fetzer Proceedings of the 8th Annual IEEE/ACM International Symposium on Code …, 2010 | 32 | 2010 |
Software-implemented hardware error detection: Costs and gains U Schiffel, A Schmitt, M Süßkraut, C Fetzer 2010 Third International Conference on Dependability, 51-57, 2010 | 27 | 2010 |
Hardware failure virtualization via software encoded processing U Wappler, C Fetzer 2007 5th IEEE International Conference on Industrial Informatics 2, 977-982, 2007 | 26 | 2007 |
Software reliability I Eusgeld, F Fraikin, M Rohr, F Salfner, U Wappler Dependability metrics, 104-125, 2008 | 20 | 2008 |
Slice your bug: Debugging error detection mechanisms using error injection slicing U Schiffel, A Schmitt, M Süßkraut, C Fetzer 2010 European Dependable Computing Conference, 13-22, 2010 | 17 | 2010 |
Speculation for parallelizing runtime checks M Süsskraut, S Weigert, U Schiffel, T Knauth, M Nowack, DB de Brum, ... Symposium on Self-Stabilizing Systems, 698-710, 2009 | 16 | 2009 |
Software protection mechanisms for dependable systems U Wappler, M Muller 2008 Design, Automation and Test in Europe, 947-952, 2008 | 16 | 2008 |
Hardware fault injection using dynamic binary instrumentation: FITgrind U Wappler, C Fetzer Sixth European Dependable Computing Conference (EDCC-6), vol. Proceedings …, 2006 | 12 | 2006 |
Method for providing a value for determining whether an error has occurred in the execution of a program A Schmitt, U Schiffel, C Fetzer, M Suesskraut US Patent 9,304,872, 2016 | 9 | 2016 |
Aaron: An adaptable execution environment M Brünink, A Schmitt, T Knauth, M Süßkraut, U Schiffel, S Creutz, C Fetzer 2011 IEEE/IFIP 41st International Conference on Dependable Systems …, 2011 | 5 | 2011 |
Tailored responsibility within component-based systems E Franz, U Wappler International Symposium on Component-Based Software Engineering, 203-218, 2005 | 2 | 2005 |
Safety Transformations: Sound and Complete? U Schiffel International Conference on Computer Safety, Reliability, and Security, 190-201, 2013 | 1 | 2013 |
SIListra Compiler: Building Reliable Systems with Unreliable Hardware (Poster paper) M Süßkraut, A Schmitt, U Schiffel, M Brünink, C Fetzer Proceedings of The 41st Annual IEEE/IFIP International Conference on …, 2011 | 1* | 2011 |
Parallelizing Software-Implemented Error Detection U Schiffel, A Schmitt, M Süßkraut, S Weigert, C Fetzer IFIP International Workshop on Software Technolgies for Embedded and …, 2009 | 1 | 2009 |
White paper: Encoding Compiler and Encoded Processing M Süßkraut, U Schiffel, A Schmitt, C Fetzer | | 2011 |
Verfahren zur Datenverarbeitung zum Bereitstellen eines Wertes zum Ermitteln, ob bei einer Ausführung eines Programms ein Fehler aufgetreten ist U Schiffel, A Schmitt, M Süßkraut, C Fetzer DE Patent DE 10 2010 037 457 B4, 2011 | | 2011 |