SEAMS 2020
Mon 29 June - Fri 3 July 2020
co-located with ICSE 2020
Venue
Room nameSEAMS
Floor0
Additional informationThere is no additional information of this room 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 2020 at SEAMS
Chair(s): Radu CalinescuUniversity of York, UK
14:00 - 14:30
Day opening
SEAMS Opening
SEAMS 2020
Shinichi HonidenWaseda University / National Institute of Informatics, Japan, Radu CalinescuUniversity of York, UK, Elisabetta Di NittoPolitecnico di Milano
14:30 - 15:45
Keynote
On the Probabilistic Analysis of Neural NetworksKeynote
SEAMS 2020
Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
Media Attached
15:45 - 16:00: Virtual Coffee Break 1SEAMS 2020 at SEAMS
15:45 - 16:00
Break
Virtual Coffee Break 1
SEAMS 2020
16:00 - 17:30: Session 1: AI, Machine Learning and StatisticsSEAMS 2020 at SEAMS
Chair(s): Pooyan JamshidiUniversity of South Carolina
16:00 - 16:05
Talk
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive SystemsTechnical
SEAMS 2020
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 - 16:10
Talk
Applying Deep Learning to Reduce Large Adaptation Spaces of Self-Adaptive Systems with Multiple Types of GoalsTechnical
SEAMS 2020
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 - 16:15
Talk
Towards Classes of Architectural Dependability Assurance of Machine Learning Based SystemsNIER
SEAMS 2020
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 - 16:20
Talk
A Framework for the Analysis of Adaptive Systems Using Bayesian StatisticsNIER
SEAMS 2020
Yuning HeNASA Ames, Johann SchumannNASA Ames
Media Attached
16:20 - 17:20
Other
Q&A and Discussion (Session 1)
SEAMS 2020

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
14:00 - 15:30: Session 3: Composition, Control and TrustworthinessSEAMS 2020 at SEAMS
Chair(s): Danny WeynsKU Leuven
14:00 - 14:05
Talk
An Ontological Architecture for Principled and Automated System of Systems CompositionTechnical
SEAMS 2020
Abdessalam ElhabbashLancaster University, Vatsala NundlollLancaster University, Yehia ElkhatibLancaster University, Gordon BlairLancaster University, Vicent Sanz MarcoLancaster University
DOI Pre-print Media Attached
14:05 - 14:10
Talk
A Platform to Enable Self-Adaptive Cloud Applications Using Trustworthiness PropertiesDemo
SEAMS 2020
José D'Abruzzo PereiraUniversity of Coimbra, Rui SilvaUniversity of Coimbra, Nuno AntunesUniversidade de Coimbra, Jorge Luiz Machado da SilvaUnicamp, Breno de FrançaUNICAMP, Regina MoraesUNICAMP, Marco VieiraUniversity of Coimbra
DOI Pre-print Media Attached
14:10 - 14:15
Talk
Learning Run-time Compositions of Interacting AdaptationsNIER
SEAMS 2020
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland
DOI Pre-print Media Attached
14:15 - 14:20
Talk
Monitoring for Control in Role-oriented Self-Adaptive SystemsDoctoral
SEAMS 2020
Ilja ShmelkinTechnische Universität Dresden, Germany
DOI Pre-print Media Attached
14:20 - 14:25
Talk
A Role-Based Architecture for Self-Adaptive Cyber-Physical SystemsDoctoral
SEAMS 2020
Tim KlugeTU Dresden, Germany
DOI Pre-print Media Attached
14:25 - 15:30
Other
Q&A and Discussion (Session 3)
SEAMS 2020

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

14:00 - 15:15: Keynote 2SEAMS 2020 at SEAMS
Chair(s): Elisabetta Di NittoPolitecnico di Milano
14:00 - 15:15
Keynote
Evolving Robot Software and HardwareKeynote
SEAMS 2020
A.E. EibenVrije Universiteit Amsterdam, Netherlands
Media Attached
15:15 - 15:30: Virtual Coffee Break 2SEAMS 2020 at SEAMS
15:15 - 15:30
Break
Virtual Coffee Break 2
SEAMS 2020
15:30 - 16:50: Session 4: ApplicationsSEAMS 2020 at SEAMS
Chair(s): Genaina RodriguesUniversity of Brasilia
15:30 - 15:35
Talk
Software Architecture and Task Plan Co-Adaptation for Mobile Service RobotsTechnical
SEAMS 2020
Javier CamaraUniversity of York, Bradley SchmerlCarnegie Mellon University, USA, David GarlanCarnegie Mellon University
Pre-print Media Attached
15:35 - 15:40
Talk
Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based ApproachTechnicalBest Paper
SEAMS 2020
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 - 15:45
Talk
Knowledge Aggregation with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical SystemsNIER
SEAMS 2020
Ana PetrovskaTechnical University of Munich, Germany, Sergio QuijanoTechnical University of Munich, Germany, Ilias GerostathopoulosVrije Universiteit Amsterdam, Alexander Pretschner
Pre-print Media Attached
15:45 - 15:50
Talk
Using Component Ensembles for Modeling Autonomic Component Collaboration in Smart FarmingDemo
SEAMS 2020
Petr HnetynkaCharles University, Tomas BuresCharles University, Czech Republic, Ilias GerostathopoulosVrije Universiteit Amsterdam, Jan PacovskýCharles University, Czechia
Pre-print Media Attached
15:50 - 16:50
Other
Q&A and Discussion (Session 4)
SEAMS 2020

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

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

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 2020 at SEAMS
Chair(s): Paola InverardiUniversity of L'Aquila
14:00 - 14:05
Talk
Towards a Code of Ethics for Autonomous and Self-Adaptive SystemsEthical
SEAMS 2020
Danny WeynsKU Leuven
Pre-print Media Attached
14:05 - 14:10
Talk
Human in the Loop: What is the Point of no Return?Ethical
SEAMS 2020
Rogério de LemosUniversity of Kent, UK
Pre-print Media Attached
14:10 - 15:20
Other
Panel and Discussion
SEAMS 2020
15:20 - 15:30: Virtual Coffee Break 3SEAMS 2020 at SEAMS
15:20 - 15:30
Break
Virtual Coffee Break 3
SEAMS 2020
15:30 - 16:00: ClosingSEAMS 2020 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 - 15:35
Awards
SEAMS Most Influential Paper Awards
SEAMS 2020
Zhenjiang HuPeking University, China
15:35 - 15:40
Talk
SEAMS 2006 MIP: Architecture-based self-adaptation in the presence of multiple objectivesMIP
SEAMS 2020
Shang-Wen ChengUber Advanced Technologies Group, David GarlanCarnegie Mellon University, Bradley SchmerlCarnegie Mellon University, USA
Media Attached
15:40 - 15:45
Talk
SEAMS 2007 MIP: An architectural style for solving computationally intensive problems on large networkMIP
SEAMS 2020
Yuriy BrunUniversity of Massachusetts Amherst, Nenad MedvidovićUniversity of Southern California
Link to publication DOI Pre-print Media Attached
15:45 - 16:00
Day closing
SEAMS 2020 Best Paper Awards, SEAMS 2021 Presentation, Closing Remarks
SEAMS 2020
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