Where academic tradition
meets the exciting future

Elena Troubitsyna

TUCS GP Supervisor at Åbo Akademi University, Department of Information Technologies

TUCS Research Unit: Distributed Systems Laboratory (DS Lab)

e-mail: etroubit@abo.fi

Current TUCS GP Students:

Kashif Javed (Åbo Akademi University, Department of Information Technologies)

Alumni:

Dubravka Ilic (Åbo Akademi University, Department of Information Technologies)

Inna Pereverzeva (Åbo Akademi University, Department of Information Technologies)

Yuliya Prokhorova (Åbo Akademi University, Department of Information Technologies)

Anton Tarasyuk (Åbo Akademi University, Department of Information Technologies)

Latest publications:

Click here to see the full list of publications from the TUCS Publication Database

Alexei Iliasov, Alexander Romanovsky, Elena Troubitsyna, Linas Laibinis, Formalisation-Driven Development of Safety-Critical Systems. In: Radu Babiceanu, Helene Waeselynck (Eds.), HASE 2016 -- IEEE High Assurance Systems Engineering Symposium, 165–172, IEEE, 2016.

Linas Laibinis, Elena Troubitsyna, A Contract-Based Approach to Ensuring Component Interoperability in Event-B. In: Luigia Petre, Emil Sekerinski (Eds.), From Action Systems to Distributed Systems, 81–96, Taylor & Francis, 2016.