Friedrich-Alexander-Universität Erlangen-Nürnberg  /   Technische Fakultät  /   Department Informatik

Publications in 2016 at CS 4 at FAU

Wägemann, Peter ; Distler, Tobias ; Janker, Heiko ; Raffeck, Phillip ; Sieh, Volkmar:
A Kernel for Energy-Neutral Real-Time Systems with Mixed Criticalities.
In: IEEE (Ed.) : Proceedings of the 22nd Real-Time and Embedded Technology and Applications Symposium (RTAS '16)
(22nd Real-Time and Embedded Technology and Applications Symposium, Vienna, Austria, April 11-14, 2016).
2016, pp 25-36. (BibTeX)

Drescher, Gabor ; Schröder-Preikschat, Wolfgang:
Adaptive Memory Protection for Many-Core Systems.
In: Mitra, Tulika ; Teich, Jürgen ; Thiele, Lothar ; Verbauwhede, Ingrid (Ed.) : Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441)
(Adaptive Isolation for Predictability and Security, Schloss Dagstuhl, 30.10-04.11.2016).
2016. (Dagstuhl Reports Vol. 6) (BibTeX)

Ziegler, Andreas ; Rothberg, Valentin ; Lohmann, Daniel:
Analyzing the Impact of Feature Changes in Linux.
In: Schaefer, Ina ; Alves, Vander ; Santana de Almeida, Eduardo (Ed.) : Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems
(10th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '16), Salvador, Brazil, 27.-29.01.2016).
New York, NY, USA : ACM Press, 2016, pp 25-32. - ISBN 978-1-4503-4019-9
Keywords: CADOS, Linux
[doi>10.1145/2866614.2866618] (BibTeX)

Schultis, Klaus-Benedikt:
Architectural Collaboration in Internal Software Ecosystems.
Erlangen-Nuremberg, Friedrich-Alexander-University (FAU), Ph.D. thesis, 2016.
- 162 pages. (BibTeX)

Schultis, Klaus-Benedikt ; Elsner, Christoph ; Lohmann, Daniel:
Architecture-Violation Management for Internal Software Ecosystems.
In: Baresi, Luciano ; Cortellessa, Vittorio (Org.):
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture (WICSA 2016)
(13th Working IEEE/IFIP Conference on Software Architecture (WICSA 2016), Venice, Italy, 04/08/2016).
Washington, D.C., USA : IEEE Computer Society, 2016, pp 241-246. - ISBN 978-1-5090-2131-4
[doi>10.1109/WICSA.2016.16] (BibTeX)

Schultis, Klaus-Benedikt ; Elsner, Christoph ; Lohmann, Daniel:
Architecture-Violation Management for Internal Software Ecosystems: An Industry Case Study.
Erlangen-Nuremberg : Friedrich-Alexander-University (FAU). 2016
(CS-2016-02). - Internal report. 17 pages (BibTeX)

Klaus, Tobias ; Franzmann, Florian ; Gaukler, Maximilian ; Michalka, Andreas ; Ulbrich, Peter:
Closing the Loop: Towards Control-aware Design of Adaptive Real-Time Systems.
In: IEEE (Ed.) : Proceedings of the 37th Real-Time Systems Symposium Work-in-Progress Session (RTSS WiP '16)
(Real-Time Systems Symposium Work-in-Progress Session, Porto, Portugal, November 29-December 2, 2016).
2016, pp 1-4.
Keywords: QRONOS (BibTeX)

Stilkerich, Isabella:
Cooperative Memory Management in Safety-Critical Embedded Systems.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2016.
- 188 pages.
Keywords: Memory Management; Real-Time Systems; Type-safe Runtime Systems; Functional Safety; Dependable Software Architectures; KESO (BibTeX)

Eibel, Christopher ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
Energy Claims at Scale: Decreasing the Energy Demand of HPC Workloads at OS Level.
In: IEEE (Ed.) : Proceedings of the 12th IEEE Workshop on High-Performance Power-Aware Computing (HPPAC)
(12th IEEE Workshop on High-Performance Power-Aware Computing, Chicago, May 27, 2016).
2016, pp 1114-1117. - ISBN 978-1-5090-3682-0
Keywords: Energy Awareness, Operating-System Support, High-Performance Computing (BibTeX)

Raffeck, Phillip:
Entwurf und Implementierung eines energieneutralen Echtzeit-Betriebssystems.
In: Halang, Wolfgang A. ; Unger, Herwig (Ed.) : Internet der Dinge
(Echtzeit 2016, Boppard, Germany, November 17, 2016).
Berlin, Heidelberg : Springer, 2016, pp 53-62. (BibTeX)

Hoffmann, Martin ; Ulbrich, Peter ; Dietrich, Christian ; Schirmeier, Horst ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Experiences with Software-based Soft-Error Mitigation using AN-Codes.
In: Clarke, Peter J. ; Zulkernine, Mohammad (Arr.):
Software Quality Journal.
Vol. 24, 1. Edition New York : Springer Science+Business Media, 2016, (Software Quality Journal Vol. 24, No. 1), pp 87-113. ISSN 0963-9314
Keywords: DanceOS; CoRed; Operating Systems; Embedded Systems; Real-Time Systems; Dependability; Safety; Coded Processing; ARES; ESI
[doi>10.1007/s11219-014-9260-4] (BibTeX)

Rothberg, Valentin ; Dintzner, Nicolas ; Ziegler, Andreas ; Lohmann, Daniel:
Feature Models in Linux - From Symbols to Semantic.
In: Schaefer, Ina ; Alves, Vander ; Santana de Almeida, Eduardo (Ed.) : Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems
(10th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '16), Salvador, Brazil, 27.-29.01.2016).
New York, NY, USA : ACM Press, 2016, pp 65-72. - ISBN 978-1-4503-4019-9
Keywords: CADOS, Linux
[doi>10.1145/2866614.2866624] (BibTeX)

Franzmann, Florian ; Klaus, Tobias ; Ulbrich, Peter ; Deinhardt, Patrick ; Steffes, Benjamin ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang:
From Intent to Effect: Tool-based Generation of Time-Triggered Real-Time Systems on Multi-Core Processors.
In: IEEE Computer Society (Ed.) : Proceedings of the 19th IEEE Symposium on Real-Time Computing (ISORC '16)
(19th IEEE Symposium on Real-Time Computing, York, UK, May 17-20, 2016).
2016, pp 0-0. - ISBN 978-1-4673-9032-3
Keywords: RTSC; AORTA; Multi-Core; Real-Time Systems; QRONOS
[doi>10.1109/ISORC.2016.27] (BibTeX)

Rothberg, Valentin ; Dietrich, Christian ; Graf, Alexander ; Lohmann, Daniel:
Function Multiverses for Dynamic Variability.
In: Capilla, Rafael ; Eichelberger, Holger (Ed.) : Andersson, Jesper (Org.):
Foundations and Applications of Self* Systems
(9th International Workshop on Dynamic Software Product Lines - Variability at Runtime (DSPL’16), Augsburg, 16.09.2016).
2016. (BibTeX)

Hoffmann, Martin:
Konstruktive Zuverlässigkeit: Eine Methodik für zuverlässige Systemsoftware auf unzuverlässiger Hardware.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2016.
- 180 pages.
Keywords: Betriebssysteme, Zuverlässigkeit, Redundanz, Echtzeitsysteme, arithmetische Codierung, dOSEK, Fehlerinjektion, funktionale Sicherheit (BibTeX)

Dressler, Falko ; Mutschlechner, Margit ; Li, Bijun ; Kapitza, Rüdiger ; Ripperger, Simon ; Eibel, Christopher ; Herzog, Benedict ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
Monitoring Bats in the Wild: On Using Erasure Codes for Energy-Efficient Wireless Sensor Networks.
In: ACM Transactions on Sensor Networks (TOSN) 12 (2016), No. 1, pp 1-29 (BibTeX)

Fang, Miao ; Leyh, Georg ; Dörr, Jörg ; Elsner, Christoph:
Multi-Variability Modeling and Realization for Software Derivation in Industrial Automation Management.
In: Pretschner, Alexander (Ed.) : Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)
(ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, 10/02/2016).
New York, NY, USA : ACM, 2016, pp 2-12. - ISBN 978-1-4503-4321-3 (BibTeX)

Ramsauer, Ralf ; Lohmann, Daniel ; Mauerer, Wolfgang:
Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks.
In: Wassermann, Tony (Ed.) : Proceedings of the 12th International Symposium on Open Collaboration (OpenSym '16)
(International Symposium on Open Collaboration, Berlin, Aug 17-19, 2016).
New York : ACM DL, 2016.
Keywords: CADOS; patch stacks; collaboration; Linux; maintenance
[doi>10.1145/2957792.2957810] (BibTeX)

Klaus, Tobias ; Franzmann, Florian ; Gaukler, Maximilian ; Michalka, Andreas ; Ulbrich, Peter:
Poster Abstract: Closing the Loop: Towards Control-aware Design of Adaptive Real-Time Systems.
In: IEEE (Org.):
Proceedings of the 37th Real-Time Systems Symposium (RTSS '16)
(37th Real-Time Systems Symposium, Porto, Portugal, November 29-December 2, 2016).
2016, pp 363-363.
Keywords: QRONOS
[doi>10.1109/RTSS.2016.042] (BibTeX)

Wägemann, Peter ; Distler, Tobias ; Raffeck, Phillip ; Schröder-Preikschat, Wolfgang:
Poster Abstract: Towards Code Metrics for Benchmarking Timing Analysis.
In: IEEE (Ed.) : Proceedings of the 37th Real-Time Systems Symposium (RTSS '16)
(37th Real-Time Systems Symposium, Porto, Portugal, November 29-December 2, 2016).
2016, pp 369. (BibTeX)

Stilkerich, Isabella:
Presentation: Cooperative Memory Management in Safety-Critical Embedded Systems.
Talk: Defence of Doctoral Thesis,
Erlangen, Germany, 24.06.2016
Keywords: Memory Management; Real-Time Systems; Type-safe Runtime Systems; Functional Safety; Dependable Software Architectures; KESO (BibTeX)

Distler, Tobias ; Cachin, Christian ; Kapitza, Rüdiger:
Resource-efficient Byzantine Fault Tolerance.
In: Paolo Montuschi (Ed.) : IEEE Transactions on Computers.
Washington, DC, USA : IEEE Computer Society, 2016, (IEEE Transactions on Computers Vol. 65, No. 9), pp 2807-2819. ISSN 0018-9340
Keywords: REFIT
[doi>10.1109/TC.2015.2495213] (BibTeX)

Li, Bijun ; Xu, Wenbo ; Abid, Muhammad Zeeshan ; Distler, Tobias ; Kapitza, Rüdiger:
SAREK: Optimistic Parallel Ordering in Byzantine Fault Tolerance.
In: IEEE (Ed.) : Proceedings of the 12th European Dependable Computing Conference (EDCC '16)
(EDCC 2016, Gothenburg, 5-9 September).
2016, pp 77-88.
Keywords: REFIT (BibTeX)

Telschig, Kilian ; Schoeffel, Nikolai ; Schultis, Klaus-Benedikt ; Elsner, Christoph ; Knapp, Alexander:
SECO Patterns: Architectural Decision Support in Software Ecosystems.
In: Razavian, Maryam ; Tang, Antony (Org.):
Proceedings of the First International Workshop on Decision Making in Software Architecture (MARCH 2016)
(First International Workshop on Decision Making in Software Architecture (MARCH 2016), Venice, Italy, 04/05/2016).
New York, NY, USA : IEEE, 2016, pp 38-44. - ISBN 978-1-5090-2573-2
[doi>10.1109/MARCH.2016.10] (BibTeX)

Falk, Heiko ; Altmeyer, Sebastian ; Hellinckx, Peter ; Lisper, Björn ; Puffitsch, Wolfgang ; Rochange, Christine ; Schoeberl, Martin ; Bo Sørensen, Rasmus ; Wägemann, Peter ; Wegener, Simon:
TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research.
In: Martin Schoeberl (Ed.) : Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis (WCET '16)
(16th International Workshop on Worst-Case Execution Time Analysis, Toulouse, France, (to appear)).
2016, pp 1-10. (BibTeX)

Hönig, Timo ; Herzog, Benedict ; Schröder-Preikschat, Wolfgang:
The Narrow Way: Constructive Measures at Operating-System Level for Low Energy Use.
In: Gesellschaft für Informatik (Ed.) : Proceedings of the 30th Environmental Informatics Conference (EnviroInfo)
(EnviroInfo 2016, Berlin, Germany, September 14-16, 2016).
2016, pp 329-335. - ISBN 978-3-8440-4687-8 (BibTeX)

Wägemann, Peter ; Distler, Tobias ; Raffeck, Phillip ; Schröder-Preikschat, Wolfgang:
Towards Code Metrics for Benchmarking Timing Analysis.
In: IEEE (Ed.) : Proceedings of the 37th Real-Time Systems Symposium Work-in-Progress Session (RTSS WiP '16)
(Real-Time Systems Symposium Work-in-Progress Session, Porto, Portugal, November 29-December 2, 2016).
2016, pp 1-4. (BibTeX)

Rothberg, Valentin ; Dietrich, Christian ; Ziegler, Andreas ; Lohmann, Daniel:
Towards Scalable Configuration Testing in Variable Software.
In: Fischer, Bernd ; Schaefer, Ina (Ed.) : Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences
(15th International Conference on Generative Programming: Concepts & Experience, Amsterdam, October 31-November 01, 2016).
2016. - ISBN 978-1-4503-4446-3
[doi>10.1145/2993236.2993252] (BibTeX)