Research Track Session

June 4th, Wednesday, 10:30 am - 12:30 pm
Chair: Joanne Atlee
Room: Hall 2

10:30 - 11:00 Verifying Component and Connector Models against Crosscutting Structural Views
Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe
Tel Aviv University, Israel; RWTH Aachen University, Germany
11:00 - 11:30 TradeMaker: Automated Dynamic Analysis of Synthesized Tradespaces
Hamid Bagheri, Chong Tang, and Kevin Sullivan
George Mason University, USA; University of Virginia, USA
11:30 - 12:00 Lifting Model Transformations to Product Lines
Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, and Marsha Chechik
University of Toronto, Canada
12:00 - 12:30 Automated Goal Operationalisation Based on Interpolation and SAT Solving
Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, and Sebastian Uchitel
Universidad Nacional de Río Cuarto, Argentina; Imperial College London, UK; Universidad de Buenos Aires, Argentina