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 | |
---|---|
08:20–09:00 | Registration |
09:00–09:10 | Greetings from the Rector Prof. Sabina Nuti |
09:10–09:30 | Introduction by Prof. Giorgio Buttazzo |
09:30–10:30 | Session 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:00 | Coffee Break |
11:00–12:00 | Session 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” |
12:00–13:00 | Lunch |
Afternoon Sessions | |
---|---|
13:00 – 13:50 | Session 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:30 | Session 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:00 | Coffee Break |
16:10 – 17:30 | Session 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:40 | Closing Remarks |
The program can also be downloaded here.
Comments are closed.