Banner of Newcastle upon Tyne Famous Bridges

The Student Forum - Selected Papers

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

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