Write a Blog >>
ACSOS 2020
Mon 17 - Fri 21 August 2020
Wed 19 Aug 2020 17:25 - 17:45 at Presentation Room B - Model-based Systems Chair(s): Rose Gamble

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)