Program
Accepted Papers and Schedule
- 8:45 – 9:15: Registration. You are welcome at the registration desk.
- 9:00 – 9:15: Workshop Setup
- Session 1 speakers and discussants should check in with the workshop chairs for setup.
- 9:15 – 10:30: Welcome and Session 1: “Robustness and Verification.”
- 9:15 – 9:30
“Welcome to OPERA 2025.”
Speakers: Sanjoy Baruah and Marion Sudvarg - 9:30 – 10:00
Invited Talk: “Mastering Uncertainty: Optimizing Real-Time Systems for Robustness and Resilience.”
Speaker: Alessandro Biondi.
Discussant: Enrico Bini. - 10:00 – 10:30
Paper: “Verification-Driven Scenario Optimization Across a Co-Simulation Continuum for AV Certification.”
Authors: Kurt Wilson, Danjue Chen, Zhishan Guo, George List and Frank Mueller.
Speaker: Frank Mueller.
Discussant: Federico Aromolo.
- 9:15 – 9:30
- 10:30 – 11:30: Extended Coffee Break.
- 11:30 – 12:30: Session 2: “Application-Focused Optimization.”
- 11:30 – 12:00
Invited Talk: “Timing Analysis and Optimization of Quantum Computing Systems.”
Speaker: Albert Cheng.
Discussant: Frank Mueller. - 12:00 – 12:30
Paper: “MIRAGE: MILP-Based Block Grouping for Real-Time Signal Processing.”
Authors: Tiancheng He and Bryan C. Ward.
Speaker: Tiancheng (Simmon) He
Discussant: Mario Günzel.
- 11:30 – 12:00
- 12:30 – 14:00: Lunch Break.
- 14:00 – 15:30: Session 3: “Scheduling and Resource Management.”
- 14:00 – 14:30
Invited Talk: “Deep Reinforcement Learning for Real-Time Resource Management.”
Speaker: Marco Caccamo.
Discussant: Albert Cheng. - 14:30 – 15:00
Paper: “Priority Point Exploration Using MBO.”
Authors: Minh Duy Truong, Junjie Shi, Jian-Jia Chen, Jörg Rahnenführer and Mario Günzel.
Speaker: Minh Duy Truong.
Discussant: Bryan Ward. - 15:00 – 15:30
Invited Talk: “Optimization over Task Periods with Exact Schedulability Constraints.”
Speaker: Enrico Bini.
Discussant: Marion Sudvarg.
- 14:00 – 14:30
- 15:30 – 16:00: Coffee Break.
- 16:00 – 17:00: Open Discussion.
- 17:00 – 17:30: Closing Remarks.
Event Format
- has normally worked in the area of the presented work or has interest in doing so;
- has read the accepted paper and possibly the necessary related works;
- is expected to stimulate the discussion after the presentation;
- is appointed by the workshop organizer and may be a TPC member.
To stay on schedule, we ask that each talk and discussion slot to not exceed 30 minutes. Since we expect several open and interesting problems to be raised during these sessions, we open the final hour of the workshop as an opportunity to continue earlier discussions and workshop new ideas.