Design-Time Validation of Runtime Reconfiguration Strategies: An Environmental-Driven Approach (ACSOS 2020 - Research Papers) - ACSOS 2020

Write a Blog >>

Mon 17 - Fri 21 August 2020

Who

Max Scheerer, Martina Rapp, Ralf Reussner

Track

ACSOS 2020 Research Papers

Time Zone

The program is currently displayed in (GMT+01:00) London.

Use conference time zone: (GMT+01:00) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 19 Aug 2020 17:25 - 17:45 at Presentation Room B - Model-based Systems Chair(s): Rose Gamble

Max Scheerer

FZI Research Center for Information Technology, Germany

Martina Rapp

FZI Research Center for Information Technology

Ralf Reussner

Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)

Germany

Time Zone

The program is currently displayed in (GMT+01:00) London.

Use conference time zone: (GMT+01:00) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Wed 19 Aug
Displayed time zone: London change

	16:45 - 17:45	Model-based SystemsResearch Papers at Presentation Room B Chair(s): Rose Gamble University of Tulsa

	16:45 20m Full-paper		Hybrid Planning Using Learning and Model Checking for Autonomous Systems Research Papers Ashutosh Pandey Carnegie Mellon University, USA, and Facebook, Inc., Ivan Ruchkin , Bradley Schmerl Carnegie Mellon University, USA, David Garlan Carnegie Mellon University
	17:05 20m Full-paper		REACT: A Model-Based Runtime Environment for Adapting Communication Systems Research Papers Martin Pfannemüller University of Mannheim, Martin Breitbach University of Mannheim, Christian Krupitzer University of Würzburg, Germany, Markus Weckesser TU Darmstadt, Christian Becker University of Mannheim, Bradley Schmerl Carnegie Mellon University, USA, Andy Schürr TU Darmstadt
	17:25 20m Short-paper		Design-Time Validation of Runtime Reconfiguration Strategies: An Environmental-Driven Approach Research Papers Max Scheerer FZI Research Center for Information Technology, Germany, Martina Rapp FZI Research Center for Information Technology, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)