Publikationen 2-3
Unsere Publikationen seit 2015:
Bücher
Invasive Computing
FAU University Press, 2022
ISBN: 978-3-96147-571-1
DOI: 10.25593/978-3-96147-571-1
BibTeX: Download , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , :
Architecture of computing systems – ARCS 2016: 29th international conference Nuremberg, Germany, April 4-7, 2016 Proceedings
Springer Verlag, 2016
ISBN: 9783319306940
DOI: 10.1007/978-3-319-30695-7
BibTeX: Download , , , , :
Beiträge in Fachzeitschriften
SEMPAI: a Self-Enhancing Multi-Photon Artificial Intelligence for Prior-Informed Assessment of Muscle Function and Pathology
In: Advanced Science (2023)
ISSN: 2198-3844
DOI: 10.1002/advs.202206319
BibTeX: Download , , , , , , , , , , , , , , , :
Resource-demand Estimation for Edge Tensor Processing Units
In: ACM Transactions on Embedded Computing Systems 21 (2022)
ISSN: 1539-9087
DOI: 10.1145/3520132
BibTeX: Download , , , , :
Thinking small: next-generation sensor networks close the size gap in vertebrate biologging
In: Plos Biology (2020)
ISSN: 1544-9173
DOI: 10.1371/journal.pbio.3000655
BibTeX: Download , , , , , , , , , , , , , , , , , , :
BMCLeech: Introducing Stealthy Memory Forensics to BMC
In: Forensic Science International: Digital Investigation 32 (2020)
ISSN: 2666-2817
DOI: 10.1016/j.fsidi.2020.300919
BibTeX: Download , , :
Design and implementation of an escape analysis in the context of safety-critical embedded systems
In: ACM Transactions on Embedded Computing Systems 19 (2020), Art.Nr.: 6
ISSN: 1539-9087
DOI: 10.1145/3372133
BibTeX: Download , :
Earl: Energy-Aware Reconfigurable Locks
In: ACM SIGBED Review 17 (2020), S. 24-29
ISSN: 1551-3688
DOI: 10.1145/3412821.3412825
URL: https://www4.cs.fau.de/Publications/2019/reif_19_ewili.pdf
BibTeX: Download , , , , , :
DySHARQ: Dynamic Software-Defined Hardware-Managed Queues for Tile-Based Architectures
In: International Journal of Parallel Programming (2020)
ISSN: 0885-7458
DOI: 10.1007/s10766-020-00687-7
BibTeX: Download , , , , , , , , :
Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries
In: Transactions on Embedded Computing Systems 18 (2019), S. 102:1-102:23
ISSN: 1558-3465
DOI: 10.1145/3358222
URL: https://dl.acm.org/citation.cfm?id=3358222
BibTeX: Download , , , , :
Combining Automated Measurement-Based Cost Modeling With Static Worst-Case Execution-Time and Energy-Consumption Analyses
In: IEEE Embedded Systems Letters 11 (2019), S. 38-41
ISSN: 1943-0663
DOI: 10.1109/LES.2018.2868823
URL: https://www4.cs.fau.de/Publications/2019/sieh_19_esl.pdf
BibTeX: Download , , , , , , :
ΔeltA: Differential energy-efficiency, latency, and timing analysis for real-time networks
In: ACM SIGBED Review 16 (2019), S. 33-38
ISSN: 1551-3688
DOI: 10.1145/3314206.3314211
BibTeX: Download , , , , :
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
BibTeX: Download , , , :
BATS: Adaptive Ultra Low Power Sensor Network for Animal Tracking
In: Sensors (2018)
ISSN: 1424-8220
DOI: 10.3390/s18103343
BibTeX: Download , , , , , , , , , , , , , , , , , :
Scalable Byzantine Fault-tolerant State-Machine Replication on Heterogeneous Servers
In: Computing (2018), S. 1-22
ISSN: 0010-485X
DOI: 10.1007/s00607-018-0652-3
URL: https://www4.cs.fau.de/Publications/2018/eischer_18_computing.pdf
BibTeX: Download , :
Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness
In: ACM Transactions on Embedded Computing Systems 16 (2017), S. 180:1-180:19
ISSN: 1539-9087
DOI: 10.1145/3126503
URL: http://doi.acm.org/10.1145/3126503
BibTeX: Download , , , , :
Characterizing loss of digital evidence due to abstraction layers
In: Forensic Science International: Digital Investigation 20 (2017), S. 107-115
ISSN: 2666-2817
DOI: 10.1016/j.diin.2017.01.012
BibTeX: Download , , :
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis
In: ACM Transactions on Embedded Computing Systems 16 (2017), S. 35:1--35:25
ISSN: 1539-9087
DOI: 10.1145/2950053
URL: http://doi.acm.org/10.1145/2950053
BibTeX: Download , , :
Operating Energy-Neutral Real-Time Systems
In: ACM Transactions on Embedded Computing Systems 17 (2017), S. 11:1-11:25
ISSN: 1539-9087
DOI: 10.1145/3078631
URL: https://www4.cs.fau.de/Publications/2017/waegemann_17_tecs.pdf
BibTeX: Download , , , , , :
The Perfect Getaway: Using Escape Analysis in Embedded Real-Time Systems
In: ACM Transactions on Embedded Computing Systems 16 (2017), S. 99
ISSN: 1539-9087
URL: https://www4.cs.fau.de/~isa/a99-stilkerich.pdf
BibTeX: Download , , , , :
From Radio Telemetry to Ultra-Low Power Sensor Networks - Tracking Bats in the Wild
In: IEEE Communications Magazine 54 (2016), S. 129-135
ISSN: 0163-6804
DOI: 10.1109/MCOM.2016.7378438
URL: http://www.ccs-labs.org/bib/dressler2016bats/dressler2016bats.pdf
BibTeX: Download , , , , , , , , :
Monitoring Bats in the Wild: On Using Erasure Codes for Energy-Efficient Wireless Sensor Networks
In: ACM Transactions on Sensor Networks 12 (2016), S. 1-29
ISSN: 1550-4859
DOI: 10.1145/2875426
BibTeX: Download , , , , , , , , :
Providing security on demand using invasive computing
In: it - Information Technology 58 (2016), S. 281-295
ISSN: 1611-2776
DOI: 10.1515/itit-2016-0032
BibTeX: Download , , , , , , , , , :
Resource-awareness on heterogeneous MPSoCs for image processing
In: Journal of Systems Architecture 61 (2015), S. 668-680
ISSN: 1383-7621
DOI: 10.1016/j.sysarc.2015.09.002
BibTeX: Download , , , , , , , , , , , , , , , :
The dataref versuchung: Saving Time through Better Internal Repeatability
In: Operating Systems Review (2015), S. 51-60
ISSN: 0163-5980
DOI: 10.1145/2723872.2723880
URL: https://www4.cs.fau.de/Publications/2015/dietrich_15_acmosr.pdf
BibTeX: Download , :
Beiträge in Sammelwerken
On energy awareness in NVRAM-based operating systems – NEON and PAVE
In: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik (Hrsg.): Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES), 2023, S. 43-44 (Dagstuhl Reports, Bd.Dagstuhl Seminar 22341)
DOI: 10.4230/DagRep.12.8.31
BibTeX: Download , :
Invasive Run-Time Support System (iRTSS)
In: Jürgen Teich, Jörg Henkel, Andreas Herkersdorf (Hrsg.): Invasive Computing, Erlangen: FAU University Press, 2022, S. 291-315
ISBN: 978-3-96147-571-1
DOI: 10.25593/978-3-96147-571-1
URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/20033
BibTeX: Download , , , , , , , , , , , :
Run-Time Enforcement of Non-functional Program Properties on MPSoCs
In: Jian-Jia Chen (Hrsg.): A Journey of Embedded and Cyber-Physical Systems, Springer, 2020
ISBN: 978-3-030-47487-4
DOI: 10.1007/978-3-030-47487-4
BibTeX: Download , , , , , :
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
BibTeX: Download , :
Experiences with software-based soft-error mitigation using AN codes
In: Software Quality Journal, Springer Verlag (Germany), 2016, S. 87-113
DOI: 10.1007/s11219-014-9260-4
BibTeX: Download , , , , , :
Experiences with Software-based Soft-Error Mitigation using AN-Codes
In: Software Quality Journal, New York: Springer Science+Business Media, 2016, S. 87-113 (Software Quality Journal, Bd.24)
DOI: 10.1007/s11219-014-9260-4
BibTeX: Download , , , , , :
Resource-efficient Byzantine Fault Tolerance
In: IEEE Transactions on Computers, Washington, DC, USA: IEEE Computer Society, 2016, S. 2807-2819 (IEEE Transactions on Computers, Bd.65(9))
DOI: 10.1109/TC.2015.2495213
URL: https://www4.cs.fau.de/Publications/2015/distler_15_ieeetc.pdf
BibTeX: Download , , :
A Case Study on Model-Driven Development and Aspect-Oriented Programming: Benefits and Liabilities
In: Software Technologies, Cham, Switzerland: Springer Verlag, 2015, S. 269-290 (Communications in Computer and Information Science, Bd.555)
ISBN: 978-3-319-25578-1
DOI: 10.1007/978-3-319-25579-8_16
BibTeX: Download , :
From Sensibility to Responsibility: The Impact of System Software on Ecological and Economical Sustainability of Computing Systems
In: INFORMATIK 2015, Bonn: Bonner Köllen Verlag, 2015, S. 1-12, to appear (Lecture Notes in Informatics, Series of the Gesellschaft für Informatik)
BibTeX: Download :
Herausgegebene Bände
Proceedings of the 29th International Conference on Architecture of Computing Systems (ARCS)
Berlin; Heidelberg: 2016
(Lecture Notes in Computer Science (LNCS), Bd. 9637)
ISBN: 978-3-319-30694-0
DOI: 10.1007/978-3-319-30695-7
BibTeX: Download , , , , , (Hrsg.):
Beiträge bei Tagungen
VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
RAID'24: The 27th International Symposium on Research in Attacks, Intrusions and Defenses (Padua, 30. September 2024 - 2. Oktober 2024)
In: Proceedings of the 27th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2024
DOI: 10.1145/3678890.3678907
URL: https://arxiv.org/pdf/2405.00078
BibTeX: Download , , , , , :
The Platin Multi-Target Worst-Case Analysis Tool
22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024) (Lille, France, 9. Juli 2024 - 9. Juli 2024)
In: Proceedings of the 22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024) 2024
DOI: 10.4230/OASIcs.WCET.2024.2
URL: https://drops.dagstuhl.de/storage/01oasics/oasics-vol121-wcet2024/OASIcs.WCET.2024.2/OASIcs.WCET.2024.2.pdf
BibTeX: Download , , , , , , , , , , , , :
WIP: Towards a Transactional Network Stack for Power-Failure Resilience
In: Proceedings of the 21st IEEE Consumer Communications & Networking Conference (CCNC) - Work-In-Progress 2024
DOI: CCNC51664.2024.10454781
URL: https://ieeexplore.ieee.org/document/10454781
BibTeX: Download , , , , :
Back to the Core-Memory Age: Running Operating Systems in NVRAM only
Architecture of Computing Systems. ARCS 2023 (Athen, 13. Juni 2023 - 15. Juni 2023)
In: Georgios Goumas, Sven Tomforde, Jürgen Brehm, Stefan Wildermann, Thilo Pionteck (Hrsg.): Lecture Notes in Computer Science 2023
DOI: 10.1007/978-3-031-42785-5_11
BibTeX: Download , , , , , , :
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems
35th Euromicro Conference on Real-Time Systems (ECRTS 2023) (Vienna, 11. Juli 2023 - 14. Juli 2023)
In: Papadopoulos, Alessandro V. (Hrsg.): 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Dagstuhl, Germany: 2023
DOI: 10.4230/LIPIcs.ECRTS.2023.11
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18040/
BibTeX: Download , , :
Luci: Loader-based Dynamic Software Updates for Off-the-shelf Shared Objects
2023 USENIX Annual Technical Conference (Boston, MA, 10. Juli 2023 - 12. Juli 2023)
In: 2023 USENIX Annual Technical Conference (USENIX ATC 23) 2023
Open Access: https://www.usenix.org/system/files/atc23-heinloth.pdf
URL: https://www.usenix.org/system/files/atc23-heinloth.pdf
BibTeX: Download , , :
Thread-Level Attack-Surface Reduction
24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2023 (Orlando, FL, USA, 18. Juni 2023)
In: Bernhard Egger, Dongyoon Lee (Hrsg.): Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) 2023
DOI: 10.1145/3589610.3596281
BibTeX: Download , , , , :
Veto: Prohibit Outdated Edge System Software from Booting
9th International Conference on Information Systems Security and Privacy (ICISSP) (Lisbon, 22. Februar 2023 - 24. Februar 2023)
In: In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP) 2023
DOI: 10.5220/0011627700003405
BibTeX: Download , , :
FusionClock: Energy-Optimal Clock-Tree Reconfigurations for Energy-Constrained Real-Time Systems
35th Euromicro Conference on Real-Time Systems (ECRTS '23) (Vienna, Austria)
In: Proceedings of the 35th Euromicro Conference on Real-Time Systems (ECRTS '23) 2023
DOI: 10.4230/LIPIcs.ECRTS.2023.6
BibTeX: Download , , , :
NVall: A Crash-Resistant and Kernel-Compatible Memory Allocator for NVRAM
FG-BS Herbsttreffens 2023 (Bamberg, 28. September 2023 - 29. September 2023)
DOI: 10.18420/fgbs2023h-02
URL: https://dl.gi.de/items/8d0686f6-a88e-4e96-af34-2743d49b99a4
BibTeX: Download , , , :
Towards Just-In-Time Compiling of Operating Systems
12th Workshop on Programming Languages and Operating Systems (PLOS 2023)
DOI: 10.1145/3623759.3624551
BibTeX: Download , , , :
Revisiting Migration Overheads in Real-Time Systems: One Look at Not-So-Uniform Platforms
16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2022) (Modena, Italy, 5. Juli 2022 - 5. Juli 2022)
In: Daniel Lohmann, Renato Mancuso (Hrsg.): Proceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications, Hannover: 2022
URL: https://sra.uni-hannover.de/ospert22/ospert22-proceedings.pdf
BibTeX: Download , , :
Bears: Building Energy-Aware Reconfigurable Systems
12th Brazilian Symposium on Computing Systems Engineering, SBESC 2022 (Fortaleza, 21. November 2022 - 24. November 2022)
In: Brazilian Symposium on Computing System Engineering, SBESC 2022
DOI: 10.1109/SBESC56799.2022.9964629
BibTeX: Download , , , , :
OS-State–Aware Fuzzing for Worst-Case Response Times
Herbsttreffen der Fachgruppe Betriebssysteme 2022 (, 19. September 2022 - 20. September 2022)
Open Access: https://www.betriebssysteme.org/wp-content/uploads/2022/09/FGBS2022-autumn_paper_343.pdf
URL: https://www.betriebssysteme.org/wp-content/uploads/2022/09/FGBS2022-autumn_paper_343.pdf
BibTeX: Download , , , :
LLWM & IR-Mark: Integrating Software Watermarks into an LLVM-based Framework
ACM SIGSAC Conference on Computer and Communications Security (CCS'21), Workshop on Offensive and Defensive Techniques in the Context of Man At The End (MATE) Attacks (Checkmate ’21) (Republic of Korea, 19. November 2021 - 19. November 2021)
In: Checkmate '21: Proceedings of the 2021 Research on offensive and defensive techniques in the Context of Man At The End (MATE) Attacks, New York: 2021
DOI: 10.1145/3465413.3488576
BibTeX: Download , , :
AnyCall: Fast and Flexible System-Call Aggregation
11th Workshop on Programming Languages and Operating Systems, PLOS (Virtual, Online, 25. Oktober 2021)
In: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, PLOS 2021
DOI: 10.1145/3477113.3487267
URL: https://arxiv.org/pdf/2201.13160.pdf
BibTeX: Download , , , , :
AI Waste Prevention: Time and Power Estimation for Edge Tensor Processing Units: Poster
12th ACM International Conference on Future Energy Systems, e-Energy 2021 (Online, 28. Juni 2021 - 2. Juli 2021)
In: e-Energy 2021 - Proceedings of the 2021 12th ACM International Conference on Future Energy Systems 2021
DOI: 10.1145/3447555.3466579
BibTeX: Download , , , , :
Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions
22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2021 (Virtual, Online, CAN, 22. Juni 2021)
In: Jorg Henkel, Xu Liu (Hrsg.): Proceedings of the 22nd SIGPLAN/SIGBED International Conference on Languages,Compilers, and Tools for Embedded Systems (LCTES '21), New York, NY, USA: 2021
DOI: 10.1145/3461648.3463847
URL: https://www4.cs.fau.de/Publications/2021/schuster_21_lctes.pdf
BibTeX: Download , , , :
Automated Selection of Energy-efficient Operating System Configurations
2nd International Workshop on Energy-Efficient Learning at the Edge (Virtual Event, Italy, 28. Juni 2021 - 28. Juni 2021)
In: e-Energy '21: Proceedings of the Twelfth ACM International Conference on Future Energy Systems, New York, NY, USA: 2021
DOI: 10.1145/3447555.3465327
BibTeX: Download , , , , :
Towards Automated System-Level Energy-Efficiency Optimisation using Machine Learning
12th ACM International Conference on Future Energy Systems, e-Energy 2021 (Online, 28. Juni 2021 - 2. Juli 2021)
In: Association for Computing Machinery (Hrsg.): e-Energy 2021 - Proceedings of the 2021 12th ACM International Conference on Future Energy Systems, New York, NY, USA: 2021
DOI: 10.1145/3447555.3466566
BibTeX: Download , , , , :
The Price of Meltdown and Spectre: Energy Overhead of Mitigations at Operating System Level
14th European Workshop on Systems, EuroSec 2021 (Online, 26. April 2021)
In: EuroSec 2021 - Proceedings of the 14th European Workshop on Systems 2021
DOI: 10.1145/3447852.3458721
BibTeX: Download , , , , :
Egalitarian Byzantine Fault Tolerance
2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC) (Perth, 1. Dezember 2021 - 3. Dezember 2021)
DOI: 10.1109/PRDC53464.2021.00019
URL: https://www4.cs.fau.de/Publications/2021/eischer_21_prdc.pdf
BibTeX: Download , :
Constrained Data-Age with Job-Level Dependencies: How to Reconcile Tight Bounds and Overheads
In: Proceedings of the 27th Real-Time and Embedded Technology and Applications Symposium (RTAS '21), Washington, DC, USA: 2021
DOI: 10.1109/rtas52030.2021.00014
BibTeX: Download , , , :
Migration-Based Synchronization
11th Brazilian Symposium on Computing Systems Engineering, SBESC (Virtual, Online, 22. November 2021 - 25. November 2021)
In: Proceedings of the 11th Brazilian Symposium on Computing Systems Engineering, SBESC 2021
DOI: 10.1109/SBESC53686.2021.9628358
URL: https://arxiv.org/pdf/2202.09365.pdf
BibTeX: Download , , , , :
Neverlast: An NVM-centric Operating System for Persistent Edge Systems
12th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys)
In: APSYS '21: PROCEEDINGS OF THE 12TH ACM SIGOPS ASIA-PACIFIC WORKSHOP ON SYSTEMS, NEW YORK: 2021
DOI: 10.1145/3476886.3477513
BibTeX: Download , , , , , :
Neverlast: Towards the design and implementation of the NVM-based everlasting operating system
54th Annual Hawaii International Conference on System Sciences, HICSS 2021 (Virtual, 4. Januar 2021 - 8. Januar 2021)
In: Tung X. Bui (Hrsg.): Proceedings of the Annual Hawaii International Conference on System Sciences 2021
URL: http://hdl.handle.net/10125/71491
BibTeX: Download , , , , , :
Nowa: A Wait-Free Continuation-Stealing Concurrency Platform
35th IEEE International Parallel & Distributed Processing Symposium (IPDPS) (Portland, Oregon, 17. Mai 2021 - 21. Mai 2021)
In: 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS) 2021
DOI: 10.1109/IPDPS49936.2021.00044
URL: https://www4.cs.fau.de/~flow/papers/schmaus2021nowa.pdf
BibTeX: Download , , , , :
Taming Non-Deterministic Low-Level I/O: Predictable Multi-Core Real-Time Systems by SoC Co-Design
2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC)
DOI: 10.1109/isorc52013.2021.00017
URL: https://www4.cs.fau.de/Publications/2021/vaas_21_isorc.pdf
BibTeX: Download , , , , , :
Resilient Cloud-based Replication with Low Latency
21st International Middleware Conference, Middleware 2020 (, 7. Dezember 2020 - 11. Dezember 2020)
In: Middleware 2020 - Proceedings of the 2020 21st International Middleware Conference 2020
DOI: 10.1145/3423211.3425689
URL: https://www4.cs.fau.de/Publications/2020/eischer_20_middleware.pdf
BibTeX: Download , :
EnergyBudgets: Integrating Physical Energy Measurement Devices into Systems Software
10th Brazilian Symposium on Computing Systems Engineering, SBESC (Virtual, Online, 24. November 2020 - 27. November 2020)
In: Proceedings of the 10th Brazilian Symposium on Computing Systems Engineering, SBESC 2020
DOI: 10.1109/SBESC51047.2020.9277849
URL: https://www4.cs.fau.de/Publications/2020/gerhorst_20_sbesc.pdf
BibTeX: Download , , , :
Pinpoint the Joules: Unifying Runtime-Support for Energy Measurements on Heterogeneous Systems
10th IEEE/ACM International Workshop on Runtime and Operating Systems for Supercomputers, ROSS 2020 (, 13. November 2020)
In: Proceedings of ROSS 2020: 10th International Workshop on Runtime and Operating Systems for Supercomputers, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis 2020
DOI: 10.1109/ROSS51935.2020.00009
BibTeX: Download , , , , , , , :
Threshold Password-Hardened Encryption Services
ACM CCS (Virtual Event, USA)
In: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, New York, NY, USA: 2020
DOI: 10.1145/3372297.3417266
BibTeX: Download , , , , , :
HyperLeech: Stealthy System Virtualization with Minimal Target Impact through DMA-Based Hypervisor Injection
23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020) (San Sebastian, 14. Oktober 2020 - 16. Oktober 2020)
In: USENIX (Hrsg.): Proceedings of the 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020) 2020
Open Access: https://www.usenix.org/system/files/raid20-palutke.pdf
URL: https://www.usenix.org/system/files/raid20-palutke.pdf
BibTeX: Download , , , :
A Model-to-Circuit Compiler for Evaluation of DNN Accelerators based on Systolic Arrays and Multibit Emerging Memories
9th International Conference on Modern Circuits and Systems Technologies, MOCAST 2020 (Bremen, 7. September 2020 - 9. September 2020)
In: 9th International Conference on Modern Circuits and Systems Technologies, {MOCAST} 2020, Bremen, Germany, September 7-9, 2020 2020
DOI: 10.1109/MOCAST49295.2020.9200241
BibTeX: Download , , , , , :
Nearly symmetric multi-core processors
11th ACM SIGOPS Asia-Pacific Workshop on Systems, APSys 2020 (Tsukuba, 24. August 2020 - 25. August 2020)
In: APSys 2020 - Proceedings of the 2020 ACM SIGOPS Asia-Pacific Workshop on Systems 2020
DOI: 10.1145/3409963.3410486
BibTeX: Download , , , , :
X-Leep: Leveraging Cross-Layer Pacing for Energy-Efficient Edge Systems
11th ACM International Conference on Future Energy Systems, e-Energy 2020 (Virtual, 22. Juni 2020 - 26. Juni 2020)
In: e-Energy 2020 - Proceedings of the 11th ACM International Conference on Future Energy Systems 2020
DOI: 10.1145/3396851.3402924
BibTeX: Download , , , , , , , :
Precisely timed task execution
23rd IEEE International Symposium on Real-Time Distributed Computing, ISORC 2020 (Nashville, TN, 19. Mai 2020 - 21. Mai 2020)
In: Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020 2020
DOI: 10.1109/ISORC49007.2020.00012
BibTeX: Download , :
What does Power Consumption Behavior of HPC Jobs Reveal?: Demystifying, Quantifying, and Predicting Power Consumption Characteristics
34th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2020 (New Orleans, LA, 18. Mai 2020 - 22. Mai 2020)
In: Proceedings - 2020 IEEE 34th International Parallel and Distributed Processing Symposium, IPDPS 2020 2020
DOI: 10.1109/IPDPS47924.2020.00087
BibTeX: Download , , , , , :
Low-Latency Geo-Replicated State Machines with Guaranteed Writes
7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020 (Heraklion, 27. April 2020 - 27. April 2020)
In: Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020 2020
DOI: 10.1145/3380787.3393686
URL: https://www4.cs.fau.de/Publications/2020/eischer_20_papoc.pdf
BibTeX: Download , , :
Work In Progress: Control-Flow Migration for Data-Locality Optimisation in Multi-Core Real-Time Systems
2020 IEEE Real-Time Systems Symposium (RTSS) (Houston, TX, 1. Dezember 2020 - 4. Dezember 2020)
In: IEEE (Hrsg.): 2020 IEEE Real-Time Systems Symposium (RTSS) 2020
DOI: 10.1109/RTSS49844.2020.00041
BibTeX: Download , , , :
Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing
IFAC World Congress
In: IFAC-PapersOnLine 2020
DOI: 10.1016/j.ifacol.2020.12.1019
BibTeX: Download , , :
System Software for Resource Arbitration on Future Many-* Architectures
2nd Workshop on Resource Arbitration for Dynamic Runtimes (RADR)
In: 2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) 2020
DOI: 10.1109/IPDPSW50202.2020.00160
BibTeX: Download , , , , , , , :
Towards Taming the Computing Continuum: System Software for Future Many-Core Architectures
HiPEAC 2020 (Bologna, 20. Januar 2020 - 22. Januar 2020)
BibTeX: Download , , , , , , :
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
DOI: 10.1145/3365137.3365398
BibTeX: Download , , , , , :
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
DOI: 10.1007/978-3-030-29959-0_21
BibTeX: Download , :
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
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
BibTeX: Download , , , :
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
DOI: 10.1145/3322789.3328744
URL: https://www4.cs.fau.de/Publications/2019/maier_19_ross.pdf
BibTeX: Download , , , :
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
URL: http://2019.rtas.org/wp-content/uploads/2019/04/RTAS19_BP_proceedings.pdf
BibTeX: Download , :
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
DOI: 10.1145/3312480.3313170
URL: https://www4.cs.fau.de/Publications/2019/eichler_19_cpsiotbench.pdf
BibTeX: Download , , :
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
BibTeX: Download , , , , , :
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
BibTeX: Download , , , :
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
BibTeX: Download , , , :
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
DOI: 10.1145/3301418.3313943
BibTeX: Download , , , , , , , , , , , :
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
DOI: 10.1145/3301417.3312500
URL: https://www4.cs.fau.de/Publications/2019/wuerstlein_19_eurosec.pdf
BibTeX: Download , :
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
BibTeX: Download , , , , , , :
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
DOI: 10.1145/3307772.3330176
BibTeX: Download , , , , , :
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
DOI: 10.18420/inf2019_22
BibTeX: Download , , , , , :
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
BibTeX: Download , , , :
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
DOI: 10.1109/SRDS47363.2019.00026
URL: https://www4.cs.fau.de/Publications/2019/eischer_19_srds.pdf
BibTeX: Download , , :
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
BibTeX: Download , , :
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
BibTeX: Download , , , :
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
DOI: 10.1007/978-3-030-27562-4_15
BibTeX: Download , , , , , :
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
DOI: 10.1109/RTSS46320.2019.00056
BibTeX: Download , , :
Towards System-Wide Timing Analysis of Real-Time-Capable Operating Systems
30th Euromicro Conference on Real-Time Systems (ECRTS '18) (Barcelona, 3. Juli 2018 - 6. Juli 2018)
In: Martina Maggio (Hrsg.): Work-In-Progress Proceedings of 30th Euromicro Conference on Real-Time Systems (ECRTS-WiP '18) 2018
URL: https://www.ecrts.org/fileadmin/files_ecrts18/ECRTS2018-WiP-proceedings.pdf
BibTeX: Download , , , :
Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems
30th Euromicro Conference on Real-Time Systems (ECRTS '18) (Barcelona, 3. Juli 2018 - 6. Juli 2018)
In: Proceedings of the 30th Euromicro Conference on Real-Time Systems (ECRTS '18), Dagstuhl, Germany: 2018
DOI: 10.4230/LIPIcs.ECRTS.2018.24
BibTeX: Download , , , , :
A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing
HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Porto, Portugal, 11. April 2018 - 13. April 2018)
In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (HSCC '18), New York, NY, USA: 2018
DOI: 10.1145/3178126.3178134
URL: https://dl.acm.org/authorize?N667444
BibTeX: Download , , , :
Data Propagation Delay Constraints in Multi-Rate Systems - Deadlines vs. Job-Level Dependencies
26th International Conference on Real-Time Networks and Systems (RTNS '18) (Poitiers, 10. Oktober 2018 - 12. Oktober 2018)
In: Jan M, Behnam M (Hrsg.): Proceedings of the 26th International Conference on Real-Time Networks and Systems, New York, NY: 2018
URL: https://www4.cs.fau.de/Publications/2018/klaus_18_rtns.pdf
BibTeX: Download , , , :
Empya: Saving Energy in the Face of Varying Workloads
6th International Conference on Cloud Engineering (IC2E '18) (Orlando, USA)
In: Proceedings of the 6th International Conference on Cloud Engineering (IC2E '18) 2018
DOI: 10.1109/ic2e.2018.00036
URL: https://www4.cs.fau.de/Publications/2018/eibel_18_ic2e.pdf
BibTeX: Download , , , :
Latency-Aware Leader Selection for Geo-Replicated Byzantine Fault-Tolerant Systems
1st Workshop on Byzantine Consensus and Resilient Blockchains (BCRB '18) (Luxembourg City, 25. Juni 2018 - 28. Juni 2018)
In: Proceedings of the 48th International Conference on Dependable Systems and Networks Workshops (DSN-W '18) 2018
DOI: 10.1109/DSN-W.2018.00053
URL: https://www4.cs.fau.de/Publications/2018/eischer_18_bcrb.pdf
BibTeX: Download , :
Strome: Energy-Aware Data-Stream Processing
Distributed Applications and Interoperable Systems (Madrid, 18. Juni 2018 - 21. Juni 2018)
In: Proceedings of the 18th International Conference on Distributed Applications and Interoperable Systems (DAIS '18) 2018
DOI: 10.1007/978-3-319-93767-0_4
BibTeX: Download , , , :
TASKers: A Whole-System Generator for Benchmarking Real-Time-System Analyses
Workshop on Worst-Case Execution Time Analysis (Barcelona, 3. Juli 2018 - 3. Juli 2018)
In: 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018), Dagstuhl, Germany: 2018
BibTeX: Download , , , , :
The Best of Both: High-performance and Deterministic Real-Time Executive by Application-Specific Multi-Core SoCs
Conference on Design and Architectures for Signal and Image Processing (DASIP '17) (Dresden, 27. September 2017 - 29. September 2017)
In: Proceedings of the Conference on Design and Architectures for Signal and Image Processing (DASIP '17), Los Alamitos, CA: 2017
DOI: 10.1109/DASIP.2017.8122107
BibTeX: Download , , , :
Agora: A Dependable High-Performance Coordination Service for Multi-Cores
47th International Conference on Dependable Systems and Networks (DSN '17) (Denver, USA)
In: Proceedings of the 47th International Conference on Dependable Systems and Networks (DSN '17) 2017
BibTeX: Download , , :
An End-To-End Toolchain: From Automated Cost Modeling to Static WCET and WCEC Analysis
20th International Symposium on Real-Time Distributed Computing (ISORC 2017) (Toronto, Canada, 16. Mai 2017 - 18. Mai 2017)
In: Proceedings of the 20th International Symposium on Real-Time Distributed Computing (ISORC 2017) 2017
DOI: 10.1109/ISORC.2017.10
URL: https://www4.cs.fau.de/Publications/2017/sieh_17_isorc.pdf
BibTeX: Download , , , , , , :
Benchmark Generation for Timing Analysis
23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17) (Pittsburgh, USA, 18. April 2017 - 20. April 2017)
In: Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17) 2017
DOI: 10.1109/RTAS.2017.6
URL: https://www4.cs.fau.de/Publications/2017/waegemann_17_rtas.pdf
BibTeX: Download , , , :
cHash: Detection of Redundant Compilations via AST Hashing
2017 USENIX Annual Technical Conference (ATC '17) (Santa Clara, CA, 12. Juli 2017 - 14. Juli 2017)
In: USENIX Association (Hrsg.): Proceedings of the 2017 USENIX Annual Technical Conference (ATC '17) 2017
URL: https://www4.cs.fau.de/Publications/2017/dietrich_17_atc.pdf
BibTeX: Download , , , , :
Demo Abstract: Tooling Support for Benchmarking Timing Analysis
23rd Real-Time and Embedded Technology and Applications Symposium, Demo Session (RTAS Demo '17) (Pittsburgh, USA, 18. April 2017 - 20. April 2017)
In: Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium, Demo Session (RTAS Demo '17) 2017
DOI: 10.1109/RTAS.2017.20
URL: https://www4.cs.fau.de/Publications/2017/eichler_17_rtas-demo.pdf
BibTeX: Download , , , :
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems
30th Internation Conference on Architecture of Computing Systems (Karlsruhe, Germany, 3. April 2017 - 6. April 2017)
In: Schulz, Martin; Koji, Inoue (Hrsg.): Architecture of Computing Systems – ARCS 2015, Berlin: 2017
DOI: 10.1007/978-3-319-54999-6_1
URL: https://www4.cs.fau.de/Publications/2017/santini_17_arcs.pdf
BibTeX: Download , , , , , , , , :
Hybrids on Steroids: SGX-based High Performance BFT
EuroSys 2017 (Belgrade)
In: Proceedings of the 12th European Conference on Computer Systems (EuroSys '17) 2017
URL: https://www4.cs.fau.de/Publications/2017/behl_17_eurosys.pdf
BibTeX: Download , , :
In the Heat of Conflict: On the Synchronisation of Critical Sections
20th International Symposium on Real-Time Distributed Computing (ISORC 2017) (Toronto, Canada, 16. Mai 2017 - 18. Mai 2017)
In: Proceedings of the 20th International Symposium on Real-Time Distributed Computing (ISORC 2017) 2017
DOI: 10.1109/ISORC.2017.18
URL: https://www4.cs.fau.de/Publications/2017/reif_17_isorc.pdf
BibTeX: Download , , :
Scalable Byzantine Fault Tolerance on Heterogeneous Servers
EDCC 2017 (Geneva, 4. September 2017 - 8. September 2017)
In: Proceedings of the 13th European Dependable Computing Conference (EDCC '17) 2017
DOI: 10.1109/EDCC.2017.15
URL: https://www4.cs.fau.de/Publications/2017/eischer_17_edcc.pdf
BibTeX: Download , :
Shallow Water Waves on a Deep Technology Stack: Accelerating a Finite Volume Tsunami Model using Reconfigurable Hardware in Invasive Computing
Euro-Par 2017 (Santiago de Compostela, Spain)
In: Euro-Par 2017: Parallel Processing Workshops 2017
DOI: 10.1007/978-3-319-75178-8_54
BibTeX: Download , , , , , , , , , :
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (Outstanding Paper)
Real-Time and Embedded Technology and Applications Symposium (Pittsburgh, PA, USA, 17. April 2017 - 21. April 2017)
In: Davis, Rob; Parmer, Gabriel (Hrsg.): Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17), Los Alamitos, CA: 2017
DOI: 10.1109/RTAS.2017.37
URL: https://www4.cs.fau.de/Publications/2017/dietrich_17_rtas.pdf
BibTeX: Download , , , :
X-Lap: A Systems Approach for Cross-Layer Profiling and Latency Analysis for Cyber-Physical Networks
The 15th International Workshop on Real-Time Networks (RTN '17) (Dubrovnic, Croatia, 27. Juni 2017)
In: Proceedings of the 15th International Workshop on Real-Time Networks (RTN '17) 2017
URL: https://www4.cs.fau.de/Publications/2017/reif_17_rtn.pdf
BibTeX: Download , , , , :
Towards Scalable Configuration Testing in Variable Software
15th International Conference on Generative Programming: Concepts & Experience (Amsterdam, 31. Oktober 2016 - 1. November 2016)
In: Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences 2016
DOI: 10.1145/2993236.2993252
URL: https://www4.cs.fau.de/Publications/2016/rothberg_16_gpce.pdf
BibTeX: Download , , , :
Analyzing the Impact of Feature Changes in Linux
10th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '16) (Salvador, Brazil, 27. Januar 2016 - 29. Januar 2016)
In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, New York, NY, USA: 2016
DOI: 10.1145/2866614.2866618
URL: https://www4.cs.fau.de/Publications/2016/ziegler_16_vamos.pdf
BibTeX: Download , , :
A Kernel for Energy-Neutral Real-Time Systems with Mixed Criticalities
22nd Real-Time Embedded Technology & Applications Symposium (Vienna, Austria)
In: Proceedings of the 22nd Real-Time Embedded Technology & Applications Symposium (RTAS '16) 2016
Open Access: https://www4.cs.fau.de/Publications/2016/waegemann_16_rtas.pdf
URL: https://www4.cs.fau.de/Publications/2016/waegemann_16_rtas.pdf
BibTeX: Download , , , , :
A Memory Management Library for CT-Reconstruction on GPUs
Workshop Bildverarbeitung für die Medizin (Berlin)
In: Bildverarbeitung für die Medizin, Berlin Heidelberg: 2016
BibTeX: Download , , , :
Architecture-Violation Management for Internal Software Ecosystems
13th Working IEEE/IFIP Conference on Software Architecture (WICSA 2016) (Venice, Italy)
In: Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture (WICSA 2016), to appear: 2016
BibTeX: Download , , :
Ball impact localization on table tennis rackets using piezo-electric sensors
The 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing (Heidelberg, Deutschland, 12. September 2016 - 16. September 2016)
In: Proceedings of the 2016 ACM International Symposium on Wearable Computers 2016
DOI: 10.1145/2971763.2971778
BibTeX: Download , , :
Closing the loop: Towards control-aware design of adaptive real-time systems
2016 IEEE Real-Time Systems Symposium, RTSS 2016
DOI: 10.1109/RTSS.2016.042
BibTeX: Download , , , , :
Energy Claims at Scale: Decreasing the Energy Demand of HPC Workloads at OS Level
12th IEEE Workshop on High-Performance Power-Aware Computing (Chicago)
In: Proceedings of the 12th IEEE Workshop on High-Performance Power-Aware Computing (HPPAC) 2016
BibTeX: Download , , :
Exzess: Hardware-based RAM encryption against physical memory disclosure
29th International Conference on Architecture of Computing Systems, ARCS 2016
DOI: 10.1007/978-3-319-30695-7_5
URL: https://www4.cs.fau.de/~arw/exzess
BibTeX: Download , , , :
Feature Models in Linux - From Symbols to Semantic
10th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '16) (Salvador, Brazil)
In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, New York, NY, USA: 2016
DOI: 10.1145/2866614.2866624
URL: https://www4.cs.fau.de/Publications/2016/rothberg_16_vamos.pdf
BibTeX: Download , , , :
From Intent to Effect: Tool-based Generation of Time-Triggered Real-Time Systems on Multi-Core Processors
19th IEEE Symposium on Real-Time Computing (York, UK, 17. Mai 2016 - 20. Mai 2016)
In: Proceedings of the 19th IEEE Symposium on Real-Time Computing (ISORC 2016) 2016
DOI: 10.1109/ISORC.2016.27
BibTeX: Download , , , , , , :
Language and Compilation of Parallel Programs for *-Predictable MPSoC Execution using Invasive Computing
10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-16) (Lyon, 21. September 2016 - 23. September 2016)
In: Proceedings of the 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-16) 2016
DOI: 10.1109/MCSoC.2016.30
BibTeX: Download , , , , , , :
miPod 2: a new hardware platform for embedded real-time processing in sports and fitness applications
The 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing (Heidelberg, Deutschland, 12. September 2016 - 16. September 2016)
In: Proceedings of the 2016 ACM International Symposium on Wearable Computers 2016
DOI: 10.1145/2968219.2968571
BibTeX: Download , , , :
Poster Abstract: "Closing the Loop: Towards Control-aware Design of Adaptive Real-Time Systems"
37th Real-Time Systems Symposium (Porto, Portugal)
In: IEEE (Hrsg.): Proceedings of the 37th Real-Time Systems Symposium (RTSS '16), Los Alamitos, CA: 2016
DOI: 10.1109/RTSS.2016.042
URL: https://www4.cs.fau.de/Publications/2016/klaus_16_rtss.pdf
BibTeX: Download , , , , :
Poster Abstract: Towards Code Metrics for Benchmarking Timing Analysis
37th Real-Time Systems Symposium (Porto, Portugal)
In: Proceedings of the 37th Real-Time Systems Symposium (RTSS '16) 2016
URL: https://www4.cs.fau.de/Publications/2016/waegemann_16_rtss.pdf
BibTeX: Download , , , :
RamCrypt: Kernel-based Address Space Encryption for User-mode Processes
ASIACCS'16 (Xi'an, China)
In: 11th ACM Asia Conference on Computer and Communications Security, New York: 2016
DOI: 10.1145/2897845.2897924
URL: https://www1.cs.fau.de/ramcrypt
BibTeX: Download , , , , :
Towards Code Metrics for Benchmarking Timing Analysis
Real-Time Systems Symposium Work-in-Progress Session (Porto, Portugal)
In: Proceedings of the 37th Real-Time Systems Symposium Work-in-Progress Session (RTSS WiP '16) 2016
Open Access: https://www4.cs.fau.de/Publications/2016/waegemann_16_rtss-wip.pdf
URL: https://www4.cs.fau.de/Publications/2016/waegemann_16_rtss-wip.pdf
BibTeX: Download , , , :
A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems
The 16th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2015) (Portland, Oregon, USA)
In: Proceedings of the 16th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems 2015
BibTeX: Download , , , :
Back to the Roots: Implementing the RTOS as a Specialized State Machine
OSPERT '15 (Lund, Sweden)
In: 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications 2015
URL: https://www4.cs.fau.de/Publications/2015/dietrich_15_ospert.pdf
BibTeX: Download , , :
Consensus-Oriented Parallelization: How to Earn Your First Million
Middleware 2015 (Vancouver)
In: Proceedings of the 16th Middleware Conference (Middleware '15) 2015
DOI: 10.1145/2814576.2814800
URL: https://www4.cs.fau.de/Publications/2015/behl_15_mw.pdf
BibTeX: Download , , :
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems
The 16th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2015) (Portland, Oregon, USA)
In: Proceedings of the 16th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, New York, NY, USA: 2015
BibTeX: Download , , :
Diamond Rings: Acknowledged Event Propagation in Many-Core Processors
ROME 2015 (Wien, 24. August 2015 - 25. August 2015)
In: Proceedings of the 3rd Workshop on Runtime and Operating Systems for the Many-core Era, Berlin-Heidelberg: 2015
DOI: 10.1007/978-3-319-27308-2_58
URL: https://www4.cs.fau.de/Publications/2015/nuernberger_15_rome.pdf
BibTeX: Download , , , , :
GenE: A Benchmark Generator for WCET Analysis
15th International Workshop on Worst-Case Execution Time Analysis (Lund, Sweden)
In: Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis (WCET '15) 2015
Open Access: https://www4.cs.fau.de/Publications/2015/waegemann_15_wcet.pdf
URL: https://www4.cs.fau.de/Publications/2015/waegemann_15_wcet.pdf
BibTeX: Download , , , , :
Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen
Echtzeit 2015 (Boppard am Rhein)
In: Betriebssysteme und Echtzeit, Berlin-Heidelberg: 2015
DOI: 10.1007/978-3-662-48611-5_14
BibTeX: Download , , :
Guarded Sections: Structuring Aid for Wait-Free Synchronisation
18th IEEE Symposium on Real-Time Computing (Auckland, New Zealand)
In: Proceedings of the 18th IEEE Symposium on Real-Time Computing (ISORC 2015) 2015
URL: https://www4.cs.fau.de/Publications/2015/drescher_15_isorc.pdf
BibTeX: Download , :
Playing Hare and Tortoise: The FigarOS Kernel for Fine-Grained System-Level Energy Optimizations
Brazilian Symposium on Computing Systems Engineering (Fóz do Iguaçú, Brazil, 3. November 2015 - 6. November 2015)
In: IEEE (Hrsg.): Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering (SBESC '15) 2015
DOI: 10.1109/SBESC.2015.22
BibTeX: Download , , , , , :
React in Time: Ereignisbasierter Entwurf zeitgesteuerter verteilter Systeme
Echtzeit 2015 (Boppard)
In: Betriebsysteme und Echtzeit, Berlin, Heidelberg: 2015
DOI: 10.1007/978-3-662-48611-5_10
BibTeX: Download , , , , :
The FigarOS Operating System Kernel for Fine-Grained System-Level Energy Analysis
DAC Workshop on System-to-Silicon Performance Modeling and Analysis Power, Temperature and Reliability (San Francisco, CA, USA)
In: Proceedings of the 2015 DAC Workshop on System-to-Silicon Performance Modeling and Analysis Power, Temperature and Reliability 2015
BibTeX: Download , , :
Towards Energy-Proportional State-Machine Replication
14th Workshop on Adaptive and Reflective Middleware (Vancouver)
In: Proceedings of the 14th Workshop on Adaptive and Reflective Middleware (ARM '15) 2015
DOI: 10.1145/2834965.2834969
URL: https://www4.cs.fau.de/Publications/2015/eibel_15_arm.pdf
BibTeX: Download , :
Wartefreie Synchronisation von Echtzeitprozessen mittels abgeschirmter Abschnitte
Echtzeit 2015 (Boppard am Rhein)
In: Betriebssysteme und Echtzeit, Berlin-Heidelberg: 2015
BibTeX: Download , :
Worst-Case Energy Consumption Analysis for Energy-Constrained Embedded Systems
Euromicro Conference on Real-Time Systems (Lund, Sweden)
In: Proceedings of the 27th Euromicro Conference on Real-Time Systems (ECRTS '15) 2015
DOI: 10.1109/ECRTS.2015.17
URL: https://www4.cs.fau.de/Publications/2015/waegemann_15_ecrts.pdf
BibTeX: Download , , , , , :
Abschlussarbeiten
E-Book Investigation of deployment-specific simulation for the optimization of wireless sensor networks (Dissertation, 2017)
URL: https://www4.cs.fau.de/Publications/2017/struebe_17_diss.pdf
BibTeX: Download :
Proactive Energy-Aware Computing (Dissertation, 2017)
URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/8992
BibTeX: Download :
Konstruktive Zuverlässigkeit: Eine Methodik für zuverlässige Systemsoftware auf unzuverlässiger Hardware (Dissertation, 2016)
URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/7038
BibTeX: Download :
Control-Flow Monitoring for KESO Applications (Masterarbeit, 2015)
BibTeX: Download :
Sonstige
FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact)
In: Dagstuhl Artifacts Series, 2023, S. 2:1--2:3 (Dagstuhl Artifacts Series, Bd.9)
DOI: 10.4230/DARTS.9.1.2
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18023/pdf/DARTS-9-1-2.pdf
BibTeX: Download , , , :
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact)
9 (2023), S. 1:1-1:3
ISSN: 2509-8195
DOI: 10.4230/DARTS.9.1.1
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18022/
BibTeX: Download , , :
On the Performance of NVRAM-based Operating Systems: A Case Study with Linux and FreeBSD
(2023)
ISSN: 2191-5008
DOI: 10.25593/issn.2191-5008/CS-2023-01
BibTeX: Download , , , , , , :
Modern Concurrency Platforms Require Modern System-Call Techniques
In: Technical reports / Department Informatik, 2021, Art.Nr.: CS-2021-02
DOI: 10.25593/issn.2191-5008/CS-2021-02
URL: https://opus4.kobv.de/opus4-fau/files/17655/paper.pdf
BibTeX: Download , , , :
Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing
IFAC World Congress 2020 (Berlin, 12. Juli 2020 - 17. Juli 2020)
Open Access: https://arxiv.org/abs/1911.02537
URL: https://arxiv.org/abs/1911.02537
BibTeX: Download , , :
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
BibTeX: Download , , , :
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
BibTeX: Download , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , :
The Gender Gap in Computer Science --- A Bibliometric Analysis
(2018)
ISSN: 2191-5008
DOI: 10.25593/issn.2191-5008/CS-2018-02
BibTeX: Download , , , , :
Empya: An Energy-Aware Middleware Platform for Dynamic Applications
(2018)
BibTeX: Download , , , :
A Flexible, Adaptive System for Data-Stream Processing in Energy-Constrained Ad-hoc Networks
In: Technische Berichte des Departments Informatik, Erlangen: FAU Erlangen-Nürnberg, 2016, S. 1-10
URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/6893
BibTeX: Download , , , , , , , , :