| 2024 | A Quantitative Type Approach to Formal Component-Based System Design. Rui Chen, Ingo Sander |
| 2024 | An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs. Lucas Klemmer, Daniel Große |
| 2024 | Automatic Parallelization of Embedded Software via Hierarchical Process Network Transformations. Fahimeh Bahrami, Rodolfo Jordão, Ingo Sander, George Ungureanu |
| 2024 | Cross-domain Analog Fault Injection for Designing Robust Smart Systems. Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi |
| 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 | Exploring Multidomain Faults in Digital Twin: A Gaming Engine Perspective : Wild-and-Crazy-Idea Paper. Francesco Tosoni, Muhammad Ihtisham Amin, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi |
| 2024 | Forum on Specification & Design Languages, FDL 2024, Stockholm, Sweden, September 4-6, 2024 |
| 2024 | Improving PSS Test Generation Using Model Checking and Conformance Testing. Philippe Ledent, Radu Mateescu, Wendelin Serwe |
| 2024 | Mining signal temporal logic specifications for hybrid systems. Daniele Nicoletti, Samuele Germiniani, Graziano Pravadelli |
| 2024 | Multi-objective preference-free exact design space exploration of static DSP on multicore platforms. Rodolfo Jordão, Fahimeh Bahrami, Yu Yang, Matthias Becker, Ingo Sander, Kathrin Rosvall |
| 2024 | Platform Design for Privacy-Preserving Federated Learning using Homomorphic Encryption : Wild-and-Crazy-Idea Paper. Hokeun Kim, Younghyun Kim, Hoeseok Yang |
| 2024 | Timing enclaves for performance in Lingua Franca. Julian Robledo, Christian Menard, Erling Rennemo Jellum, Edward A. Lee, Jerónimo Castrillón |