2019 – Lehrstuhl für Informatik 4

Andreas S., Reif S., Pereira PG., Hönig T., Herfet T., Schröder-Preikschat W.:
Cross-layer pacing for predictably low age of information presentation of work originally published in the proceedings of the 2019workshop on ultra-low latency in wireless networks
49. Jahrestagung der Gesellschaft fur Informatik: 50 Jahre Gesellschaft fur Informatik - Informatik fur Gesellschaft, INFORMATIK 2019 - 49th Annual Meeting of the German Informatics Society: 50 years of the German Informatics Society - Computer Science for Society, INFORMATICS 2019 (Kassel, DEU, 23. September 2019 - 26. September 2019)
In: Klaus David, Kurt Geihs, Martin Lange, Gerd Stumme (ed.): Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) 2019
DOI: 10.18420/inf2019_22
Asaad S., Bereyhi A., Müller R., Schaefer RF.:
Secure Regularized Zero Forcing for Multiuser MIMOME Channels
53rd Asilomar Conference on Signals, Systems, and Computers (Pacific Grove, CA, 3. November 2019 - 6. November 2019)
In: CONFERENCE RECORD OF THE 2019 FIFTY-THIRD ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, NEW YORK: 2019
DOI: 10.1109/ieeeconf44664.2019.9048726
Becker C., Nolte J., Rossi M., Schröder-Preikschat W.:
Cyber Physical Information Systems
52nd Hawaii International Conference on System Sciences (HICSS)
In: PROCEEDINGS OF THE 52ND ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, Honolulu: 2019
Benenson Z., Berger F., Cherepantsev A., Datsevich S., Do L., Eckert M., Elsberger T., Freiling F., Frinken M., Glameyer H., Hafner S., Hagenhoff S., Hammer A., Hammerl S., Hantke F., Heindorf F., Henninger M., Höfer D., Kuhrt P., Lattka M., Leis T., Leubner C., Leyrer K., Lindenmeier C., Del Medico K., Moussa D., Nissen M., Öz A., Ottmann J., Reif K., Ripley N., Roth A., Schilling J., Schleicher R., Schulz D., Stephan M., Volkert C., Wehner M., Wild M., Wirth J., Wolf J., Wunder J., Zlatanovic J.:
Analyse verbreiteter Anwendungen zum Lesen von elektronischen Büchern
CS-2019-06 (2019)
Open Access: http://nbn-resolving.de/urn:nbn:de:bvb:29-opus4-125519
URL: http://nbn-resolving.de/urn:nbn:de:bvb:29-opus4-125519
(Working Paper)
Brandenburger M., Cachin C., Sorniotti A., Kapitza R.:
Trusted computing meets blockchain: Rollback attacks and a solution for hyperledger fabric
38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 (Lyon, FRA, 1. October 2019 - 4. October 2019)
In: Proceedings of the IEEE Symposium on Reliable Distributed Systems 2019
DOI: 10.1109/SRDS47363.2019.00045
Deyerl C., Distler T.:
In Search of a Scalable Raft-based Replication Architecture
6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019 (Dresden, 25. March 2019)
In: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019 2019
DOI: 10.1145/3301419.3323968
Eichler C., Wägemann P., Schröder-Preikschat W.:
GenEE: A Benchmark Generator for Static Analysis Tools of Energy-Constrained Cyber-Physical Systems
2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things, CPS-IoTBench 2019 (Montreal, QC, 15. April 2019)
In: Gowri Sankar Ramachandran, Jorge Ortiz (ed.): CPS-IoTBench 2019 - Proceedings of the 2019 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things 2019
DOI: 10.1145/3312480.3313170
URL: https://www4.cs.fau.de/Publications/2019/eichler_19_cpsiotbench.pdf
Eischer M., Büttner M., Distler T.:
Deterministic Fuzzy Checkpoints
International Symposium on Reliable Distributed Systems (SRDS '19) (Lyon, 1. October 2019 - 4. October 2019)
In: Proceedings of the 38th International Symposium on Reliable Distributed Systems (SRDS '19) 2019
DOI: 10.1109/SRDS47363.2019.00026
URL: https://www4.cs.fau.de/Publications/2019/eischer_19_srds.pdf
Gallenmüller S., Glebke R., Günther S., Hauser E., Leclaire M., Reif S., Rüth J., Schmidt A., Carle G., Herfet T., Schröder-Preikschat W., Wehrle K.:
Enabling wireless network support for gain scheduled control
2nd ACM International Workshop on Edge Systems, Analytics and Networking, EdgeSys 2019, Part of EuroSys 2019 (Dresden, 25. March 2019 - 25. March 2019)
In: EdgeSys 2019 - Proceedings of the 2nd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2019 2019
DOI: 10.1145/3301418.3313943
Gaukler M., Rheinfels T., Ulbrich P., Roppenecker G.:
Convergence Rate Abstractions for Weakly-Hard Real-Time Control
(2019)
Open Access: http://arxiv.org/abs/1912.09871
URL: http://arxiv.org/abs/1912.09871
(Techreport)
Gaukler M., Ulbrich P.:
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing
Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) (Montreal, Quebec, 15. April 2019 - 15. April 2019)
In: Proceedings of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH '16) 2019
DOI: 10.29007/c4zl
URL: https://www4.cs.fau.de/Research/qronOS/Media/arch19-qronos-preprint.pdf
Goltzsche D., Nieke M., Knauth T., Kapitza R.:
Acctee: A WebAssembly-based Two-way Sandbox for Trusted Resource Accounting
20th ACM/IFIP/USENIX Middleware Conference, Middleware 2019 (Davis, CA, USA, 9. December 2019 - 13. December 2019)
In: Middleware 2019 - Proceedings of the 2019 20th International Middleware Conference 2019
DOI: 10.1145/3361525.3361541
Haupert V., Gabert S.:
Where to Look for What You See Is What You Sign? User Confusion in Transaction Security
ESORICS 2019 (Luxemburg, 23. September 2019 - 27. September 2019)
In: Kazue Sako, Steve Schneider, Peter Ryan (ed.): 24th European Symposium on Research in Computer Security, Cham, Switzerland: 2019
DOI: 10.1007/978-3-030-29959-0_21
Heinloth B., Ammon M., Nguyen DT., Hönig T., Sieh V., Schröder-Preikschat W.:
Cocoon: Custom-fitted kernel compiled on demand
10th Workshop on Programming Languages and Operating Systems, PLOS 2019, held in conjunction with the 27th ACM Symposium on Operating Systems Principles, SOSP 2019 (Huntsville, ON, 27. October 2019)
In: PLOS 2019 - Proceedings of the 10th Workshop on Programming Languages and Operating Systems, Part of SOSP 2019 2019
DOI: 10.1145/3365137.3365398
Herzog B., Gerhorst L., Heinloth B., Reif S., Hönig T., Schröder-Preikschat W.:
INTspect: Interrupt Latencies in the Linux Kernel
8th Brazilian Symposium on Computing Systems Engineering, SBESC (Salvador, 6. November 2018 - 9. November 2018)
In: Proceedings of the 8th Brazilian Symposium on Computing System Engineering, SBESC 2019
DOI: 10.1109/SBESC.2018.00021
URL: https://www4.cs.fau.de/Publications/2018/herzog_18_sbesc.pdf
Herzog B., Hönig T., Schröder-Preikschat W., Plauth M., Koehler S., Polze A.:
Bridging the Gap: Energy-efficient Execution of Software Workloads on Heterogeneous Hardware Components
10th ACM International Conference on Future Energy Systems (e-Energy) (Phoenix, AZ, 25. June 2019 - 28. June 2019)
In: E-ENERGY'19: PROCEEDINGS OF THE 10TH ACM INTERNATIONAL CONFERENCE ON FUTURE ENERGY SYSTEMS, NEW YORK: 2019
DOI: 10.1145/3307772.3330176
Hönig T., Herzog B., Schröder-Preikschat W.:
Energy-demand estimation of embedded devices using deep artificial neural networks
34th Annual ACM Symposium on Applied Computing, SAC 2019 (Limassol, 8. April 2019 - 12. April 2019)
In: Proceedings of the ACM Symposium on Applied Computing 2019
DOI: 10.1145/3297280.3297338
Klaus T., Ulbrich P., Raffeck P., Frank B., Wernet L., Ritter von Onciul M., Schröder-Preikschat W.:
Boosting Job-Level Migration by Static Analysis
15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (Stuttgart)
In: Adam Lackorzynski Daniel Lohmann (ed.): Proceedings of the 15th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19) 2019
Maier S., Hönig T., Wägemann P., Schröder-Preikschat W.:
Asynchronous Abstract Machines: Anti-noise System Software for Many-core Processors
9th International Workshop on Runtime and Operating Systems for Supercomputers, ROSS 2019, co-located with HPDC 2019 (Phoenix, AZ, 25. June 2019)
In: ROSS 2019 - Proceedings of the 9th International Workshop on Runtime and Operating Systems for Supercomputers, co-located with HPDC 2019 2019
DOI: 10.1145/3322789.3328744
URL: https://www4.cs.fau.de/Publications/2019/maier_19_ross.pdf
Messadi I., Neumann S., Almstedt L., Kapitza R.:
A fast and secure key-value service using hardware enclaves
20th International Middleware Conference Demos and Posters, Middleware 2019 (Davis, CA, USA, 9. December 2019 - 13. December 2019)
In: Middleware Demos and Posters 2019 - Proceedings of the 2019 20th International Middleware Conference Demos and Posters, Part of Middleware 2019 2019
DOI: 10.1145/3366627.3368104
Raffeck P.:
Mikroarchitekturgewahre Analyse des Ressourcenverbrauchs unter Berücksichtigung des Gesamtsystems
Workshop on Autonome Systeme – 50 Jahre PEARL, Echtzeit 2019
DOI: 10.1007/978-3-658-27808-3_8
Raffeck P., Eichler C., Wägemann P., Schröder-Preikschat W.:
Worst-case energy-consumption analysis by microarchitecture-aware timing analysis for device-driven cyber-physical systems
19th International Workshop on Worst-Case Execution Time Analysis, WCET 2019 (Stuttgart, 9. July 2019)
In: Sebastian Altmeyer (ed.): OpenAccess Series in Informatics 2019
DOI: 10.4230/OASIcs.WCET.2019.4
URL: https://drops.dagstuhl.de/storage/01oasics/oasics-vol072-wcet2019/OASIcs.WCET.2019.4/OASIcs.WCET.2019.4.pdf
Raffeck P., Ulbrich P., Schröder-Preikschat W.:
Work-In-Progress: Migration Hints in Real-Time Operating Systems
40th IEEE Real-Time Systems Symposium (RTSS) (Hong Kong, 3. December 2019 - 6. December 2019)
In: 2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019), NEW YORK: 2019
DOI: 10.1109/RTSS46320.2019.00056
Reif S., Gerhorst L., Bender K., Hönig T.:
Towards Low-Jitter and Energy-Efficient Data Processing in Cyber-Physical Information Systems
52nd Hawaii International Conference on System Sciences, HICSS (Maui, HI)
In: Proceedings of the 52nd Hawaii International Conference on System Sciences, HICSS 2019
DOI: 10.24251/HICSS.2019.872
URL: https://scholarspace.manoa.hawaii.edu/bitstream/10125/60163/1/0723.pdf
Reif S., Schmidt A., Hönig T., Herfet T., Schröder-Preikschat W.:
ΔeltA: Differential energy-efficiency, latency, and timing analysis for real-time networks
In: ACM SIGBED Review 16 (2019), p. 33-38
ISSN: 1551-3688
DOI: 10.1145/3314206.3314211
Rheindt S., Maier S., Schmaus F., Wild T., Schröder-Preikschat W., Herkersdorf A.:
SHARQ: Software-Defined Hardware-Managed Queues for Tile-Based Manycore Architectures
19th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) (Samos, 8. July 2019 - 11. July 2019)
In: Proceedings of the 19th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) 2019
DOI: 10.1007/978-3-030-27562-4_15
Ripperger S., Carter G., Duda N., Kölpin A., Cassens B., Josic D., Berrío-Martínez J., Page R., Mayer F., Kapitza R.:
Vampire Bats that Cooperate in the Lab Maintain Their Social Networks in the Wild
In: Current Biology (2019)
ISSN: 0960-9822
DOI: 10.1016/j.cub.2019.10.024
Ruesch S., Bleeke K., Kapitza R.:
Bloxy: Providing transparent and generic BFT-based ordering services for blockchains
38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 (Lyon, FRA, 1. October 2019 - 4. October 2019)
In: Proceedings of the IEEE Symposium on Reliable Distributed Systems 2019
DOI: 10.1109/SRDS47363.2019.00043
Sartakov VA., Kapitza R., Kapitza R.:
Protecting secrets of persistent systems with volatility
15th European Dependable Computing Conference, EDCC 2019 (Naples, ITA, 17. September 2019 - 20. September 2019)
In: Proceedings - 2019 15th European Dependable Computing Conference, EDCC 2019 2019
DOI: 10.1109/EDCC.2019.00027
Schuster S., Wägemann P., Ulbrich P., Schröder-Preikschat W.:
Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis
25th Real-Time and Embedded Technology and Applications Symposium (RTAS '19) (Montral, Canada, 16. April 2019 - 18. April 2019)
In: In Proceedings of the 25th Real-Time and Embedded Technology and Applications Symposium (RTAS '19) 2019
DOI: 10.1109/rtas.2019.00034
URL: https://www4.cs.fau.de/Publications/2019/schuster_19_rtas.pdf
Schwarz-Rüsch S., Bleeke K., Kapitza R.:
Bloxy: Providing Transparent and Generic BFT-Based Ordering Services for Blockchains
International Symposium on Reliable Distributed Systems (Lyon, France, 1. October 2019 - 4. October 2019)
In: 38th International Symposium on Reliable Distributed Systems (SRDS 2019), Lyon, France: 2019
DOI: 10.1109/SRDS47363.2019.00043
URL: https://www.ibr.cs.tu-bs.de/users/ruesch/papers/ruesch-srds19.pdf
Schwarz-Rüsch S., Bleeke K., Kapitza R.:
Themis: An Efficient and Memory-Safe BFT Framework in Rust (Research Statement)
Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers (Davis, California, USA, 9. December 2019 - 9. December 2019)
In: 3rd Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers (SERIAL 2019), Davis, CA, USA: 2019
DOI: 10.1145/3366611.3368144
URL: https://www.ibr.cs.tu-bs.de/users/ruesch/papers/ruesch-serial19.pdf
Sieh V., Burlacu R., Hönig T., Janker H., Raffeck P., Wägemann P., Schröder-Preikschat W.:
Combining Automated Measurement-Based Cost Modeling With Static Worst-Case Execution-Time and Energy-Consumption Analyses
In: IEEE Embedded Systems Letters 11 (2019), p. 38-41
ISSN: 1943-0663
DOI: 10.1109/LES.2018.2868823
URL: https://www4.cs.fau.de/Publications/2019/sieh_19_esl.pdf
Ulbrich P., Gaukler M.:
QRONOS: Towards Quality-aware Responsive Real-Time Control Systems
25th IEEE Real-Time and Embedded Technology and Applications Symposium, Brief Presentations Track (Montreal, Quebec, 16. April 2019 - 18. April 2019)
In: Mitra Nasri (ed.): Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, Brief Presentations Track 2019
URL: http://2019.rtas.org/wp-content/uploads/2019/04/RTAS19_BP_proceedings.pdf
Vaas S., Ulbrich P., Reichenbach M., Fey D.:
Application-Specific Tailoring of Multi-Core SoCs for Real-Time Systems with Diverse Predictability Demands
In: Journal of Signal Processing Systems (2019)
ISSN: 1939-8018
DOI: 10.1007/s11265-018-1389-0
Würstlein A., Schröder-Preikschat W.:
T-IBE-T: Identity-Based Encryption for Inter-Tile Communication
12th European Workshop on Systems Security (EuroSec '19) (Dresden, Germany, 25. March 2019 - 25. March 2019)
In: ACM (ed.): Proceedings of the 12th European Workshop on Systems Security, New York, NY, USA: 2019
DOI: 10.1145/3301417.3312500
URL: https://www4.cs.fau.de/Publications/2019/wuerstlein_19_eurosec.pdf
Xu W., Schwarz-Rüsch S., Li B., Kapitza R.:
Hybrid fault-tolerant consensus in asynchronous and wireless embedded systems
22nd International Conference on Principles of Distributed Systems, OPODIS 2018 (Hong Kong, CHN, 17. December 2018 - 19. December 2018)
In: Jiannong Cao, Faith Ellen, Luis Rodrigues, Bernardo Ferreira (ed.): Leibniz International Proceedings in Informatics, LIPIcs 2019
DOI: 10.4230/LIPIcs.OPODIS.2018.15
Ziegler A., Geus J., Heinloth B., Hönig T., Lohmann D.:
Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries
In: Transactions on Embedded Computing Systems 18 (2019), p. 102:1-102:23
ISSN: 1558-3465
DOI: 10.1145/3358222
URL: https://dl.acm.org/citation.cfm?id=3358222