bookmarks (hide)
- No matching posts.
publications (hide)28
- VerifAI-2: The Second Workshop on AI Verification in the Wild @ ICLR'26, (2026)
- ATZelektronik, (2025)
- (2026)
- 29th Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV), (2026)
- 29th Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV), (2026)
- Proceedings of the 18th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, (2026)
- 2025 IEEE CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON), (2025)
- Design and Verification Conference and Exhibition (DVCON) Europe 2025, (2025)
- Proceedings of the 11th International Symposium on Memory Systems (MEMSYS), 11, (2025)
- Proceedings of the 1st IEEE Cross-disciplinary Conference on Memory-Centric Computing (CCMCC), 1, (2025)
- Proceedings of the 1st IEEE Cross-disciplinary Conference on Memory-Centric Computing (CCMCC), 1, (2025)
- 21st International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES25), Academia Press, Ghent, Belgium, (2025)
- (February 2025)
- Proceedings of the 17th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, page 8-16. Barcelona, Spain, ACM, (2025)
- page 155--177. Springer Nature Switzerland, Cham, (2025)
- Proceedings of the 2025 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), IEEE, (2025)
- International Journal of Parallel Programming, (2025)
- Architecture of Computing Systems, 38, page 63 - 78. Springer Nature Switzerland, (2025)
- Amateurfunk-Tagung München, München, (March 2025)
- Proceedings of the 2nd Workshop on Disruptive Memory Systems, page 17 - 24. (2024)
