* 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
14:00 - 15:30: SEAMS 2018 - Uncertainty at E1 room Chair(s): Hausi MüllerUniversity of Victoria, Computer Science, Faculty of Engineering, Canada | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:25 | Cody KinneerCarnegie Mellon University, Zack CokerCarnegie Mellon University, Jiacheng WangDickinson College, David GarlanCarnegie Mellon University, Claire Le GouesCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 14:25 - 14:40 | Gabriel A. MorenoCarnegie Mellon University, USA, Javier CamaraCarnegie Mellon University, David GarlanCarnegie Mellon University, Mark KleinCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:05 | Ilias GerostathopoulosTechnical University of Munich, Christian Prehoferfortiss, Germany, Tomas BuresCharles University, Czech Republic Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:05 - 15:20 | Rafael OlaecheaUniversity of Waterloo, Joanne M. AtleeUniversity of Waterloo, Canada, Axel Legay, Uli FahrenbergÉcole Polytechnique | |||||||||||||||||||||||||||||||||||||||||