christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

more papers using Fail*

Browse Source 
Change-Id: I9737c3304dfa5e265786cd2bab5d59ab282fc25a
This commit is contained in:
Horst Schirmeier
2015-02-10 13:17:04 +01:00
parent add9b80a1a
commit e59918b6df
1 changed files with 22 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
README.md
View File

@ -132,12 +132,26 @@ Publications about FAIL*
Selected publications using FAIL* Selected publications using FAIL*
--------------------------------- ---------------------------------
- C. Dietrich, M. Hoffmann, and D. Lohmann. Cross-kernel control-flow-graph
analysis for event-driven real-time systems. In Proceedings of the 2015 ACM
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded
Systems (LCTES '15), New York, NY, USA, June 2015. ACM Press. To appear.
- H. Schirmeier, C. Borchert, and O. Spinczyk. Avoiding pitfalls in
fault-injection based comparison of program susceptibility to soft errors. In
Proceedings of the 45th IEEE/IFIP International Conference on Dependable
Systems and Networks (DSN '15). IEEE Computer Society Press, June 2015. To
appear.
- M. Hoffmann, F. Lukas, C. Dietrich, and D. Lohmann. dOSEK: The design and - M. Hoffmann, F. Lukas, C. Dietrich, and D. Lohmann. dOSEK: The design and
implementation of a dependability-oriented static embedded kernel. In implementation of a dependability-oriented static embedded kernel. In
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Proceedings of the 21st IEEE Real-Time and Embedded Technology and
Applications (RTAS '15), Los Alamitos, CA, USA, Apr. 2015. IEEE Computer Applications (RTAS '15), Los Alamitos, CA, USA, Apr. 2015. IEEE Computer
Society Press. Society Press.
- Christian Dietrich and Daniel Lohmann. The dataref versuchung. ACM Operating
Systems Review, pages 1–10, 2015.
- M. Hoffmann, P. Ulbrich, C. Dietrich, H. Schirmeier, D. Lohmann, and W. - M. Hoffmann, P. Ulbrich, C. Dietrich, H. Schirmeier, D. Lohmann, and W.
Schröder-Preikschat. Experiences with software-based soft-error mitigation Schröder-Preikschat. Experiences with software-based soft-error mitigation
using AN codes. Software Quality Journal, pages 1–27, 2015. using AN codes. Software Quality Journal, pages 1–27, 2015.
@ -153,6 +167,13 @@ Selected publications using FAIL*
Computer Safety, Reliability and Security (SAFECOMP '14), Lecture Notes in Computer Safety, Reliability and Security (SAFECOMP '14), Lecture Notes in
Computer Science, pages 17–32. Springer-Verlag, Sept. 2014. Computer Science, pages 17–32. Springer-Verlag, Sept. 2014.
- Björn Döbel. Operating System Support for Redundant Multithreading.
Dissertation, Technische Universität Dresden, August 2014.
- Peter Ulbrich. Ganzheitliche Fehlertoleranz in eingebetteten
Softwaresystemen. Dissertation, Friedrich-Alexander-Universität
Erlangen-Nürnberg, August 2014.
- M. Hoffmann, C. Borchert, C. Dietrich, H. Schirmeier, R. Kapitza, O. - M. Hoffmann, C. Borchert, C. Dietrich, H. Schirmeier, R. Kapitza, O.
Spinczyk, and D. Lohmann. Effectiveness of fault detection mechanisms in Spinczyk, and D. Lohmann. Effectiveness of fault detection mechanisms in
static and dynamic operating system designs. In Proceedings of the 17th IEEE static and dynamic operating system designs. In Proceedings of the 17th IEEE
@ -190,7 +211,7 @@ Selected publications using FAIL*
- C. Borchert, H. Schirmeier, and O. Spinczyk. Generative - C. Borchert, H. Schirmeier, and O. Spinczyk. Generative
software-based memory error detection and correction for operating software-based memory error detection and correction for operating
system data structures. In Proceedings of the 43nd IEEE/IFIP system data structures. In Proceedings of the 43rd IEEE/IFIP
International Conference on Dependable Systems and Networks (DSN International Conference on Dependable Systems and Networks (DSN
'13). IEEE Computer Society Press, June 2013. '13). IEEE Computer Society Press, June 2013.