Wednesday 14th May

A formal correct-by-construction approach for system substitution
Guillaume Babin

On Cloud-Based Engineering of Dependable Systems
Sami Alajrami

Orthogonal Fault Tolerance for Dynamically Adaptive Systems
Sobia Khan

Unit verification procedure as a test of real time messaging-based processes
Miklos Taliga

Important dates:

Submission deadline: April 2nd, 2014
Notification: April 7th, 2014
Camera ready: April 23rd, 2014

Student Forum Chair:
Elena Troubitsyna, Abo Akademi University, Finland
e-mail: Elena.Troubitsyna@abo.fi

Programme Committee:
Alexei Iliasov, Newcastle University, UK
Linas Laibinis, Abo Akademi University, Finland
Andras Pataricza, Budapest University of Technology and Economics, Hungary
Matthieu Roy, LAAS, France
Marco Vieira, University of Coimbra, Portugal