Ute Schiffel

According to our database, Ute Schiffel authored at least 14 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Safety Transformations: Sound and Complete?

Ute Schiffel

Proceedings of the Computer Safety, Reliability, and Security, 2013

2011

Hardware error detection using AN-Codes.

Ute Schiffel

PhD thesis, 2011

Aaron: An adaptable execution environment.

Marc Brünink, André Schmitt, Thomas Knauth, Martin Süßkraut, Ute Schiffel, Stephan Creutz, Christof Fetzer

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010

ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software.

Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer

Proceedings of the Computer Safety, 2010

Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection Slicing.

Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer

Proceedings of the Eighth European Dependable Computing Conference, 2010

Prospect: a compiler framework for speculative parallelization.

Martin Süßkraut, Thomas Knauth, Stefan Weigert, Ute Schiffel, Martin Meinhold, Christof Fetzer

Proceedings of the CGO 2010, 2010

2009

Speculation for Parallelizing Runtime Checks.

Martin Süßkraut, Stefan Weigert, Ute Schiffel, Thomas Knauth, Martin Nowack, Diogo Becker de Brum, Christof Fetzer

Proceedings of the Stabilization, 2009

Parallelizing Software-Implemented Error Detection.

Ute Schiffel, André Schmitt, Martin Süßkraut, Stefan Weigert, Christof Fetzer

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.

Christof Fetzer, Ute Schiffel, Martin Süßkraut

Proceedings of the Computer Safety, 2009

2008

Software Protection Mechanisms for Dependable Systems.

Ute Wappler, Martin Muller

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Software Encoded Processing: Building Dependable Systems with Commodity Hardware.

Ute Wappler, Christof Fetzer

Proceedings of the Computer Safety, 2007

2005

Software Reliability.

Irene Eusgeld, Falk Fraikin, Matthias Rohr, Felix Salfner, Ute Wappler

Proceedings of the Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30, 2005

Tailored Responsibility Within Component-Based Systems.

Elke Franz, Ute Wappler

Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004

Adapting Component Models to Support Responsibility.

Henrik Eichenhardt, Elke Franz, Simone Röttger, Ute Wappler

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004