* ICSE 2018 * (series) / SEAMS 2018 (series) / 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems / Trace Checking for Dynamic Software Product Lines
Trace Checking for Dynamic Software Product LinesShort Paper
Mon 28 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 28 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | UncertaintySEAMS 2018 at E1 room Chair(s): Hausi Müller University of Victoria, Computer Science, Faculty of Engineering, Canada | ||
14:00 25m | Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic SearchLong Paper SEAMS 2018 Cody Kinneer Carnegie Mellon University, Zack Coker Carnegie Mellon University, Jiacheng Wang Dickinson College, David Garlan Carnegie Mellon University, Claire Le Goues Carnegie Mellon University | ||
14:25 15m | Uncertainty Reduction in Self-Adaptive SystemsShort Paper SEAMS 2018 Gabriel A. Moreno Carnegie Mellon University, USA, Javier Camara Carnegie Mellon University, David Garlan Carnegie Mellon University, Mark Klein Carnegie Mellon University | ||
14:40 25m | Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper SEAMS 2018 Ilias Gerostathopoulos Technical University of Munich, Christian Prehofer fortiss, Germany, Tomas Bures Charles University, Czech Republic Pre-print | ||
15:05 15m | Trace Checking for Dynamic Software Product LinesShort Paper SEAMS 2018 Rafael Olaechea University of Waterloo, Joanne M. Atlee University of Waterloo, Canada, Axel Legay , Uli Fahrenberg École Polytechnique | ||