Conference Dates
Conference Dates are in time zone (UTC) Coordinated Universal Time, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Mon 29 Jun Times are displayed in time zone: (UTC) Coordinated Universal Time change
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 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 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
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 | ||
Wed 1 Jul 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
| 14:00 - 15:15 Keynote | Evolving Robot Software and HardwareKeynote SEAMS 2020 A.E. EibenVrije Universiteit Amsterdam, Netherlands Media Attached | ||
| 15:15 - 15:30 Break | Virtual Coffee Break 2 SEAMS 2020 | ||
Thu 2 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
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
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 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 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
Mon 29 Jun
Times are displayed in time zone: (UTC) Coordinated Universal Time change
| Room | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 30 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
| Room | 6:00 | 30 | 7:00 | 30 | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Wed 1 Jul 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
| Room | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | ||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Thu 2 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
| Room | 7:00 | 30 | 8:00 | 30 | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Fri 3 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
Mon 29 Jun Times are displayed in time zone: (UTC) Coordinated Universal Time change
Mon 29 Jun
Times are displayed in time zone: (UTC) Coordinated Universal Time change
| Room | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| SEAMS | SEAMS SEAMS Opening 14:00 - 14:30 | SEAMS Virtual Coffee Break 1 15:45 - 16:00 | SEAMS Q&A and Discussion (Session 1) 16:20 - 17:20 | |||||||||||||||||||||||||||||||||||||||||||||
Tue 30 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
| Room | 6:00 | 15 | 30 | 45 | 7:00 | 15 | 30 | 45 | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| SEAMS | SEAMS Q&A and Discussion (Session 2) 06:25 - 07:30 | SEAMS Q&A and Discussion (Session 3) 14:25 - 15:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 1 Jul 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
| Room | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| SEAMS | SEAMSKeynote Evolving Robot Software and Hardware 14:00 - 15:15 | SEAMS Virtual Coffee Break 2 15:15 - 15:30 | SEAMS Q&A and Discussion (Session 4) 15:50 - 16:50 | |||||||||||||||||||||||||||||||||
Thu 2 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
| Room | 7:00 | 15 | 30 | 45 | 8:00 | 15 | 30 | 45 | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| SEAMS | SEAMS Q&A and Discussion (Session 5) 07:20 - 08:20 | |||||||||||||||||||||||
Fri 3 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
| Room | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| SEAMS | 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 | |||||||||||||||||||||
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format