© Photo by Henrik Trygg
9.00 - 9.30 Opening Remarks
9.30 - 10.30 Keynote 1: Contracts for
Trustworthy Autonomous System Design
Pierluigi Nuzzo,
University of California, Berkeley, USA
10.30 - 11.00
Coffee
Break
11.00 - 12.00 Session 1: Verification
1. Daniele Nicoletti, Samuele Germiniani, and Graziano Pravadelli
Mining signal temporal logic specifications for hybrid systems
2. Philippe Ledent, Radu Mateescu, and Wendelin Serwe
Improving PSS Test Generation: Using Model Checking and Conformance Testing
12.00 - 13.30 Lunch
13.30 -
15.00 Session 2: Model-based Design Languages
1. Julian Robledo, Christian Menard, Erling Jellum, Edward A. Lee, and Jeronimo Castrillon
Timing enclaves for performance in Lingua Franca
2. Rui Chen and Ingo Sander
A Quantitative Type Approach to Formal Component-Based System Design
3. Fahimeh Bahrami, Rodolfo Jordão, Ingo Sander, and George Ungureanu
Automatic Parallelization of Embedded Software via Hierarchical Process Network
Transformations
15.00 - 15.30 Coffee Break
15.30 - 16.30 Tutorial: Developing Tools for Modeling and
Simulation Languages
Adrian Pop, Research Engineer, Linköping University, Sweden
18.00 -
20.00
Welcome Reception (R1 – Reactor Hall)
9.00 - 10.00 Keynote 2: Four Languages for
Portability
Fredrik Kjolstad, Stanford University, USA
10.00 - 10.30
Coffee Break
10.30 - 11.15 Panel
11.15
-
12.30 Lightning Talks and Poster Session (PhD Forum and WiP)
12.30 - 13.30 Lunch and Poster
Session Continuation
13.30 - 15.00 Special
Session: Open-Source Silicon and EDA
Stefan Wallentowitz, Munich University of Applied Sciences, Germany
Sergei Andreev, IHP Innovations for High Performance Microelectronics, Germany
Frans Skarman, Linköping University, Sweden
Rihards Novickis, Institute of Electronics and Computer Science, Latvia
15.00 - 15.30
Coffee Break
15.30 - 17.00 Session 3: Design Optimization and Exploration
1. Lucas Klemmer and Daniel Grosse
An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs
2. Hokeun Kim, Younghyun Kim, and Hoeseok Yang
Platform Design for Privacy-Preserving Federated Learning using Homomorphic
Encryption
3. Rodolfo Jordao, Fahimeh Bahrami, Yu Yang, Kathrin Rosvall, Matthias Becker, and Ingo
Sander
Multi-objective preference-free exact design space exploration of static DSP on
multicore platforms
17.00 - 19.00 Moving to social event and optional
Stockholm sightseeing
19.00 -
Social event and dinner (Private tour at the Vasa Museum)
9.00 - 10.00 Keynote 3: Verified Compilation for
Model-Based Design
Timothy Bourke, Inria, École Normale Supérieure (ENS), and
École Polytechnique, France
10.00 - 10.30
Coffee Break
10.30
- 12.00 Session 4: Smart System Design
1. Luigi Capogrosso, Enrico Fraccaroli, Giulio Petrozziello, Francesco Setti, Samarjit Chakraborty,
Franco Fummi, and Marco Cristani
Enhancing Split Computing and Early Exit Applications through Predefined
Sparsity
2. Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, and Franco Fummi
Cross-domain Analog Fault Injection for Designing Robust Smart Systems
3. Francesco Tosoni, Muhammad Ihtisham Amin, Nicola Dall'Ora, Enrico Fraccaroli, and Franco Fummi
Exploring Multidomain Faults in Digital Twin: A Gaming Engine Perspective
12.00 - 13.00 Lunch
13.00 - 14.00
Closing remarks and Best Paper Awards
© Photo by Henrik Trygg