- , , , , :
Probabilistic Byzantine Fault Tolerance
43rd Symposium on Principles of Distributed Computing (PODC 2024) (Nantes, 17. June 2024 - 21. June 2024)
In: Proceedings of the 43rd Symposium on Principles of Distributed Computing (PODC 2024) 2024 - , :
Memory-Efficient Byzantine Fault-Tolerant Replication for Highly Resource-Constrained Systems
1st Workshop on Resilient Operations – Byzantine Fault Tolerance and State-Machine Replication (ROBUST '24) (Erlangen, 13. March 2024 - 14. March 2024)
Open Access: https://robust2024.github.io/robust24/assets/abstracts/memory-efficient-bft.pdf - , , :
TinyBFT: Byzantine Fault-Tolerant Replication for Highly Resource-Constrained Embedded Systems
30th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2024) (Hong Kong, China, 13. May 2024 - 16. May 2024)
In: Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2024) 2024
DOI: 10.1109/RTAS61025.2024.00026
URL: https://sys.cs.fau.de/publications/2024/boehm_24_rtas.pdf - , :
Crêpe: Clock Reconfigurability for Preemption Control (Artifact)
In: Schloss Dagstuhl - Leibniz-Zentrum für Informatik (ed.): Dagstuhl Artifacts Series, 2024 (Dagstuhl Artifacts Series, Vol.10)
DOI: 10.4230/DARTS.10.1.2
URL: https://drops.dagstuhl.de/storage/05darts/darts-vol010/darts-vol010-issue001_ecrts2024/DARTS.10.1.2/DARTS.10.1.2.pdf
(anderer) - , :
Crêpe: Clock-Reconfiguration–Aware Preemption Control in Real-Time Systems with Devices
36th Euromicro Conference on Real-Time Systems (Lille, France, 9. July 2024 - 12. July 2024)
In: Proceedings of the 36th Euromicro Conference on Real-Time Systems (ECRTS 2024) 2024
DOI: 10.4230/LIPIcs.ECRTS.2024.10
URL: https://drops.dagstuhl.de/storage/00lipics/lipics-vol298-ecrts2024/LIPIcs.ECRTS.2024.10/LIPIcs.ECRTS.2024.10.pdf - :
Geo-Replicated Byzantine Fault-Tolerant State-Machine Replication with Low Latency (Dissertation, 2024)
DOI: 10.25593/open-fau-545 - , :
Spider: A BFT Architecture for Geo-Replicated Cloud Services
(2024)
DOI: 10.48550/arXiv.2407.07899
(online publication) - , , , , , :
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. October 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 - , , , :
Virtual Memory Revisited for Tiered Memory
15th ACM SIGOPS Asia-Pacific Workshop on Systems, APSys 2024 (Kyoto, 4. September 2024 - 5. September 2024)
In: APSys 2024 - Proceedings of the 15th ACM SIGOPS Asia-Pacific Workshop on Systems 2024
DOI: 10.1145/3678015.3680475 - , , , , :
GreenPipe: Energy-Efficient Data-Processing Pipelines for Resource-Constrained Systems
21st International Conference on Embedded Wireless Systems and Networks, EWSN 2024 (Abu Dhabi, 10. December 2024 - 13. December 2024)
In: Carlo Alberto Boano, Prabal Dutta, Michael Baddeley (ed.): International Conference on Embedded Wireless Systems and Networks 2024 - , , , , :
Migration of Isolated Application Across Heterogeneous Edge Systems
IEEE International Conference on Fog and Edge Computing (ICFEC) (, 6. May 2024 - 9. May 2024)
In: 2024 IEEE 8th International Conference on Fog and Edge Computing (ICFEC) 2024
DOI: 10.1109/ICFEC61590.2024.00014 - , , , :
Work-in-Progress: Integrating WebAssembly into Service-Oriented Architectures for Edge Systems
ESWEEK: Embedded Systems Week (Hamburg, Germany, 17. September 2023 - 22. September 2023)
In: Proceedings of the International Conference on Embedded Software, New York, NY, USA: 2024
DOI: 10.1145/3607890.3608456 - , :
Targeting Tail Latency in Replicated Systems with Proactive Rejection
25th Middleware Conference (Middleware '24) (Hong Kong, 2. December 2024 - 6. December 2024)
In: Proceedings of the 25th Middleware Conference (Middleware '24) 2024
DOI: 10.1145/3652892.3700775
URL: https://sys.cs.fau.de/publications/2024/lawniczak_24_middleware.pdf - , :
Tough on the Outside, Reliable on the Inside: Utilizing System Composition for Improved Resilience
1st Workshop on Resilient Operations – Byzantine Fault Tolerance and State-Machine Replication (ROBUST '24) (Erlangen, 13. March 2024 - 14. March 2024)
Open Access: https://robust2024.github.io/robust24/assets/abstracts/Utilizing_System_Composition_for_Improved_Resilience.pdf - , , , , , , , , , , , , :
The Platin Multi-Target Worst-Case Analysis Tool
22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024) (Lille, France, 9. July 2024 - 9. July 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 - , , , :
NimbleNet: Serverless Computing for the Extreme Edge in Factory Environments
10th International Workshop on Serverless Computing (WoSC10 '24) (Hong Kong, 2. December 2024 - 6. December 2024)
In: WoSC10 '24: Proceedings of the 10th International Workshop on Serverless Computing 2024
DOI: 10.1145/3702634.3702953 - , , , :
TinyEP: TinyML-enhanced Energy Profiling for Extreme Edge Devices
In: IEEE Access (2024), p. 1-1
ISSN: 2169-3536
DOI: 10.1109/ACCESS.2024.3520089 - , , :
WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States
25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024) (Copenhagen, Denmark, 24. June 2024 - 28. June 2024)
In: Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024) 2024
URL: https://sys.cs.fau.de/publications/2024/raffeck_24_lctes.pdf - , , :
CO2CoDe: Towards Carbon-Aware Hardware/Software Co-Design for Intermittently-Powered Embedded Systems
HotCarbon Workshop on Sustainable Computer Systems (Santa Cruz, CA, 9. July 2024 - 9. July 2024)
In: Proceedings of the HotCarbon Workshop on Sustainable Computer Systems (HotCarbon '24) 2024
URL: https://sys.cs.fau.de/publications/2024/raffeck_24_hotcarbon.pdf - , , , , :
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: 10.1109/CCNC51664.2024.10454781
- , , , , , :
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. October 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