SEAMS 2020
Mon 29 June - Fri 3 July 2020
co-located with ICSE 2020
ICSE 2020 (series) / SEAMS 2020 (series) / /

Room information: SEAMS

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 2020 at SEAMS
Chair(s): Radu Calinescu University of York, UK
14:00
30m
Day 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
75m
Keynote
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
Virtual Coffee Break 1SEAMS 2020 at SEAMS
15:45
15m
Break
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
5m
Talk
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
5m
Talk
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
5m
Talk
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
5m
Talk
A Framework for the Analysis of Adaptive Systems Using Bayesian StatisticsNIER
SEAMS 2020
Yuning He NASA Ames, Johann Schumann NASA Ames
Media Attached
16:20
60m
Other
Q&A and Discussion (Session 1)
SEAMS 2020

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
5m
Talk
Leveraging Test Logs for Building a Self-Adaptive Path PlannerNIER
SEAMS 2020
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 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
5m
Talk
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
5m
Talk
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
5m
Talk
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
65m
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 Weyns KU Leuven
14:00
5m
Talk
An Ontological Architecture for Principled and Automated System of Systems CompositionTechnical
SEAMS 2020
Abdessalam Elhabbash Lancaster University, Vatsala Nundloll Lancaster University, Yehia Elkhatib Lancaster University, Gordon Blair Lancaster University, Vicent Sanz Marco Lancaster University
DOI Pre-print Media Attached
14:05
5m
Talk
A Platform to Enable Self-Adaptive Cloud Applications Using Trustworthiness PropertiesDemo
SEAMS 2020
José D'Abruzzo Pereira University of Coimbra, Rui Silva University of Coimbra, Nuno Antunes Universidade de Coimbra, Jorge Luiz Machado da Silva Unicamp, Breno de França UNICAMP, Regina Moraes UNICAMP, Marco Vieira University of Coimbra
DOI Pre-print Media Attached
14:10
5m
Talk
Learning Run-time Compositions of Interacting AdaptationsNIER
SEAMS 2020
Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland
DOI Pre-print Media Attached
14:15
5m
Talk
Monitoring for Control in Role-oriented Self-Adaptive SystemsDoctoral
SEAMS 2020
Ilja Shmelkin Technische Universität Dresden, Germany
DOI Pre-print Media Attached
14:20
5m
Talk
A Role-Based Architecture for Self-Adaptive Cyber-Physical SystemsDoctoral
SEAMS 2020
Tim Kluge TU Dresden, Germany
DOI Pre-print Media Attached
14:25
65m
Other
Q&A and Discussion (Session 3)
SEAMS 2020

Wed 1 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

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

15:30 - 16:50
Session 4: ApplicationsSEAMS 2020 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 2020
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 2020
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 2020
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 2020
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 2020

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
5m
Talk
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
5m
Talk
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
5m
Talk
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
5m
Talk
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
60m
Other
Q&A and Discussion (Session 5)
SEAMS 2020

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
5m
Talk
Towards a Code of Ethics for Autonomous and Self-Adaptive SystemsEthical
SEAMS 2020
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 2020
Rogério de Lemos University of Kent, UK
Pre-print Media Attached
14:10
70m
Other
Panel and Discussion
SEAMS 2020

15:20 - 15:30
Virtual Coffee Break 3SEAMS 2020 at SEAMS
15:20
10m
Break
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
5m
Awards
SEAMS Most Influential Paper Awards
SEAMS 2020
Zhenjiang Hu Peking University, China
15:35
5m
Talk
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
5m
Talk
SEAMS 2007 MIP: An architectural style for solving computationally intensive problems on large networkMIP
SEAMS 2020
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 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

Mon 29 Jun

Displayed time zone: (UTC) Coordinated Universal Time change

Room14:003015:003016:003017:0030
SEAMS

SEAMS 2020

Opening & Keynote 1

SEAMS 2020

Virtual Coffee Break 1

SEAMS 2020

Session 1: AI, Machine Learning and Statistics

Tue 30 Jun

Displayed time zone: (UTC) Coordinated Universal Time change

Room6:00307:00308:00309:003010:003011:003012:003013:003014:003015:0030
SEAMS

SEAMS 2020

Session 2: Testing, Analysis, Reasoning, and Monitoring

SEAMS 2020

Session 3: Composition, Control and Trustworthiness

Wed 1 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Room14:003015:003016:0030
SEAMS

SEAMS 2020

Keynote 2

SEAMS 2020

Virtual Coffee Break 2

SEAMS 2020

Session 4: Applications

Thu 2 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Room7:00308:0030
SEAMS

SEAMS 2020

Session 5: Design, Verification & Explainability

Fri 3 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Room14:003015:0030
SEAMS

SEAMS 2020

Session 6: Ethical Concerns of Self-Adaptive Systems

SEAMS 2020

Virtual Coffee Break 3

SEAMS 2020

Closing

Mon 29 Jun

Displayed time zone: (UTC) Coordinated Universal Time change

Room14:0015304515:0015304516:0015304517:00153045
SEAMS
SEAMS
SEAMS Opening
14:00 - 14:30
SEAMS Keynote
On the Probabilistic Analysis of Neural Networks
14:30 - 15:45
SEAMS
Virtual Coffee Break 1
15:45 - 16:00
SEAMS Technical
A Hybrid Approach Combining Control Theory and AI for Engineering Self- ...
16:00 - 16:05
SEAMS Technical
Applying Deep Learning to Reduce Large Adaptation Spaces of Self-Adapti ...
16:05 - 16:10
SEAMS NIER
Towards Classes of Architectural Dependability Assurance of Machine Lea ...
16:10 - 16:15
SEAMS NIER
A Framework for the Analysis of Adaptive Systems Using Bayesian Statistics
16:15 - 16:20
SEAMS
Q&A and Discussion (Session 1)
16:20 - 17:20

Tue 30 Jun

Displayed time zone: (UTC) Coordinated Universal Time change

Room6:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
SEAMS
SEAMS NIER
Leveraging Test Logs for Building a Self-Adaptive Path Planner
06:00 - 06:05
SEAMS Experience
Supporting Viewpoints to Review the Lack of Requirements in Space Syste ...
06:05 - 06:10
SEAMS TechnicalBest Student Paper
DATESSO: Self-Adapting Service Composition with Debt-Aware Two Levels C ...
06:10 - 06:15
SEAMS NIER
Towards Bridging the Gap between Control and Self-Adaptive System Prope ...
06:15 - 06:20
SEAMS NIER
Explanation for Human-on-the-loop: a probabilistic model checking approach
06:20 - 06:25
SEAMS
Q&A and Discussion (Session 2)
06:25 - 07:30
SEAMS Technical
An Ontological Architecture for Principled and Automated System of Syst ...
14:00 - 14:05
SEAMS Demo
A Platform to Enable Self-Adaptive Cloud Applications Using Trustworthi ...
14:05 - 14:10
SEAMS NIER
Learning Run-time Compositions of Interacting Adaptations
14:10 - 14:15
SEAMS Doctoral
Monitoring for Control in Role-oriented Self-Adaptive Systems
14:15 - 14:20
SEAMS Doctoral
A Role-Based Architecture for Self-Adaptive Cyber-Physical Systems
14:20 - 14:25
SEAMS
Q&A and Discussion (Session 3)
14:25 - 15:30

Wed 1 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Room14:0015304515:0015304516:00153045
SEAMS
SEAMS Keynote
Evolving Robot Software and Hardware
14:00 - 15:15
SEAMS
Virtual Coffee Break 2
15:15 - 15:30
SEAMS Technical
Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots
15:30 - 15:35
SEAMS TechnicalBest Paper
Dynamic Adaptation of Software-defined Networks for IoT Systems: A Sear ...
15:35 - 15:40
SEAMS NIER
Knowledge Aggregation with Subjective Logic in Multi-Agent Self-Adaptiv ...
15:40 - 15:45
SEAMS Demo
Using Component Ensembles for Modeling Autonomic Component Collaboratio ...
15:45 - 15:50
SEAMS
Q&A and Discussion (Session 4)
15:50 - 16:50

Thu 2 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Room7:001530458:00153045
SEAMS
SEAMS Technical
Collective Risk Minimization via a Bayesian Model for Statistical Softw ...
07:00 - 07:05
SEAMS NIER
Expecting the Unexpected: Developing Autonomous-System Design Principle ...
07:05 - 07:10
SEAMS NIER
Self-Protection Against Business Logic Vulnerabilities
07:10 - 07:15
SEAMS NIER
Towards Highly Scalable Runtime Models with History
07:15 - 07:20
SEAMS
Q&A and Discussion (Session 5)
07:20 - 08:20

Fri 3 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Room14:0015304515:00153045
SEAMS
SEAMS Ethical
Towards a Code of Ethics for Autonomous and Self-Adaptive Systems
14:00 - 14:05
SEAMS Ethical
Human in the Loop: What is the Point of no Return?
14:05 - 14:10
SEAMS
Panel and Discussion
14:10 - 15:20
SEAMS
Virtual Coffee Break 3
15:20 - 15:30
SEAMS
SEAMS Most Influential Paper Awards
15:30 - 15:35
SEAMS MIP
SEAMS 2006 MIP: Architecture-based self-adaptation in the presence of m ...
15:35 - 15:40
SEAMS MIP
SEAMS 2007 MIP: An architectural style for solving computationally inte ...
15:40 - 15:45
SEAMS
SEAMS 2020 Best Paper Awards, SEAMS 2021 Presentation, Closing Remarks
15:45 - 16:00