SETSS 2025

Program

2025-05-17I0		Room 334
09:30—12:00		Welcome
12:00—14:15		Lunch
14:15—14:30		Opening
14:30—15:30		On Temporal Verification of Stateful P4 Programs Fei He
15:30—16:00		Coffee break
16:00—17:00		Formal Synthesis of Neural Controllers for Autonomous Systems Wang Lin

2025-05-18I0		Room 402
09:30—10:30		New Progress in Computational Number Theory and Number-Theoretic Cryptography Song Y. Yan
10:30—11:00		Coffee break
11:00—12:00		Certifying Adversarial Robustness in Quantum Machine Learning: From Theory to Physical Validation Ji Guan
12:00—14:00		Lunch
14:00—15:00		Neural Code Generation Models with Programming Language Knowledge Yingfei Xiong
15:00—16:00		Runtime Backdoor Detection for Federated Learning via Representational Dissimilarity Analysis Meng Sun
16:00—16:30		Coffee break
16:30—17:30		Stochastic System Safety: Probabilistic Invariance Verification Bai Xue

2025-05-19I0		Room 402
08:45—09:00		Opening
09:00—10:30		Hardware-Software Leakage Contracts for Side-Channel Security Jan Reineke
10:30—11:00		Coffee break
11:00—12:30		Hardware-Software Leakage Contracts for Side-Channel Security Jan Reineke
12:30—14:00		Lunch
14:00—15:30		Safeguarding Deep Reinforcement Learning Systems via Formal Methods: From Safety-by-Design to Runtime Assurance Min Zhang
15:30—16:00		Coffee break
16:00—17:30		Safeguarding Deep Reinforcement Learning Systems via Formal Methods: From Safety-by-Design to Runtime Assurance Min Zhang
18:00—21:00		Banquet

2025-05-20I0		Room 402
09:00—10:30		Hardware-Software Leakage Contracts for Side-Channel Security Jan Reineke
10:30—11:00		Coffee break
11:00—12:30		Hardware-Software Leakage Contracts for Side-Channel Security Jan Reineke
12:30—14:00		Lunch
14:00—15:30		Simulation Testing of Autonomous Driving Systems Based on Safety-Critical Scenario Generation Yinxing Xue
15:30—16:00		Coffee break
16:00—17:30		Simulation Testing of Autonomous Driving Systems Based on Safety-Critical Scenario Generation Yinxing Xue

2025-05-21I0		Room 402
09:00—10:30		Model-based Software Engineering for Robotics Pedro Ribeiro
10:30—11:00		Coffee break
11:00—12:30		Model-based Software Engineering for Robotics Pedro Ribeiro
12:30—14:00		Lunch
14:00—17:30		Social event

2025-05-22I0		Room 402
09:00—10:30		Building Safe Autonomous Systems using Imperfect Components Samarjit Chakraborty
10:30—11:00		Coffee break
11:00—12:30		Building Safe Autonomous Systems using Imperfect Components Samarjit Chakraborty
12:30—14:00		Lunch
14:00—15:30		Model-based Software Engineering for Robotics Pedro Ribeiro
15:30—16:00		Coffee break
16:00—17:30		Model-based Software Engineering for Robotics Pedro Ribeiro

2025-05-23I0		Room 402
09:00—10:30		Advances on SAT and SMT Solving Shaowei Cai
10:30—11:00		Coffee break
11:00—12:30		Advances on SAT and SMT Solving Shaowei Cai
12:30—14:00		Lunch
14:00—15:30		Model Checking, Monitoring, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems Kim Guldstrand Larsen
15:30—16:00		Coffee break
16:00—17:30		Model Checking, Monitoring, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems Kim Guldstrand Larsen
17:30—17:45		Closing

Caption

Tutorial

Talk

Break

Other