Publications
Recent publications:
- Wägemann P.:
Embedded Systems Under Resource Limits (Habilitation, 2026)
URL: https://sys.cs.fau.de/publications/2026/waegemann_26_habilitation.pdf - Gogada H., Berger C., Jehl L., Reiser HP., Meling H.:
OptiLog: Assigning Roles in Byzantine Consensus
EuroSys 2026 (Edinburgh, 27. April 2026 - 30. April 2026)
In: ACM (ed.): EUROSYS ’26 2026 - Schulze SM., Bergmann P., Röckl J., Freiling F.:
TrustLeech: Privileged System Analysis using Nested Virtualization
2025 IEEE Annual Computer Security Applications Conference (ACSAC) (Honolulu, 8. December 2025 - 12. December 2025)
In: 2025 IEEE Annual Computer Security Applications Conference (ACSAC), New York City: 2025
DOI: 10.1109/ACSAC67867.2025.00048 - Müller K., Mane S., Wägemann P., Franchi N.:
WasmWeaver: A Framework for Runtime-Aware WebAssembly Program Generation with Reinforcement Learning
Proceedings of the 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering, Tool Demo Track (SANER Tool Demo 2026)
Open Access: https://sys.cs.fau.de/publications/2026/mueller_26_saner-tool.pdf
URL: https://sys.cs.fau.de/publications/2026/mueller_26_saner-tool.pdf - Seidler M., Michelis M., Wägemann P., Kapitza R.:
Wasm-WCET: Worst-Case Execution-Time Analysis of WebAssembly Modules on Updatable Resource-Constrained Embedded Devices
2025 IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS) (, 12. May 2026 - 14. May 2026)
In: Proceedings of the 2026 IEEE 32nd Real-Time and Embedded Technology and Applications Symposium (RTAS) 2026 - Wiedemann O., Sieh V.:
Static Analysis of Reference-Counted Objects for the C Programming Language
13th Workshop on Programming Languages and Operating Systems, PLOS 2025 (Seoul, 13. October 2025 - 16. October 2025)
In: PLOS 2025 - Proceedings of the 13th Workshop on Programming Languages and Operating Systems 2025
DOI: 10.1145/3764860.3768328 - Seidler M., Krause A., Ulbrich P.:
Wasm-IO: Enabling Low-Level Device Interaction in WebAssembly for Industry Automation
In: ACM Transactions on Embedded Computing Systems 24 (2025), p. 1-26
ISSN: 1539-9087
DOI: 10.1145/3760387