* 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 May Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | UncertaintySEAMS 2018 at E1 room Chair(s): Hausi MüllerUniversity 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 KinneerCarnegie Mellon University, Zack CokerCarnegie Mellon University, Jiacheng WangDickinson College, David GarlanCarnegie Mellon University, Claire Le GouesCarnegie Mellon University | ||
14:25 15m | Uncertainty Reduction in Self-Adaptive SystemsShort Paper SEAMS 2018 Gabriel A. MorenoCarnegie Mellon University, USA, Javier CamaraCarnegie Mellon University, David GarlanCarnegie Mellon University, Mark KleinCarnegie Mellon University | ||
14:40 25m | Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper SEAMS 2018 Ilias GerostathopoulosTechnical University of Munich, Christian Prehoferfortiss, Germany, Tomas BuresCharles University, Czech Republic Pre-print | ||
15:05 15m | Trace Checking for Dynamic Software Product LinesShort Paper SEAMS 2018 Rafael OlaecheaUniversity of Waterloo, Joanne M. AtleeUniversity of Waterloo, Canada, Axel Legay, Uli FahrenbergÉcole Polytechnique | ||