| 2024 | Improving PSS Test Generation Using Model Checking and Conformance Testing. | Philippe Ledent, Radu Mateescu, Wendelin Serwe |
| 2024 | An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs. | Lucas Klemmer, Daniel Groe |
| 2024 | Platform Design for Privacy-Preserving Federated Learning using Homomorphic Encryption : Wild-and-Crazy-Idea Paper. | Hokeun Kim, Younghyun Kim, Hoeseok Yang |
| 2024 | Multi-objective preference-free exact design space exploration of static DSP on multicore platforms. | Rodolfo Jordo, Fahimeh Bahrami, Yu Yang, Matthias Becker, Ingo Sander, Kathrin Rosvall |
| 2024 | A Quantitative Type Approach to Formal Component-Based System Design. | Rui Chen, Ingo Sander |
| 2024 | Enhancing Split Computing and Early Exit Applications through Predefined Sparsity. | Luigi Capogrosso, Enrico Fraccaroli, Giulio Petrozziello, Francesco Setti, Samarjit Chakraborty, Franco Fummi, Marco Cristani |
| 2024 | Automatic Parallelization of Embedded Software via Hierarchical Process Network Transformations. | Fahimeh Bahrami, Rodolfo Jordo, Ingo Sander, George Ungureanu |
| 2023 | Virtual Prototype Driven Application Specific Hardware Optimization. | Jan Zielasko, Rolf Drechsler |
| 2023 | Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models. | Marcel Christian Werner, Klaus Schneider |
| 2023 | Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. | Sren Tempel, Tobias Brandt, Christoph Lth, Rolf Drechsler |
| 2023 | Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis. | Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Groe |
| 2023 | Bifrst: Creating Hardware With Building Blocks. | Jeremy Pope, Carl-Johan H. Seger |
| 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 | 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 | Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture Design. | Christopher A. Metz, Christina Plump, Bernhard J. Berger, Rolf Drechsler |
| 2023 | Secure Programming Platform for Edge-Based IoT: Wild-and-Crazy-Idea Paper. | Hokeun Kim |
| 2023 | Instruction-Level Modeling and Evaluation of a Cache-Less Grid of Processing Cells. | Vivek Govindasamy, Rainer Dmer |
| 2023 | Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification. | Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, 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 | A Flexible Graph Language for a Model-Based Semi-Automatic CGRA Compilation Flow. | Felix Bseler, Jrg Walter |
| 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 |
| 2022 | 3D Visualization of Symbolic Execution Traces. | Jan Zielasko, Sren Tempel, Vladimir Herdt, Rolf Drechsler |
| 2022 | From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. | Marcel Christian Werner, Klaus Schneider |
| 2022 | A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS. | Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi |
| 2022 | Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart Sensors. | Alexandra Kster, Rainer Dorsch, Christian Haubelt, Karsten Einwich |