2025
K. Moron and S. Wallentowitz, “Benchmarking WebAssembly for Embedded Systems,” ACM Transactions on Architecture and Code Optimization, May 2025, doi: 10.1145/3736169
D. Patterson, J. Bennett, M. Bennett, H. Chelin, D. Harris, J. Hellar, W. Jones, K. Moron, P. Savini, R. Shepherd, R. Simar, Z. Susskind, and S. Wallentowitz, “Embench IOT 2.0 and DSP 1.0: Modern Embedded Computing Benchmarks,” Computer, vol. 58, no. 5, pp. 37–47, May 2025, doi: 10.1109/mc.2024.3511352
T. Schaffner, J. Altenberg, and S. Wallentowitz, “Real-Time Linux on RISC-V: Long-Term Performance Analysis of PREEMPT_RT Patches,” in Embedded Computer Systems: Architectures, Modeling, and Simulation, Springer Nature Switzerland, 2025, pp. 47–58. doi: 10.1007/978-3-031-78380-7_4
A. Hager-Clukas, J. Schröter, and S. Wallentowitz, “SIZALIZER: Multilevel Analysis Framework for Object Size Optimization,” in Embedded Computer Systems: Architectures, Modeling, and Simulation, Springer Nature Switzerland, 2025, pp. 108–121. doi: 10.1007/978-3-031-78377-7_8
M. Krahl, M. Güdemann, and S. Wallentowitz, “SafeFloatZone: Identify Safe Domains for Elementary Functions,” in Embedded Computer Systems: Architectures, Modeling, and Simulation, Springer Nature Switzerland, 2025, pp. 122–137. doi: 10.1007/978-3-031-78377-7_9
G. Ernst, D. Haneberg, M. Güdemann, O. Kosak, F. Nafz, H. Ponsar, and G. Schellhorn, “Eine REIFe Leistung - Anecdotes from Behind the Scenes,” in Go Where the Bugs Are, Springer Nature Switzerland, 2025, pp. 20–35. doi: 10.1007/978-3-031-92196-4_2
M. Güdemann, “Overview of Bounded Model Checking for Stack-Based Virtual Machines,” in Go Where the Bugs Are, Springer Nature Switzerland, 2025, pp. 178–194. doi: 10.1007/978-3-031-92196-4_9
2024
M. Rupp, J. Schröter, and S. Wallentowitz, “Accelerating WebAssembly Interpreters in Embedded Systems Through Hardware-Assisted Dispatching,” in Architecture of Computing Systems, Springer Nature Switzerland, 2024, pp. 207–220. doi: 10.1007/978-3-031-66146-4_14
M. Güdemann and M. Krahl, “An Industrial Case Study on Formal Verification of Embedded C-Code Using Open-Source Tools,” in Embedded World Conference, 2024.
2023
K. Moron and S. Wallentowitz, “Support for Just-in-Time Compilation of WebAssembly for Embedded Systems,” in 2023 12th Mediterranean Conference on Embedded Computing (MECO), Jun. 2023, pp. 1–4. doi: 10.1109/meco58584.2023.10155088
S. Wallentowitz, “Kernfragen,” Linux Magazin. 2023.
G. López-Paradís, B. Li, A. Armejach, S. Wallentowitz, M. Moretó, and J. Balkind, “Fast Behavioural RTL Simulation of 10B Transistor SoC Designs with Metro-Mpi,” in 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), Apr. 2023, pp. 1–6. doi: 10.23919/date56975.2023.10137080
F. Würmseer, S. Wallentowitz, and M. Friedrich, “AutoNLP: A System for Automated Market Research Using Natural Language Processing and Flow-based Programming,” in Innovations for Community Services, Springer Nature Switzerland, 2023, pp. 169–186. doi: 10.1007/978-3-031-40852-6_9
S. Wallentowitz and M. Friedrich, “WebAssembly für die Industrie 4.0,” Industrie 4.0 Management, vol. 39, no. 3, pp. 48–51, 2023, doi: 10.30844/IM_23-3_48-51
M. Güdemann and P. Schrammel, “BlueCov: Integrating Test Coverage and Model Checking with JBMC,” in Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, Mar. 2023, pp. 1695–1697. doi: 10.1145/3555776.3577829
M. Güdemann, “Speed-Up Multi-Property Hardware Verification with Run-Time Information of PDR,” in Embedded World Conference, 2023.
2022
S. Wallentowitz, “Current Developments in RISC-V,” in edaForum22, 2022.
S. Wallentowitz, C. Trummer, and P. Gerbert, “Building innovation with RISC-V at TUM Venture Labs,” in 5th Workshop on RISC-V Activities, 2022.
S. Wallentowitz, “RISC-V and Open Source Silicon: Opportunities for Academia and Industry.” 2022.
S. Wallentowitz, “Efficient Processor Verification with cocotb,” in FPGA Conference Europe, 2022.
S. Wallentowitz, “RISC-V and Open Source Silicon - A Perfect Match,” in Embedded World Conference, 2022.
S. Wallentowitz, B. Kersting, and D. M. Dumitriu, “Potential of {WebAssembly} for Embedded Systems,” in 2022 11th Mediterranean Conference on Embedded Computing (MECO), Jun. 2022. doi: 10.1109/meco55406.2022.9797106
M. Güdemann, “SMT-based Verification of Concurrent Critical Systems,” in Sicherheit 2022, 2022.
2021
S. Wallentowitz, “A Framework for Microarchitecture Traces as Abstraction Layer in Computer Architecture Education,” in Workshop on Computer Architecture Education (WCAE) 2021, 2021.
M. Güdemann, “Online Teaching of Verification of C Programs in Applied Computer Science,” in Formal Methods Teaching, Springer International Publishing, 2021, pp. 18–34. doi: 10.1007/978-3-030-91550-6_2