Supporting Viewpoints to Review the Lack of Requirements in Space Systems with Machine Learning (SEAMS 2020 - 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems)

Who

Kenji Mori, Naoko Okubo, Yasushi Ueda, Masafumi Katahira, Toshiyuki Amagasa

Track

SEAMS 2020

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 30 Jun 2020 06:05 - 06:10 at SEAMS - Session 2: Testing, Analysis, Reasoning, and Monitoring Chair(s): Sona Ghahremani

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

Japan

Toshiyuki Amagasa

University of Tsukuba, Japan

Supporting Viewpoints to Review the Lack of Requirements in Space Systems with Machine Learning

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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