ICSE 2020 (series) / SEAMS 2020 (series) / 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems / Supporting Viewpoints to Review the Lack of Requirements in Space Systems with Machine Learning
Supporting Viewpoints to Review the Lack of Requirements in Space Systems with Machine LearningExperience
Tue 30 Jun 2020 06:05 - 06:10 at SEAMS - Session 2: Testing, Analysis, Reasoning, and Monitoring Chair(s): Sona Ghahremani
Tue 30 Jun Times are displayed in time zone: (UTC) Coordinated Universal Time change
Tue 30 Jun
Times are displayed in 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 - 06:05 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 - 06:10 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 - 06:15 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 - 06:20 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 - 06:25 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 - 07:30 Other | Q&A and Discussion (Session 2) SEAMS 2020 |