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

Irum Rauf, Elena Troubitsyna, Securing Open Source Clouds Using Models. In: Fuyuki Ishikawa, Patrizio Pelliccione, Elena Troubitsyna (Eds.), nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, 50–65, Electronic Proceedings in Theoretical Computer Science, 2018.

Irum Rauf, Inna Vistbakka, Elena Troubitsyna, Formal Verification of Stateful Services with REST APIs using Event-B. TUCS Technical Reports 1192, TUCS, 2018.

Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna, Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems. Science of Computer Programming , 1–22, 2017.

Adnan Ashraf, Amin Majd, Elena Troubitsyna, Towards a Realtime, Collision-Free Motion Coordination and Navigation System for a UAV Fleet. In: Ondrej Rysavy, Valentino Vranić (Eds.), Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, ECBS '17, 11:1–11:9, ACM, 2017.

Irum Rauf, Elena Troubitsyna, Towards a Model-Driven Security Assurance of Open Source Components. In: Alexander Romanovsky, Elena Troubitsyna (Eds.), 9th International Workshop on Software Engineering for Resilient Systems (SERENE 2017) September 4-5, 2017, Geneva, Switzerland. Proceedings, LNCS-10479, 65–80, SpringerLink, 2017.