20th International Summer School Program
|
2024.07.09 Tuesday |
2024.07.10 Wednesday |
2024.07.11 Thursday |
2024.07.12 Friday |
|
08:30-11:30 Naijun Zhan |
08:30-11:30 Thomas A. Henzinger/Djordje Zikelic |
08:30-11:30 Thomas A. Henzinger/Djordje Zikelic |
08:30-11:30 Danny Weyns |
|
14:00-17:00 Ofer Strichman |
14:00-17:00 Ofer Strichman |
14:00-17:00 Danny Weyns |
13:00-17:00 CAV Warm-up Workshop |
Naijun Zhan, Formal design theories and tools for safety-critical embedded systems
Ofer Strichman, SAT/SMT - The Engines of Reasoning
Thomas A. Henzinger/Djordje Zikelic, Trustworthy AI through Neural Certificates, Runtime Monitoring, and Multi-Agent Reasoning
Danny Weyns, Trustworthy Software Using Self-Adaptation
|
Time |
Title |
Authors |
Speaker |
|
13:00-13:30 |
Distributed SMT Solving Based on Dynamic Variable-level Partitioning. |
Mengyu Zhao, Shaowei Cai and Yuhang Qian |
Mengyu Zhao |
|
13:30-14:00 |
Measurement-based Verification of Quantum Markov Chains. |
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying |
Ji Guan |
|
14:00-14:30 |
Scenario-based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. |
Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu and Xuandong Li |
Jiawan Wang |
|
14:30-15:00 |
Inner-approximate Reachability Computation via Zonotopic Boundary Analysis. |
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu and Bai Xue |
Taoran Wu |
|
15:00-15:30 |
Coffe Break |
||
|
15:30-16:00 |
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. |
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian |
Cheng Wen |
|
16:00-16:30 |
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. |
Dapeng Zhi, Peixin Wang, Si Liu, Luke Ong, Min Zhang |
Dapeng Zhi |
|
16:30-17:00 |
Avoiding the Shoals - A New Approach to Liveness Checking. |
Yechuan Xia, Alessandro Cimatti, Alberto Griggio and Jianwen Li |
Yechuan Xia |
