PROGRAM FOR WEDNESDAY, SEPTEMBER 11TH: TALK VIEW
Days:
previous day
next day
all days
View: with abstractssession overview
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
09:00-10:30 PPDP: Research talks
10:50-11:10
Tabea Bordis, K. Rustan M. Leino
11:30-11:50
Arnd Hartmanns, Bram Kohlen, Peter Lammich
11:50-12:10
Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison
12:10-12:30
Benjamin Przybocki, Guilherme Toledo, Yoni Zohar, Clark Barrett
10:50-11:10
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
11:10-11:30
Yanling Lin, Ji Guan, Wang Fang, Mingsheng Ying, Zhaofeng Su
11:30-11:50
Yuang Geng, Jake Brandon Baldauf, Souradeep Dutta, Chao Huang, Ivan Ruchkin
11:50-12:10
Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong
12:10-12:30
Eric Goubault, Sylvie Putot
10:50-12:30 FMICS: Neural Networks
11:00-12:30 PPDP: Invited talk, research talk
12:50-14:00 FME Teaching Committee meeting
14:00-15:30 PPDP: Invited talk, research talk
16:50-17:10
Akshay, Chakraborty, Goharshady, Govind, Motwani, Varanasi
17:10-17:30
Valentin Promies, Erika Abraham
17:30-17:50
Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan
15:50-16:10
Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu
16:10-16:30
AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models
Hanfeng Wang, Zhibin Yang, Yong Zhou, Xilong Wang, Weilin Deng, Wei Li
16:30-16:50
Minghua Wang, Jingling Xue, Lin Huang, Yuan Zi, Tao Wei
16:50-17:10
Systematic Test Case Generation for Distributed Redundant Controllers using Model Checking (EXTENDED
Johansson, Sirjani, Lee, Moezkarimi, Pourvatan, Marksteiner, Papadopoulos
17:10-17:30
David Vincenzoni, Gaetano Raia, Gianluca Rigano, Maurizio Martina
17:30-17:50
Juntao Ji, Yinyou Gu, Yubao Fu, Qingshan Lin
16:00-17:30 PPDP: Research talks
10:20-10:50 Coffee Break
12:30-14:00 Lunch Break
15:20-15:50 Coffee Break