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

Publications in 2019 at CS 4 at FAU

Schröder-Preikschat, Wolfgang:
Adaptive Memory Protection for Many-Core Systems.
Talk: ASECOLab Seminar, University of Hawaii at Manoa,
Honolulu, 4.1.2019 (BibTeX)

Maier, Sebastian ; Hönig, Timo ; Wägemann, Peter ; Schröder-Preikschat, Wolfgang:
Asynchronous Abstract Machines: Anti-noise System Software for Many-core Processors.
In: ACM (Ed.) : Proceedings of the 9th International Workshop on Runtime and Operating Systems for Supercomputers (ROSS 2019)
(International Workshop on Runtime and Operating Systems for Supercomputers, Phoenix, June 25., 2019).
2019, pp 19-26.
Keywords: InvasIC; LAOS; AAM
[doi>10.1145/3322789.3328744] (BibTeX)

Klaus, Tobias ; Ulbrich, Peter ; Raffeck, Phillip ; Frank, Benjamin ; Wernet, Lisa ; Ritter von Onciul, Maxim ; Schröder-Preikschat, Wolfgang:
Boosting Job-Level Migration by Static Analysis.
In: Adam Lackorzynski ; Lohmann, Daniel (Ed.) : Proceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications
(15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2019), Stuttgart, 9.7.2019).
Dresden : TU Dresden and Leibniz Universität Hannover, 2019, pp 17-22.
Keywords: RTSC; AORTA; Multi-Core (BibTeX)

Herzog, Benedict ; Plauth, Max ; Hönig, Timo ; Köhler, Sven ; Schröder-Preikschat, Wolfgang ; Polze, Andreas:
Bridging the Gap: Energy-efficient Execution of Software Workloads on Heterogeneous Hardware Components.
In: ACM (Ed.) : Proceedings of the 10th International Conference on Future Energy Systems (e-Energy 2019)
(International Conference on Future Energy Systems (Poster Session), Phoenix, 25. - 28. June 2019).
2019, pp 428-430.
Keywords: PAX
[doi>10.1145/3307772.3330176] (BibTeX)

Hönig, Timo:
Building System Software to Leverage Dynamic Electricity Pricing.
Talk: Invited Talk, University of California, Santa Barbara (UCSB),
Santa Barbara, CA, USA, 19.06.2019 (BibTeX)

Figalist, Iris ; Elsner, Christoph ; Bosch, Jan ; Holmström Olsson, Helena:
Business as Unusual: A Model for Continuous Real-Time Business Insights Based on Low Level Metrics.
In: Angelis, Lefteris (Org.):
Proceedings of the 45th EUROMICRO Conference on Software Engineering and Advanced Applications
(45th EUROMICRO Conference on Software Engineering and Advanced Applications, Kallithea, Greece).
Los Alamitos, CA, USA : IEEE Computer Society, 2019, pp 66-73. - ISBN 978-1-7281-3421-5 (BibTeX)

Heinloth, Bernhard ; Ammon, Marco ; Nguyen, Dustin ; Hönig, Timo ; Sieh, Volkmar ; Schröder-Preikschat, Wolfgang:
Cocoon: Custom-Fitted Kernel Compiled on Demand.
In: ACM (Ed.) : Proceedings of the 10th Workshop on Programming Languages and Operating Systems
(10th Workshop on Programming Languages and Operating Systems (PLOS 2019), Huntsville, ON, Canada, 27.10.2019).
New York, NY, USA : ACM, 2019, pp 1-7. - ISBN 978-1-4503-7017-2
Keywords: PAX, InvasIC
[doi>10.1145/3365137.3365398] (BibTeX)

Sieh, Volkmar ; Burlacu, Robert ; Hönig, Timo ; Janker, Heiko ; Raffeck, Phillip ; Wägemann, Peter ; Schröder-Preikschat, Wolfgang:
Combining Automated Measurement-Based Cost Modeling With Static Worst-Case Execution-Time and Energy-Consumption Analyses.
In: IEEE Embedded System Letters 11 (2019), No. 2, pp 38-41
Keywords: Benchmark testing; Analytical models; Mathematical model; Time measurement; Energy consumption; Energy measurement; Tools
[doi>10.1109/LES.2018.2868823] (BibTeX)

Gaukler, Maximilian ; Rheinfels, Tim ; Ulbrich, Peter ; Roppenecker, Günter:
Convergence Rate Abstractions for Weakly-Hard Real-Time Control.
Erlangen-Nürnberg : Friedrich-Alexander-Universität. 2019. - Research report
Keywords: QRONOS (BibTeX)

Schmidt, Andreas ; Reif, Stefan ; Pereira, Pablo Gil ; Hönig, Timo ; Herfet, Thorsten ; Schröder-Preikschat, Wolfgang:
Cross-Layer Pacing for Predictably Low Age of Information.
In: - (Ed.) : Proceedings of Informatik 2019
(Informatik 2019, Kassel).
2019, pp 1-2.
Keywords: : Cross-Layer Optimization; Pacing; Age of Information; Low Latency; Transport Protocols (BibTeX)

Schmidt, Andreas ; Reif, Stefan ; Gil Pereira, Pablo ; Hönig, Timo ; Herfet, Thorsten ; Schröder-Preikschat, Wolfgang:
Cross-Layer Pacing for Predictably Low Latency.
In: - (Ed.) : Proceedings of the 6th International IEEE Workshop on Ultra-Low Latency in Wireless Networks (ULLWN)
(IEEE Workshop on Ultra-Low Latency in Wireless Networks (ULLWN), Paris, France, 29.04.2019).
2019, pp 1-6.
Keywords: cross-layer optimization; low-latency networking; pacing; transport protocols (BibTeX)

Figalist, Iris ; Elsner, Christoph ; Bosch, Jan ; Holmström Olsson, Helena:
Customer Churn Prediction in B2B Contexts.
In: Hyrynsalmi, Sami (Ed.) : Lecture Notes in Business Information Processing
(10th International Conference Software Business (ICSOB 2019), Jyväskylä, Finland).
Switzerland : Springer, 2019, pp 378-386. - ISBN 978-3-030-33742-1 (BibTeX)

Becker, Christian ; Nolte, Jörg ; Rossi, Matti ; Schröder-Preikschat, Wolfgang:
Cyber-Physical Information Systems.
In: Bul, Tung ; Kazman, Rick ; Agha, Gul (Ed.) : Proceedings of the 52nd Hawai'i International Conference on System Sciences (HICSS-52)
(52nd Hawai'i International Conference on System Sciences (HICSS-52), Maui, Hawaii, USA, 8. Januar 2019).
Honolulu, HI, USA : ScholarScience, University of Hawai'i at Manoa, 2019, pp 7231-7231. - ISBN 978-0-9981331-2-6
[doi>10125/60375] (BibTeX)

Gaukler, Maximilian ; Roppenecker, Günter ; Ulbrich, Peter:
Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing.
Erlangen-Nürnberg : Friedrich-Alexander-Universität. 2019. - Internal report
Keywords: QRONOS (BibTeX)

Eischer, Michael ; Büttner, Markus ; Distler, Tobias:
Deterministic Fuzzy Checkpoints.
In: IEEE (Ed.) : Proceedings of the 38th International Symposium on Reliable Distributed Systems (SRDS '19)
(International Symposium on Reliable Distributed Systems (SRDS '19), Lyon, 1-4 October).
2019, pp 153-162.
Keywords: REFIT (BibTeX)

Reif, Stefan ; Raffeck, Phillip ; Janker, Heiko ; Gerhorst, Luis ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
Earl: Energy-Aware Reconfigurable Locks.
In: - (Ed.) : Proceedings of the 9th Embedded Operating Systems Workshop (EWiLi 2019)
(EWiLi 2019 – The Embedded Operating Systems Workshop, New York, 17.10.2019).
2019, pp 1-6.
Keywords: Energy-aware systems, Dynamic reconfiguration, Mutual exclusion (BibTeX)

Eischer, Michael ; Distler, Tobias:
Efficient Checkpointing in Byzantine Fault-Tolerant Systems.
In: Gesellschaft für Informatik (Ed.) : Tagungsband des FB-SYS Herbsttreffens 2019
(FB-SYS Herbsttreffens 2019, Osnabrück, 21./22.11.2019).
2019.
Keywords: REFIT
[doi>10.18420/fbsys2019-01] (BibTeX)

Gallenmüller, Sebastian ; Glebke, René ; Günther, Stephan ; Hauser, Eric ; Leclaire, Maurice ; Reif, Stefan ; Rüth, Jan ; Schmidt, Andreas ; Carle, Georg ; Herfet, Thorsten ; Schröder-Preikschat, Wolfgang ; Wehrle, Klaus:
Enabling Wireless Network Support for Gain Scheduled Control.
In: - (Ed.) : Proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking
(2nd International Workshop on Edge Systems, Analytics and Networking, Dresden, 25.03.2019).
2019.
Keywords: edge computing; networking; control; latency-awareness; gain scheduling; reproducible wireless measurements (BibTeX)

Hönig, Timo:
Energy-Aware System Software in the Era of Dynamic Electricity Pricing.
Talk: Invited Talk, IBM Research,
Melbourne, Victoria, Australia, 23.08.2019
Keywords: InvasIC (BibTeX)

Hönig, Timo ; Herzog, Benedict ; Schröder-Preikschat, Wolfgang:
Energy-Demand Estimation of Embedded Devices Using Deep Artificial Neural Networks.
In: ACM (Ed.) : Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC '19)
(Symposium on Applied Computing, Limassol, Cyprus, 8. - 12. 4. 2019).
2019, pp 1-8.
[doi>10.1145/3297280.3297338] (BibTeX)

Eichler, Christian ; Wägemann, Peter ; Schröder-Preikschat, Wolfgang:
GenEE: A Benchmark Generator for Static Analysis Tools of Energy-Constrained Cyber-Physical Systems.
In: Zimmerling, Marco (Org.):
Proceedings of the 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things
(2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things, Montreal, QC, Canada, 15.04.2019).
2019.
Keywords: benchmark generation; cyber-physical systems; energy constraints; worst-case energy consumption (WCEC); static code analysis
[doi>10.1145/3312480.3313170] (BibTeX)

Ziegler, Andreas ; Geus, Julian ; Heinloth, Bernhard ; Hönig, Timo ; Lohmann, Daniel:
Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries.
In: ACM Transactions on Embedded Computing Systems 18 (2019), No. 5s, pp 102:1-102:23
Keywords: InvasIC; CADOS; Shared Libraries; Binary Tailoring; Linux
[doi>10.1145/3358222] (BibTeX)

Deyerl, Christian ; Distler, Tobias:
In Search of a Scalable Raft-based Replication Architecture.
In: ACM (Ed.) : Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '19)
(6th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '19), Dresden, 25 March).
2019, pp 1-7.
Keywords: REFIT (BibTeX)

Schuster, Simon ; Wägemann, Peter ; Ulbrich, Peter ; Schröder-Preikschat, Wolfgang:
Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis.
In: IEEE Computer Society (Org.):
In Proceedings of the 25th Real-Time and Embedded Technology and Applications Symposium (RTAS '19)
(25th Real-Time and Embedded Technology and Applications Symposium (RTAS '19), Montreal, 15.-18.04.2019).
2019, pp 0-0. (BibTeX)

Ulbrich, Peter ; Gaukler, Maximilian:
QRONOS: Towards Quality-aware Responsive Real-Time Control Systems.
In: IEEE (Ed.) : 25th Real-Time and Embedded Technology and Applications Symposium - Brief Presentations Track (RTAS '19 BP)
(25th Real-Time and Embedded Technology and Applications Symposium - Brief Presentations Track (RTAS '19 BP), Montreal, 15.-18.04.2019).
2019, pp 1-4.
Keywords: QRONOS (BibTeX)

Distler, Tobias:
Ressourceneffiziente Systemsoftware für zuverlässige Dienste.
Talk: TU Dortmund,
Dortmund, 13.05.2019
Keywords: REFIT, EDC, E3 (BibTeX)

Eischer, Michael ; Distler, Tobias:
Scalable Byzantine Fault-tolerant State-Machine Replication on Heterogeneous Servers.
In: Computing 101 (2019), No. 2, pp 97-118
Keywords: REFIT
[doi>10.1007/s00607-018-0652-3] (BibTeX)

Figalist, Iris ; Elsner, Christoph ; Bosch, Jan ; Holmström Olsson, Helena:
Scaling Agile Beyond Organizational Boundaries: Coordination Challenges in Software Ecosystems.
In: Kruchten, Philippe ; Fraser, Steven ; Coallier, François (Ed.) : Agile Processes in Software Engineering and Extreme Programming
(XP: 20th International Conference on Agile Software Development (XP 2019), Montreal, Canada).
Cham, Switzerland : Springer, 2019, pp 189-206. - ISBN 978-3-030-19034-7
Keywords: Software Ecosystem, Agile, Software Processes (BibTeX)

Rheindt, Sven ; Maier, Sebastian ; Schmaus, Florian ; Wild, Thomas ; Schröder-Preikschat, Wolfgang ; Herkersdorf, Andreas:
SHARQ: Software-Defined Hardware-Managed Queues for Tile-Based Manycore Architectures.
In: LNCS (Ed.) : Proceedings of the 19th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation
(International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Pythagorion, Greece, July 7. - 11., 2019).
2019, pp 1-14.
Keywords: InvasIC
[doi>10.1007/978-3-030-27562-4_15] (BibTeX)

Würstlein, Alexander ; Schröder-Preikschat, Wolfgang:
T-IBE-T: Identity-Based Encryption for Inter-Tile Communication.
In: ACM (Ed.) : Proceedings of the 12th European Workshop on Systems Security
(12th European Workshop on Systems Security (EuroSec ’19), Dresden, 2019-03-25).
2019. - ISBN 978-1-4503-6274-0
[doi>10.1145/3301417.3312500] (BibTeX)

Reif, Stefan ; Gerhorst, Luis ; Bender, Kilian ; Hönig, Timo:
Towards Low-Jitter and Energy-Efficient Data Processing in Cyber-Physical Information Systems.
In: IEEE Computer Society (Ed.) : Proceedings of the 52nd Hawaii International Conference on System Sciences (HICSS)
(Hawaii International Conference on System Sciences (HICSS), Maui, HI, USA, 8. - 11. January 2019).
2019, pp 7262-7269. (BibTeX)

Gaukler, Maximilian ; Ulbrich, Peter:
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing.
In: Frehse, Goran ; Althoff, Matthias (Ed.) : EasyChair Proceedings in Computation
(6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH '19), Montreal, 15.04.2019).
Manchester, UK : EasyChair, 2019, pp 183-200. Vol. 61
Keywords: QRONOS
[doi>10.29007/c4zl] (BibTeX)

Raffeck, Phillip ; Eichler, Christian ; Wägemann, Peter ; Schröder-Preikschat, Wolfgang:
Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems.
In: Altmeyer, Sebastian (Ed.) : Proceedings of the 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)
(19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019), Stuttgart, 9.7.2019). Vol. 72.
Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019, pp 4:1-4:12. - ISBN 978-3-95977-118-4
Keywords: WCEC, WCRE, WCET, michroarchitecture analysis, whole-system analysis
[doi>10.4230/OASIcs.WCET.2019.4] (BibTeX)