On January 30th, 2023, the ReTiS laboratory of the TeCIP institute will organize a workshop in honor of Marco Di Natale to remember him and present some of your research work related to the topics that marked his career.

The workshop will be hosted in the Aula Magna of the Scuola Superiore Sant’Anna, Piazza dei Martiri della Libertà, 33, Pisa, Italy.

If you’re interested in attending virtually to the workshop, please contact Daniel Casini to receive the credentials.

Preliminary Program
Morning Session
09:00–09:10Greetings from the Rector Prof. Sabina Nuti
09:10–09:30Introduction by Prof. Giorgio Buttazzo
09:30–10:30Session 1: Remembering Marco, Part 1. Session Chair: Giorgio Buttazzo
09:30-09:50 – Anna Acquaviva
9:50-10:10 – Paolo Gai (Huawei)
10:10-10:30 – Haibo Zeng (Virginia Tech, USA)
10:30–11:00Coffee Break
11:00–12:00Session 2: Technical Presentations, Part 1. Session Chair: Alessandro Biondi
11:00-11:20 – Silvio Bacci (Huawei) – “A comprehensive framework for the analysis of automotive systems”
11:20-11:40 – Alessandro Cimatti (FBK, Italy) – “Compositional formal verification of automotive systems”
11:40-12:00 – Francesco Paladino (SSSA, Italy) – “Applying research results to system design: a timing analysis tool prototype”
Afternoon Sessions
13:00 – 13:50Session 3: Remembering Marco, Part 2. Session Chair: Tommaso Cucinotta
13:00-13:10 – Luigi Palopoli (University of Trento, Italy)
13:10-13:20 – Qi Zhu (Northwestern University, USA)
13:20-13:30 – Biruk Seyoum (Columbia University, USA)
13:30-13:40 – Luis Almeida (University of Porto, Portugal)
13:40-13:50 – Costantino Sabbatinelli (Resideo)
13:50 – 15:30Session 4: Technical Presentations, Part 2. Session Chair: Daniel Casini
13:50-14:10 – Enrico Bini (University of Turin, Italy) – “Design and Optimization on Single Processor Real-Time Systems”
14:10-14:30 – Björn Brandenburg (MPI-SWS, Germany) – “A Pillar of Multiprocessor Real-Time Systems: An Appreciation of the MSRP”
14:30-14:50 – Jian-Jia Chen (University of Dortmund, Germany) – “Data Flow for Hard Real-time Distributed Systems: Freshness versus Responsiveness”
14:50-15:10 – Paolo Pazzaglia (Bosch, Germany) – “Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time”
15:10-15:30 – Haibo Zeng (Virginia Tech, USA) – “Real-Time for Model-based Design: an Essential Path to Safe Cyber-Physical Systems”
15:30 – 16:00Coffee Break
16:10 – 17:30Session 5: Technical Presentations, Part 3. Session Chair: Luca Abeni
16:10-16:30 – David Broman (KTH, Sweden) – “Modeling and Programming Cyber-Physical Systems: Time, Dynamics, and Uncertainty”
16:30-16:50 – Luigi Palopoli (University of Trento, Italy) – “Human-aware Motion Planning for Robots”
16:50-17:10 – Alessandro Biondi  (SSSA, Italy) – “Leveraging Logical Execution Time to Enhance Time-Predictability in Multicore Real-Time Systems”
17:10-17:30 – Daniel Casini (SSSA, Italy) – “Optimized Partitioning and Priority Assignment of Real-Time Applications on Heterogeneous Platforms with Hardware Acceleration”
17:30 – 17:40Closing Remarks

The program can also be downloaded here.