ICSE 2020 (series) / SEAMS 2020 (series) /
SEAMS 2020 Program
This is the SEAMS 2020 program - see the full program for ICSE 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 29 JunDisplayed time zone: (UTC) Coordinated Universal Time change
Mon 29 Jun
Displayed time zone: (UTC) Coordinated Universal Time change
14:00 - 15:45 | |||
14:00 30mDay opening | SEAMS Opening SEAMS 2020 Shinichi Honiden Waseda University / National Institute of Informatics, Japan, Radu Calinescu University of York, UK, Elisabetta Di Nitto Politecnico di Milano | ||
14:30 75mKeynote | On the Probabilistic Analysis of Neural NetworksKeynote SEAMS 2020 Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center Media Attached | ||
15:45 - 16:00 | |||
15:45 15mBreak | Virtual Coffee Break 1 SEAMS 2020 | ||
16:00 - 17:30 | Session 1: AI, Machine Learning and StatisticsSEAMS 2020 at SEAMS Chair(s): Pooyan Jamshidi University of South Carolina | ||
16:00 5mTalk | A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive SystemsTechnical SEAMS 2020 Ricardo Caldas Chalmers, Arthur Rodrigues University of Brası́lia, Eric Bernd Gil University of Brasilia, Genaína Nunes Rodrigues University of Brasília, Thomas Vogel Humboldt-Universität zu Berlin, Patrizio Pelliccione University of L'Aquila and Chalmers | University of Gothenburg DOI Pre-print Media Attached | ||
16:05 5mTalk | Applying Deep Learning to Reduce Large Adaptation Spaces of Self-Adaptive Systems with Multiple Types of GoalsTechnical SEAMS 2020 Jeroen Van Der Donckt KU Leuven, Danny Weyns KU Leuven, Federico Quin Katholieke Universiteit Leuven, Jonas Van Der Donckt Ghent University, Sam Michiels Katholieke Universiteit Leuven Pre-print Media Attached | ||
16:10 5mTalk | Towards Classes of Architectural Dependability Assurance of Machine Learning Based SystemsNIER SEAMS 2020 Max Scheerer FZI Research Center for Information Technology, Germany, Jonas Klamroth FZI Research Center for Information Technology, Germany, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI), Bernhard Beckert Karlsruhe Institute of Technology Media Attached | ||
16:15 5mTalk | A Framework for the Analysis of Adaptive Systems Using Bayesian StatisticsNIER SEAMS 2020 Media Attached | ||
16:20 60mOther | Q&A and Discussion (Session 1) SEAMS 2020 | ||
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 | ||
Wed 1 JulDisplayed time zone: (UTC) Coordinated Universal Time change
Wed 1 Jul
Displayed time zone: (UTC) Coordinated Universal Time change
14:00 - 15:15 | |||
14:00 75mKeynote | Evolving Robot Software and HardwareKeynote SEAMS 2020 A.E. Eiben Vrije Universiteit Amsterdam, Netherlands Media Attached | ||
15:15 - 15:30 | |||
15:15 15mBreak | Virtual Coffee Break 2 SEAMS 2020 | ||
Thu 2 JulDisplayed time zone: (UTC) Coordinated Universal Time change
Thu 2 Jul
Displayed time zone: (UTC) Coordinated Universal Time change
07:00 - 08:20 | Session 5: Design, Verification & ExplainabilitySEAMS 2020 at SEAMS Chair(s): Javier Camara University of York | ||
07:00 5mTalk | Collective Risk Minimization via a Bayesian Model for Statistical Software TestingTechnical SEAMS 2020 Joachim Haensel Hasso Plattner Institute, University of Potsdam, Germany, Christian Medeiros Adriano Hasso-Plattner-Institute, Potsdam, Johannes Dyck Hasso Plattner Institute for Software Systems Engineering, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam Pre-print Media Attached | ||
07:05 5mTalk | Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and ConditionsNIER SEAMS 2020 Assaf Marron Weizmann Institute of Science, Israel, Lior Limonad IBM Corporation, Israel, Sarah Pollack Weizmann Institute of Science, Israel, David Harel Weizmann Institute of Science, Israel Media Attached | ||
07:10 5mTalk | Self-Protection Against Business Logic VulnerabilitiesNIER SEAMS 2020 Silvan Zeller Omegapoint AB, Sweden, Narges Khakpour Linnaeus University, Danny Weyns KU Leuven, Daniel Deogun Omegapoint AB, Sweden Media Attached File Attached | ||
07:15 5mTalk | Towards Highly Scalable Runtime Models with HistoryNIER SEAMS 2020 Lucas Sakizloglou Hasso Plattner Institute, University of Potsdam, Sona Ghahremani Hasso Plattner Institute, University of Potsdam, Thomas Brand , Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam DOI Pre-print Media Attached | ||
07:20 60mOther | Q&A and Discussion (Session 5) SEAMS 2020 | ||
Fri 3 JulDisplayed time zone: (UTC) Coordinated Universal Time change
Fri 3 Jul
Displayed time zone: (UTC) Coordinated Universal Time change
14:00 - 15:20 | Session 6: Ethical Concerns of Self-Adaptive SystemsSEAMS 2020 at SEAMS Chair(s): Paola Inverardi University of L'Aquila | ||
14:00 5mTalk | Towards a Code of Ethics for Autonomous and Self-Adaptive SystemsEthical SEAMS 2020 Danny Weyns KU Leuven Pre-print Media Attached | ||
14:05 5mTalk | Human in the Loop: What is the Point of no Return?Ethical SEAMS 2020 Rogério de Lemos University of Kent, UK Pre-print Media Attached | ||
14:10 70mOther | Panel and Discussion SEAMS 2020 | ||
15:20 - 15:30 | |||
15:20 10mBreak | Virtual Coffee Break 3 SEAMS 2020 | ||
15:30 - 16:00 | ClosingSEAMS 2020 at SEAMS Chair(s): Radu Calinescu University of York, UK, Elisabetta Di Nitto Politecnico di Milano, Shinichi Honiden Waseda University / National Institute of Informatics, Japan, Zhenjiang Hu Peking University, China | ||
15:30 5mAwards | SEAMS Most Influential Paper Awards SEAMS 2020 Zhenjiang Hu Peking University, China | ||
15:35 5mTalk | SEAMS 2006 MIP: Architecture-based self-adaptation in the presence of multiple objectivesMIP SEAMS 2020 Shang-Wen Cheng Uber Advanced Technologies Group, David Garlan Carnegie Mellon University, Bradley Schmerl Carnegie Mellon University, USA Media Attached | ||
15:40 5mTalk | SEAMS 2007 MIP: An architectural style for solving computationally intensive problems on large networkMIP SEAMS 2020 Link to publication DOI Pre-print Media Attached | ||
15:45 15mDay closing | SEAMS 2020 Best Paper Awards, SEAMS 2021 Presentation, Closing Remarks SEAMS 2020 Shinichi Honiden Waseda University / National Institute of Informatics, Japan, Radu Calinescu University of York, UK, Elisabetta Di Nitto Politecnico di Milano, Hausi Müller University of Victoria, Computer Science, Faculty of Engineering, Canada | ||