| 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 |