8:30 | - | 9:00 | Registration |
9:00 | Opening | ||
9:00 | - | 10:00 | COST Action IC0901 "Rich-Model Toolkit": Infrastructure for reliable computer systems Keynote |
10:00 | - | 10:30 | Coffee break |
10:30 | - | 12:30 | ParaPhrase: Parallel patterns for adaptive heterogeneous multicore systems Kevin Hammond: ParaForming: Using Advanced Refactorings to Form Parallel Programs Horacio González-Vélez: Dynamic Task Placement for Heterogeneous Multi-Core Processors (slides) Marco Aldinucci: FastFlow: Performance and Productivity in the Exascale Era Marco Danelutto: Managing Adaptivity in Parallel Systems |
12:30 | - | 14:00 | Lunch |
14:00 | - | 15:00 | COST Action IC0901 "Rich-Model Toolkit": Infrastructure for reliable computer systems Keynote |
15:00 | - | 15:30 | Coffee break |
15:30 | - | 17:00 | ParaPhrase: Parallel patterns for adaptive heterogeneous multicore systems Chris Brown: The ParaPhrase project: Exploiting Parallel Patterns for Heterogeneous Architectures EternalS: Trustworthy eternal systems via evolving software HATS: Ina Schaefer: Deductive Verification of Software Product Lines HATS: Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Integrating Aspects of Software Deployment in High-Level Executable Models |
17:00 | - | 17:15 | Short break |
17:15 | - | 18:15 | EternalS: Trustworthy eternal systems via evolving software Connect: Anna-Lena Lamprecht, Ina Schaefer, and Bernhard Steffen: Constraint-based Variability Modeling and Analysis SecureChange: Matthias Gander, Basel Katt, Michael Felderer, Ruth Breu: Towards a Model-Based and Learning-Based Framework for Anomaly Detection |
8:30 | - | 9:00 | Registration |
9:00 | - | 10:30 | PRO3D: Programming for future 3D architectures with many cores
Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Burgos, Joseph Sifakis: Component assemblies in the context of manycore (slides) |
10:30 | - | 11:00 | Coffee break |
11:00 | - | 12:30 | PRO3D: Programming for future 3D architectures with many cores
Sylvain Durand, Suzanne Lesecq, Edith Beigne, Christian Fabre: Low cost dynamic voltage and frequency policy based upon robust control techniques EternalS: Trustworthy eternal systems via evolving software LivingKnowledge: Amel Bennaceur, Richard Johansson, Alessandro Moschitti, Rachid Saadi, Romina Spalazzese, Daniel Sykes, Valérie Issarny: Automatically Identifying Compatible Networked Systems through Learning (slides) |
12:30 | - | 14:00 | Lunch |
14:00 | - | 15:30 | ASCENS: Autonomic service-component ensembles Matthias Hölzl: Adaptation and Awareness in Ensembles Rocco De Nicola, Gianluigi Ferrari, Michele Loreti, Rosario Pugliese: SCEL: Service Component Ensemble Language (slides) Roberto Bruni, Ugo Montanari: A Unified Approach for Resource-aware, Component-based Network Models |
15:30 | - | 16:00 | Coffee break |
16:00 | - | 17:30 | EternalS: Trustworthy eternal systems via evolving software QMUL: Tomas Piatrik: Demonstration for the 3DLife Framework WITS: Leigh Griffin, Peter Elger and Eamonn de Leastar: Project Zeppelin: A Modern Web Application Development Framework WITS: Robert Mullins, Jim Clarke: Roadmap of the EternalS Project |
20:00 | Conference dinner |
8:30 | - | 9:00 | Registration |
9:00 | - | 10:30 | Keynote Talk, joint with FoVeOOS Alan Mycroft (Cambridge University): Using Kilim's Isolation Types for Multicore Efficiency (slides) COST Action IC0701 "Formal Verification of Object-oriented Software" Bogdan Tofan, Gerhard Schellhorn and Wolfgang Reif: Local Rely-Guarantee Reasoning for Linearizability and Lock-Freedom |
10:30 | - | 11:00 | Coffee break |
11:00 | - | 12:30 | COST Action IC0701 "Formal Verification of Object-oriented Software"
Lucian Bentea and Olaf Owe: A Framework for Object-Oriented Modeling and Analysis of Probabilistic Open Distributed Systems Arnd Poetzsch-Heffter, Ilham W. Kurnia and Christoph Feller: Verification of Dynamic Actor Systems Needs Specification Techniques for Strong Causality and Hierarchical Reasoning |
12:30 | - | 14:00 | Lunch |