Filter
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: SEAMS 2020 - Opening & Keynote 1 at SEAMS Chair(s): Radu CalinescuUniversity of York, UK | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Day opening | Shinichi HonidenWaseda University / National Institute of Informatics, Japan, Radu CalinescuUniversity of York, UK, Elisabetta Di NittoPolitecnico di Milano | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:45 Keynote | Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:30: SEAMS 2020 - Session 1: AI, Machine Learning and Statistics at SEAMS Chair(s): Pooyan JamshidiUniversity of South Carolina | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:05 Talk | 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 | 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 | 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 | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 17:20 Other | ||||||||||||||||||||||||||||||||||||||||||
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: SEAMS 2020 - Session 2: Testing, Analysis, Reasoning, and Monitoring at SEAMS Chair(s): Sona GhahremaniHasso Plattner Institute, University of Potsdam | ||||||||||||||||||||||||||||||||||||||||||
| 06:00 - 06:05 Talk | 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 | 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 | 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 | 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 | 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 | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: SEAMS 2020 - Session 3: Composition, Control and Trustworthiness at SEAMS Chair(s): Danny WeynsKU Leuven | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:05 Talk | 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 | 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 | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:20 Talk | Ilja ShmelkinTechnische Universität Dresden, Germany DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:25 Talk | Tim KlugeTU Dresden, Germany DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:25 - 15:30 Other | ||||||||||||||||||||||||||||||||||||||||||
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 | A.E. EibenVrije Universiteit Amsterdam, Netherlands Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:30 - 16:50: SEAMS 2020 - Session 4: Applications at SEAMS Chair(s): Genaina RodriguesUniversity of Brasilia | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:35 Talk | Javier CamaraUniversity of York, Bradley SchmerlCarnegie Mellon University, USA, David GarlanCarnegie Mellon University Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:35 - 15:40 Talk | 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 | 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 | 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 | ||||||||||||||||||||||||||||||||||||||||||
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: SEAMS 2020 - Session 5: Design, Verification & Explainability at SEAMS Chair(s): Javier CamaraUniversity of York | ||||||||||||||||||||||||||||||||||||||||||
| 07:00 - 07:05 Talk | 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 | 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 | Silvan ZellerOmegapoint AB, Sweden, Narges KhakpourLinnaeus University, Danny WeynsKU Leuven, Daniel DeogunOmegapoint AB, Sweden Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 07:15 - 07:20 Talk | 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 | ||||||||||||||||||||||||||||||||||||||||||
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: SEAMS 2020 - Session 6: Ethical Concerns of Self-Adaptive Systems at SEAMS Chair(s): Paola InverardiUniversity of L'Aquila | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:05 Talk | Danny WeynsKU Leuven Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:05 - 14:10 Talk | Rogério de LemosUniversity of Kent, UK Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:10 - 15:20 Other | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 16:00: SEAMS 2020 - Closing 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 | Zhenjiang HuPeking University, China | |||||||||||||||||||||||||||||||||||||||||
| 15:35 - 15:40 Talk | Shang-Wen ChengUber Advanced Technologies Group, David GarlanCarnegie Mellon University, Bradley SchmerlCarnegie Mellon University, USA Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:40 - 15:45 Talk | Link to publication DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:45 - 16:00 Day closing | 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 | 14:00 - 14:30 | 15:45 - 16:00 | 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 | 06:25 - 07:30 | 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 | 14:00 - 15:15 | 15:15 - 15:30 | 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 | 07:20 - 08:20 | |||||||||||||||||||||||
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