Program

	Wednesday - 10/14/15	Thursday - 10/15/15	Friday - 10/16/15
08:00	Registration	Registration
09:20	Opening
09:30	Keynote speech: Martin Wirsing Chair: Peter Ölveczky	Keynote speech: David Deharbe Chair: Christiano Braga	Keynote speech: Renato Cerqueira Chair: Christiano Braga
10:30	Cofee break	Cofee break	Cofee break
11:00	Session 1 Chair: Marius Bozga	Session 3 Chair: Dragan Bosnacki	Session 5 Chair: Bruno Lopes
12:30	Lunch break	Lunch break	Closing
14:30	Session 2 Chair: Anamaria Moreira	Session 4 Chair: Simon Bliudze
16:00	Reception	SC meeting
18:00		Conference dinner

Session 1 Architecture modeling and Middleware	Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware
Session 2 Connectors and Product Families	Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. Composing Constraint Automata, State-by-State Jose Proenca and Dave Clarke. Typed Connector Families Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. Combinatory Synthesis of Classes using Feature Grammars
Session 3 Cloud computing	Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. Time complexity of concurrent programs
Session 4 Semantics	Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. k -bisimulation: a bisimulation for measuring the dissimilarity between processes Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors Flavio Corradini, Andrea Polini, Barbara Re and Francesco Tiezzi. An Operational Semantics of BPMN Collaboration
Session 5 Compositional and modular methods	Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. A robust framework for securing composed Web Services Yael Meller, Orna Grumberg and Karen Yorav. Learning-Based Compositional Model Checking of Behavioral UML Systems Dragan Bosnacki, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models