Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 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
Times are displayed in time zone: (UTC) Coordinated Universal Time change

14:00 - 15:45
Opening & Keynote 1SEAMS at SEAMS
Chair(s): Radu CalinescuUniversity of York, UK
14:00
30m
Day opening
SEAMS Opening
SEAMS
Shinichi HonidenWaseda University / National Institute of Informatics, Japan, Radu CalinescuUniversity of York, UK, Elisabetta Di NittoPolitecnico di Milano
14:30
75m
Keynote
On the Probabilistic Analysis of Neural NetworksKeynote
SEAMS
Corina S PasareanuCarnegie 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 JamshidiUniversity of South Carolina
16:00
5m
Talk
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive SystemsTechnical
SEAMS
Ricardo CaldasChalmers, Arthur RodriguesUniversity of Brası́lia, Eric Bernd GilUniversity of Brasilia, Genaína Nunes RodriguesUniversity of Brasília, Thomas VogelHumboldt-Universität zu Berlin, Patrizio PelliccioneUniversity 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 DoncktKU Leuven, Danny WeynsKU Leuven, Federico QuinKatholieke Universiteit Leuven, Jonas Van Der DoncktGhent University, Sam MichielsKatholieke Universiteit Leuven
Pre-print Media Attached
16:10
5m
Talk
Towards Classes of Architectural Dependability Assurance of Machine Learning Based SystemsNIER
SEAMS
Max ScheererFZI Research Center for Information Technology, Germany, Jonas KlamrothFZI Research Center for Information Technology, Germany, Ralf ReussnerKarlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI), Bernhard BeckertKarlsruhe Institute of Technology
Media Attached
16:15
5m
Talk
A Framework for the Analysis of Adaptive Systems Using Bayesian StatisticsNIER
SEAMS
Yuning HeNASA Ames, Johann SchumannNASA Ames
Media Attached
16:20
60m
Other
Q&A and Discussion (Session 1)
SEAMS

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

Wed 1 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

14:00 - 15:15
Keynote 2SEAMS at SEAMS
Chair(s): Elisabetta Di NittoPolitecnico di Milano
14:00
75m
Keynote
Evolving Robot Software and HardwareKeynote
SEAMS
A.E. EibenVrije 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 RodriguesUniversity of Brasilia
15:30
5m
Talk
Software Architecture and Task Plan Co-Adaptation for Mobile Service RobotsTechnical
SEAMS
Javier CamaraUniversity of York, Bradley SchmerlCarnegie Mellon University, USA, David GarlanCarnegie 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 ShinSnT Centre/University of Luxembourg, Shiva NejatiUniversity of Ottawa, Mehrdad SabetzadehUniversity of Ottawa, Lionel BriandSnT Centre/University of Luxembourg, Chetan AroraSchool of Information Technology, Deakin University, Frank ZimmerSES 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 PetrovskaTechnical University of Munich, Germany, Sergio QuijanoTechnical University of Munich, Germany, Ilias GerostathopoulosVrije 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 HnetynkaCharles University, Tomas BuresCharles University, Czech Republic, Ilias GerostathopoulosVrije 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
Times are displayed in time zone: (UTC) Coordinated Universal Time change

07:00 - 08:20
Session 5: Design, Verification & ExplainabilitySEAMS at SEAMS
Chair(s): Javier CamaraUniversity of York
07:00
5m
Talk
Collective Risk Minimization via a Bayesian Model for Statistical Software TestingTechnical
SEAMS
Joachim HaenselHasso Plattner Institute, University of Potsdam, Germany, Christian Medeiros AdrianoHasso-Plattner-Institute, Potsdam, Johannes DyckHasso Plattner Institute for Software Systems Engineering, Germany, Holger GieseHasso 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 MarronWeizmann Institute of Science, Israel, Lior LimonadIBM Corporation, Israel, Sarah PollackWeizmann Institute of Science, Israel, David HarelWeizmann Institute of Science, Israel
Media Attached
07:10
5m
Talk
Self-Protection Against Business Logic VulnerabilitiesNIER
SEAMS
Silvan ZellerOmegapoint AB, Sweden, Narges KhakpourLinnaeus University, Danny WeynsKU Leuven, Daniel DeogunOmegapoint AB, Sweden
Media Attached File Attached
07:15
5m
Talk
Towards Highly Scalable Runtime Models with HistoryNIER
SEAMS
Lucas SakizloglouHasso Plattner Institute, University of Potsdam, Sona GhahremaniHasso Plattner Institute, University of Potsdam, Thomas Brand, Matthias BarkowskyHasso Plattner Institute, University of Potsdam, Germany, Holger GieseHasso Plattner Institute, University of Potsdam
DOI Pre-print Media Attached
07:20
60m
Other
Q&A and Discussion (Session 5)
SEAMS

Fri 3 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

14:00 - 15:20
Session 6: Ethical Concerns of Self-Adaptive SystemsSEAMS at SEAMS
Chair(s): Paola InverardiUniversity of L'Aquila
14:00
5m
Talk
Towards a Code of Ethics for Autonomous and Self-Adaptive SystemsEthical
SEAMS
Danny WeynsKU 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 LemosUniversity 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): Shinichi HonidenWaseda University / National Institute of Informatics, Japan, Radu CalinescuUniversity of York, UK, Zhenjiang HuPeking University, China, Elisabetta Di NittoPolitecnico di Milano
15:30
5m
Awards
SEAMS Most Influential Paper Awards
SEAMS
Zhenjiang HuPeking University, China
15:35
5m
Talk
SEAMS 2006 MIP: Architecture-based self-adaptation in the presence of multiple objectivesMIP
SEAMS
Shang-Wen ChengUber Advanced Technologies Group, David GarlanCarnegie Mellon University, Bradley SchmerlCarnegie 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 BrunUniversity 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 HonidenWaseda University / National Institute of Informatics, Japan, Radu CalinescuUniversity of York, UK, Elisabetta Di NittoPolitecnico di Milano, Hausi MüllerUniversity of Victoria, Computer Science, Faculty of Engineering, Canada

Mon 29 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

Wed 1 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Thu 2 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Fri 3 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change