Write a Blog >>
ICPC 2020
Mon 13 - Wed 15 July 2020
co-located with ICSE 2020
Venue
Room nameSEAMS
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 29 Jun

Displayed time zone: (UTC) Coordinated Universal Time change

14:00 - 15:45
Opening & Keynote 1SEAMS at SEAMS
Chair(s): Radu Calinescu University of York, UK
14:00
30m
Day opening
SEAMS Opening
SEAMS
Shinichi Honiden Waseda University / National Institute of Informatics, Japan, Radu Calinescu University of York, UK, Elisabetta Di Nitto Politecnico di Milano
14:30
75m
Keynote
On the Probabilistic Analysis of Neural NetworksKeynote
SEAMS
Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Media Attached
15:45 - 16:00
Virtual Coffee Break 1SEAMS at SEAMS
15:45
15m
Break
Virtual Coffee Break 1
SEAMS

16:00 - 17:30
Session 1: AI, Machine Learning and StatisticsSEAMS at SEAMS
Chair(s): Pooyan Jamshidi University of South Carolina
16:00
5m
Talk
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive SystemsTechnical
SEAMS
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
5m
Talk
Applying Deep Learning to Reduce Large Adaptation Spaces of Self-Adaptive Systems with Multiple Types of GoalsTechnical
SEAMS
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
5m
Talk
Towards Classes of Architectural Dependability Assurance of Machine Learning Based SystemsNIER
SEAMS
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
5m
Talk
A Framework for the Analysis of Adaptive Systems Using Bayesian StatisticsNIER
SEAMS
Yuning He NASA Ames, Johann Schumann NASA Ames
Media Attached
16:20
60m
Other
Q&A and Discussion (Session 1)
SEAMS

Tue 30 Jun

Displayed time zone: (UTC) Coordinated Universal Time change

06:00 - 07:30
Session 2: Testing, Analysis, Reasoning, and MonitoringSEAMS at SEAMS
Chair(s): Sona Ghahremani Hasso Plattner Institute, University of Potsdam
06:00
5m
Talk
Leveraging Test Logs for Building a Self-Adaptive Path PlannerNIER
SEAMS
Kun Liu Peking University, China, Xiao-Yi 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
5m
Talk
Supporting Viewpoints to Review the Lack of Requirements in Space Systems with Machine LearningExperience
SEAMS
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
5m
Talk
DATESSO: Self-Adapting Service Composition with Debt-Aware Two Levels Constraint ReasoningTechnicalBest Student Paper
SEAMS
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
5m
Talk
Towards Bridging the Gap between Control and Self-Adaptive System PropertiesNIER
SEAMS
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
5m
Talk
Explanation for Human-on-the-loop: a probabilistic model checking approachNIER
SEAMS
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
65m
Other
Q&A and Discussion (Session 2)
SEAMS

Wed 1 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

14:00 - 15:15
Keynote 2SEAMS at SEAMS
Chair(s): Elisabetta Di Nitto Politecnico di Milano
14:00
75m
Keynote
Evolving Robot Software and HardwareKeynote
SEAMS
A.E. Eiben Vrije Universiteit Amsterdam, Netherlands
Media Attached
15:15 - 15:30
Virtual Coffee Break 2SEAMS at SEAMS
15:15
15m
Break
Virtual Coffee Break 2
SEAMS

15:30 - 16:50
Session 4: ApplicationsSEAMS at SEAMS
Chair(s): Genaina Rodrigues University of Brasilia
15:30
5m
Talk
Software Architecture and Task Plan Co-Adaptation for Mobile Service RobotsTechnical
SEAMS
Javier Camara University of York, Bradley Schmerl Carnegie Mellon University, USA, David Garlan Carnegie Mellon University
Pre-print Media Attached
15:35
5m
Talk
Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based ApproachTechnicalBest Paper
SEAMS
Seung Yeob Shin SnT Centre/University of Luxembourg, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Lionel Briand SnT Centre/University of Luxembourg, Chetan Arora School of Information Technology, Deakin University, Frank Zimmer SES Techcom
DOI Pre-print Media Attached
15:40
5m
Talk
Knowledge Aggregation with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical SystemsNIER
SEAMS
Ana Petrovska Technical University of Munich, Germany, Sergio Quijano Technical University of Munich, Germany, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Alexander Pretschner
Pre-print Media Attached
15:45
5m
Talk
Using Component Ensembles for Modeling Autonomic Component Collaboration in Smart FarmingDemo
SEAMS
Petr Hnětynka Charles University, Tomas Bures Charles University, Czech Republic, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Jan Pacovský Charles University, Czechia
Pre-print Media Attached
15:50
60m
Other
Q&A and Discussion (Session 4)
SEAMS

Thu 2 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

07:00 - 08:20
Session 5: Design, Verification & ExplainabilitySEAMS at SEAMS
Chair(s): Javier Camara University of York
07:00
5m
Talk
Collective Risk Minimization via a Bayesian Model for Statistical Software TestingTechnical
SEAMS
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
5m
Talk
Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and ConditionsNIER
SEAMS
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
5m
Talk
Self-Protection Against Business Logic VulnerabilitiesNIER
SEAMS
Silvan Zeller Omegapoint AB, Sweden, Narges Khakpour Linnaeus University, Danny Weyns KU Leuven, Daniel Deogun Omegapoint AB, Sweden
Media Attached File Attached
07:15
5m
Talk
Towards Highly Scalable Runtime Models with HistoryNIER
SEAMS
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
60m
Other
Q&A and Discussion (Session 5)
SEAMS

Fri 3 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

14:00 - 15:20
Session 6: Ethical Concerns of Self-Adaptive SystemsSEAMS at SEAMS
Chair(s): Paola Inverardi University of L'Aquila
14:00
5m
Talk
Towards a Code of Ethics for Autonomous and Self-Adaptive SystemsEthical
SEAMS
Danny Weyns KU Leuven
Pre-print Media Attached
14:05
5m
Talk
Human in the Loop: What is the Point of no Return?Ethical
SEAMS
Rogério de Lemos University of Kent, UK
Pre-print Media Attached
14:10
70m
Other
Panel and Discussion
SEAMS

15:20 - 15:30
Virtual Coffee Break 3SEAMS at SEAMS
15:20
10m
Break
Virtual Coffee Break 3
SEAMS

15:30 - 16:00
ClosingSEAMS 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
5m
Awards
SEAMS Most Influential Paper Awards
SEAMS
Zhenjiang Hu Peking University, China
15:35
5m
Talk
SEAMS 2006 MIP: Architecture-based self-adaptation in the presence of multiple objectivesMIP
SEAMS
Shang-Wen Cheng Uber Advanced Technologies Group, David Garlan Carnegie Mellon University, Bradley Schmerl Carnegie Mellon University, USA
Media Attached
15:40
5m
Talk
SEAMS 2007 MIP: An architectural style for solving computationally intensive problems on large networkMIP
SEAMS
Yuriy Brun University of Massachusetts Amherst, Nenad Medvidović University of Southern California
Link to publication DOI Pre-print Media Attached
15:45
15m
Day closing
SEAMS 2020 Best Paper Awards, SEAMS 2021 Presentation, Closing Remarks
SEAMS
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

Mon 29 Jun

Displayed time zone: (UTC) Coordinated Universal Time change

Tue 30 Jun

Displayed time zone: (UTC) Coordinated Universal Time change

Wed 1 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Thu 2 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Fri 3 Jul

Displayed time zone: (UTC) Coordinated Universal Time change