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 JunDisplayed time zone: (UTC) Coordinated Universal Time change
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 Ghahremani Hasso Plattner Institute, University of Potsdam | ||
06:00 5mTalk | Leveraging Test Logs for Building a Self-Adaptive Path PlannerNIER SEAMS 2020 Kun Liu Peking University, China, Xiaoyi Zhang National Institute of Informatics, Japan, Paolo Arcaini National Institute of Informatics
, Fuyuki Ishikawa National Institute of Informatics, Wenpin Jiao Peking University, China Pre-print Media Attached | ||
06:05 5mTalk | Supporting Viewpoints to Review the Lack of Requirements in Space Systems with Machine LearningExperience SEAMS 2020 Kenji Mori Japan Aerospace Exploration Agency, Japan, Naoko Okubo Japan Aerospace Exploration Agency, Japan, Yasushi Ueda Japan Aerospace Exploration Agency, Japan, Masafumi Katahira Japan Aerospace Exploration Agency, Toshiyuki Amagasa University of Tsukuba, Japan Media Attached | ||
06:10 5mTalk | DATESSO: Self-Adapting Service Composition with Debt-Aware Two Levels Constraint ReasoningTechnicalBest Student Paper SEAMS 2020 Satish Kumar University of Birmingham, United Kingdom, Tao Chen Loughborough University, Rami Bahsoon University of Birmingham, Rajkumar Buyya University of Melbourne, Australia DOI Pre-print Media Attached | ||
06:15 5mTalk | Towards Bridging the Gap between Control and Self-Adaptive System PropertiesNIER SEAMS 2020 Javier Camara University of York, Alessandro Vittorio Papadopoulos Mälardalen University, Thomas Vogel Humboldt-Universität zu Berlin, Danny Weyns KU Leuven, David Garlan Carnegie Mellon University, Shihong Huang Florida Atlantic University, Kenji Tei Waseda University / National Institute of Informatics, Japan DOI Pre-print Media Attached | ||
06:20 5mTalk | Explanation for Human-on-the-loop: a probabilistic model checking approachNIER SEAMS 2020 NIANYU LI Peking University, China, Sridhar Adepu Singapore University of Technology and Design, Singapore, Eunsuk Kang Carnegie Mellon University, David Garlan Carnegie Mellon University Pre-print Media Attached | ||
06:25 65mOther | Q&A and Discussion (Session 2) SEAMS 2020 | ||