SATTA 2017 ------------------------------------ Date: April 4, 2017 Location: ROOM D Presentations (11:10-12:50) 15 mins each presentation+ 5 mins questions Welcome Message from the Track Chair (Rafael Capilla) (11:10-11:15) Full papers ----------------------------- 1. Exploring Anomaly Detection in Systems of Systems (11:15-11-35) PRESENTER: Tommaso Zoppi, University of Florence, Italy Andrea Ceccarelli, University of Florence, Italy Andrea Bondavalli, University of Florence, Italy 2. Knowledge Based Decision Framework For Architecting Complex Systems (11:35-11:50) Ramakrishnan Raman, Honeywell Technology Solutions Lab, India PRESENTER: Meenakshi D'Souza, International Institute Of Information Technology Bangalore, India 3. Reconfigurable Service-Based Architecture Based on Variability Description (11:50-12:10) Seza Adjoyan, LIRMM, CNRS, University of Montpellier, France PRESENTER: Abdelhak-Djamel Seriai, LIRMM, CNRS, University of Montpellier, France 4. Collaborative Development of Feature Models and Evaluation of Performance Bounds (12:10-12:30) PRESENTER: Paolo Arcaini, Charles University, Czech Republic Catia Trubiani, Gran Sasso Science Institute, Italy 5. Formal Verification of Storm Topologies through D-VerT (12:30-12:50) PRESENTER: Francesco Marconi, Politecnico di Milano, Italy Marcello Maria Bersani, Politecnico di Milano, Italy Matteo Rossi, Politecnico di Milano, Italy Poster Papers ------------------------------ 1. That's Enough: Asynchrony with Standard Choreography Primitives Luís Cruz-Filipe, University of Southern Denmark, Denmark Fabrizio Montesi, University of Southern Denmark, Denmark 2. Defining an Architecture in a Volatile Environment - Lessons Learned from a Biobank Infrastructure Project Jarkko Hyysalo, University of Oulu, Finland Gavin Harper, University of Oulu, Finland Jaakko Sauvola, University of Oulu, Finland Anja Keskinarkaus, University of Oulu, Finland Ilkka Juuso, University of Oulu, Finland Miikka Salminen, University of Oulu, Finland Juha Partala, University of Oulu, Finland