| 2023 | A Flexible Graph Language for a Model-Based Semi-Automatic CGRA Compilation Flow. Felix Böseler, Jörg Walter |
| 2023 | Bifröst: Creating Hardware With Building Blocks. Jeremy Pope, Carl-Johan H. Seger |
| 2023 | Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis. Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Große |
| 2023 | Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models. Marcel Christian Werner, Klaus Schneider |
| 2023 | Forum on Specification & Design Languages, FDL 2023, Turin, Italy, September 13-15, 2023 |
| 2023 | Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture Design. Christopher A. Metz, Christina Plump, Bernhard J. Berger, Rolf Drechsler |
| 2023 | Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification. Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler |
| 2023 | Instruction-Level Modeling and Evaluation of a Cache-Less Grid of Processing Cells. Vivek Govindasamy, Rainer Dömer |
| 2023 | Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler |
| 2023 | Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper. Luigi Capogrosso, Alessio Mascolini, Federico Girella, Geri Skenderi, Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Santa Di Cataldo, Sara Vinco, Enrico Macii, Franco Fummi, Marco Cristani |
| 2023 | PLiNIO: A User-Friendly Library of Gradient-Based Methods for Complexity-Aware DNN Optimization. Daniele Jahier Pagliari, Matteo Risso, Beatrice Alessandra Motetti, Alessio Burrello |
| 2023 | Satellite Payload Design for Optimized Thermal Management Using a Distributed Processor System. Markus P. Plattner, Chedi Fassi, Florian Kreiner, Jintin Frank, Philipp Radecker, Markus Zimmermann |
| 2023 | Secure Programming Platform for Edge-Based IoT: Wild-and-Crazy-Idea Paper. Hokeun Kim |
| 2023 | VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper. Alessandro Beghi, Nicola Dall'Ora, Davide Dalle Pezze, Franco Fummi, Chiara Masiero, Stefano Spellini, Gian Antonio Susto, Francesco Tosoni |
| 2023 | Virtual Prototype Driven Application Specific Hardware Optimization. Jan Zielasko, Rolf Drechsler |