SEAMS 2020
Mon 29 June - Fri 3 July 2020
co-located with ICSE 2020

Tue 30 Jun
Times are displayed in time zone: (UTC) Coordinated Universal Time change

seams-2020-papers
06:00 - 07:30: SEAMS 2020 - Session 2: Testing, Analysis, Reasoning, and Monitoring at SEAMS
Chair(s): Sona GhahremaniHasso Plattner Institute, University of Potsdam
seams-2020-papers06:00 - 06:05
Talk
Kun LiuPeking University, China, Xiaoyi ZhangNational Institute of Informatics, Japan, Paolo ArcainiNational Institute of Informatics , Fuyuki IshikawaNational Institute of Informatics, Wenpin JiaoPeking University, China
Pre-print
seams-2020-papers06:05 - 06:10
Talk
Kenji MoriJapan Aerospace Exploration Agency, Japan, Naoko OkuboJapan Aerospace Exploration Agency, Japan, Yasushi UedaJapan Aerospace Exploration Agency, Japan, Masafumi KatahiraJapan Aerospace Exploration Agency, Toshiyuki AmagasaUniversity of Tsukuba, Japan
seams-2020-papers06:10 - 06:15
Talk
Satish KumarUniversity of Birmingham, United Kingdom, Tao ChenLoughborough University, Rami BahsoonUniversity of Birmingham, Rajkumar BuyyaUniversity of Melbourne, Australia
DOI Pre-print
seams-2020-papers06:15 - 06:20
Talk
Javier CamaraUniversity of York, Alessandro Vittorio PapadopoulosMälardalen University, Thomas VogelHumboldt-Universität zu Berlin, Danny WeynsKU Leuven, David GarlanCarnegie Mellon University, Shihong HuangFlorida Atlantic University, United States, Kenji TeiWaseda University / National Institute of Informatics, Japan
DOI Pre-print
seams-2020-papers06:20 - 06:25
Talk
NIANYU LIPeking University, China, Sridhar AdepuSingapore University of Technology and Design, Singapore, Eunsuk KangCarnegie Mellon University, David GarlanCarnegie Mellon University
Pre-print
seams-2020-papers06:25 - 07:30
Other