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

Conference Day
Tue 30 Jun

Displayed time zone: (UTC) Coordinated Universal Time change

06:00 - 07:30
Session 2: Testing, Analysis, Reasoning, and MonitoringSEAMS 2020 at SEAMS
Chair(s): Sona GhahremaniHasso Plattner Institute, University of Potsdam
06:00
5m
Talk
Leveraging Test Logs for Building a Self-Adaptive Path PlannerNIER
SEAMS 2020
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 Media Attached
06:05
5m
Talk
Supporting Viewpoints to Review the Lack of Requirements in Space Systems with Machine LearningExperience
SEAMS 2020
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
Media Attached
06:10
5m
Talk
DATESSO: Self-Adapting Service Composition with Debt-Aware Two Levels Constraint ReasoningTechnicalBest Student Paper
SEAMS 2020
Satish KumarUniversity of Birmingham, United Kingdom, Tao ChenLoughborough University, Rami BahsoonUniversity of Birmingham, Rajkumar BuyyaUniversity of Melbourne, Australia
DOI Pre-print Media Attached
06:15
5m
Talk
Towards Bridging the Gap between Control and Self-Adaptive System PropertiesNIER
SEAMS 2020
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, Kenji TeiWaseda University / National Institute of Informatics, Japan
DOI Pre-print Media Attached
06:20
5m
Talk
Explanation for Human-on-the-loop: a probabilistic model checking approachNIER
SEAMS 2020
NIANYU LIPeking University, China, Sridhar AdepuSingapore University of Technology and Design, Singapore, Eunsuk KangCarnegie Mellon University, David GarlanCarnegie Mellon University
Pre-print Media Attached
06:25
65m
Other
Q&A and Discussion (Session 2)
SEAMS 2020