Publications at CS 4 at FAU

Dietrich, Christian ; Tartler, Reinhard ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel: A Robust Approach for Variability Extraction from the Linux Build System . In: ACM Press (Ed.) : Proceedings of the 16th International Software Product Line Conference (16th International Software Product Line Conference Salvador - Brazil September 02 - 07, 2012). Vol. 1. New York : ACM Press, 2012, pp 21-30. - ISBN 978-1-4503-1094-9
[doi>10.1145/1966445.1966451] (BibTeX)

Ulbrich, Peter ; Hoffmann, Martin ; Kapitza, Rüdiger ; Lohmann, Daniel ; Schmid, Reiner ; Schröder-Preikschat, Wolfgang: Eliminating Single Points of Failure in Software-Based Redundancy . In: Correia, Miguel (Ed.) : Proceedings of the 9th European Dependable Computing Conference (9th European Dependable Computing Conference (EDCC '12) Sibiu, Romania 08-11 May 2012). Los Alamitos : IEEE Computer Society, 2012, pp 49-60. - ISBN 978-1-4673-0938-7
[doi>10.1109/EDCC.2012.21] (BibTeX)

Kapitza, Rüdiger ; Behl, Johannes ; Cachin, Christian ; Distler, Tobias ; Kuhnle, Simon ; Mohammadi, Seyed Vahid ; Schröder-Preikschat, Wolfgang ; Stengel, Klaus: CheapBFT: Resource-efficient Byzantine Fault Tolerance . In: European Chapter of ACM SIGOPS (Org.) : Proceedings of the EuroSys 2012 Conference (EuroSys '12) (EuroSys 2012 Bern 10-13 April). 2012, pp 295-308.
[doi>10.1145/2168836.2168866] (BibTeX)

Hofer, Wanja ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang: Sleepy Sloth: Threads as Interrupts as Threads . In: Almeida, Luis ; Brandt, Scott (Ed.) : Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS 2011) (32nd IEEE Real-Time Systems Symposium (RTSS 2011) Vienna, Austria November 2011). Los Alamitos, CA, USA : IEEE Computer Society, 2011, pp 67-77. - ISBN 978-0-7695-4591-2
[doi>10.1109/RTSS.2011.14] (BibTeX)

Scheler, Fabian ; Schröder-Preikschat, Wolfgang: The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems . In: Software: Practice and Experience 41 (2011), No. 12, pp 1491-1515
[doi>10.1002/spe.1099] (BibTeX)

Hönig, Timo ; Eibel, Christopher ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang: SEEP: Exploiting Symbolic Execution for Energy-Aware Programming . In: ACM SIGOPS (Ed.) : Proceedings of the 4th Workshop on Power-Aware Computing and Systems (HotPower 2011) (4th Workshop on Power-Aware Computing and Systems (HotPower '11) in conjunction with the 23rd ACM Symposium on Operating Systems Principles (SOSP), Cascais 23 October). 2011, pp -.
[doi>10.1145/2039252.2039256] (BibTeX)

Stellwag, Philippe ; Schröder-Preikschat, Wolfgang: Challenges in Real-Time Synchronization . In: McCool, Michael ; Rosenblum, Mendel (Ed.) : Proceedings of the 3rd USENIX Workshop on Hot Topics in Parallelism (HotPar '11) (USENIX Workshop on Hot Topics in Parallelism (HotPar '11) Berkeley, CA, USA 26.-27.05.2011). 2011, pp 1-6. (BibTeX)