2019
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 (Hrsg.): Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) 2019 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 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 )http://nbn-resolving.de/urn:nbn:de:bvb:29-opus4-125519 http://nbn-resolving.de/urn:nbn:de:bvb:29-opus4-125519 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. Oktober 2019 - 4. Oktober 2019 )In: Proceedings of the IEEE Symposium on Reliable Distributed Systems 2019 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. März 2019 )In: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019 2019 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 (Hrsg.): CPS-IoTBench 2019 - Proceedings of the 2019 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things 2019 10.1145/3312480.3313170 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. Oktober 2019 - 4. Oktober 2019 )In: Proceedings of the 38th International Symposium on Reliable Distributed Systems (SRDS '19) 2019 10.1109/SRDS47363.2019.00026 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. März 2019 - 25. März 2019 )In: EdgeSys 2019 - Proceedings of the 2nd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2019 2019 10.1145/3301418.3313943 Gaukler M. , Rheinfels T. Ulbrich P. Roppenecker G. :Convergence Rate Abstractions for Weakly-Hard Real-Time Control 2019 )http://arxiv.org/abs/1912.09871 http://arxiv.org/abs/1912.09871 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 10.29007/c4zl 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. Dezember 2019 - 13. Dezember 2019 )In: Middleware 2019 - Proceedings of the 2019 20th International Middleware Conference 2019 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 (Hrsg.): 24th European Symposium on Research in Computer Security , Cham, Switzerland 2019 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. Oktober 2019 )In: PLOS 2019 - Proceedings of the 10th Workshop on Programming Languages and Operating Systems, Part of SOSP 2019 2019 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 10.1109/SBESC.2018.00021 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. Juni 2019 - 28. Juni 2019 )In: E-ENERGY'19: PROCEEDINGS OF THE 10TH ACM INTERNATIONAL CONFERENCE ON FUTURE ENERGY SYSTEMS , NEW YORK 2019 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 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 (Hrsg.): 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. Juni 2019 )In: ROSS 2019 - Proceedings of the 9th International Workshop on Runtime and Operating Systems for Supercomputers, co-located with HPDC 2019 2019 10.1145/3322789.3328744 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. Dezember 2019 - 13. Dezember 2019 )In: Middleware Demos and Posters 2019 - Proceedings of the 2019 20th International Middleware Conference Demos and Posters, Part of Middleware 2019 2019 10.1145/3366627.3368104 Raffeck P. Mikroarchitekturgewahre Analyse des Ressourcenverbrauchs unter Berücksichtigung des Gesamtsystems Workshop on Autonome Systeme – 50 Jahre PEARL, Echtzeit 2019 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. Juli 2019 )In: Sebastian Altmeyer (Hrsg.): OpenAccess Series in Informatics 2019 10.4230/OASIcs.WCET.2019.4 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. Dezember 2019 - 6. Dezember 2019 )In: 2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019) , NEW YORK 2019 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 10.24251/HICSS.2019.872 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 ACM SIGBED Review 16 2019 ), S. 33-38 ISSN: 1551-3688 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. Juli 2019 - 11. Juli 2019 )In: Proceedings of the 19th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) 2019 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 Current Biology 2019 )ISSN: 0960-9822 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. Oktober 2019 - 4. Oktober 2019 )In: Proceedings of the IEEE Symposium on Reliable Distributed Systems 2019 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 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 10.1109/rtas.2019.00034 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. Oktober 2019 - 4. Oktober 2019 )In: 38th International Symposium on Reliable Distributed Systems (SRDS 2019) , Lyon, France 2019 10.1109/SRDS47363.2019.00043 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. Dezember 2019 - 9. Dezember 2019 )In: 3rd Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers (SERIAL 2019) , Davis, CA, USA 2019 10.1145/3366611.3368144 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 IEEE Embedded Systems Letters 11 2019 ), S. 38-41 ISSN: 1943-0663 10.1109/LES.2018.2868823 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 (Hrsg.): Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, Brief Presentations Track 2019 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 Journal of Signal Processing Systems 2019 )ISSN: 1939-8018 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. März 2019 - 25. März 2019 )In: ACM (Hrsg.): Proceedings of the 12th European Workshop on Systems Security , New York, NY, USA 2019 10.1145/3301417.3312500 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. Dezember 2018 - 19. Dezember 2018 )In: Jiannong Cao, Faith Ellen, Luis Rodrigues, Bernardo Ferreira (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2019 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 Transactions on Embedded Computing Systems 18 2019 ), S. 102:1-102:23 ISSN: 1558-3465 10.1145/3358222 https://dl.acm.org/citation.cfm?id=3358222