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

Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab, Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. In: Ivan Merelli, Pietro Lio, Igor Kotenko (Eds.), 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 101–108, IEEE, 2018.

Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab, Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones. In: Carlos Coello Coello, Hisao Ishibuchi, Xiaodong Li, Fernando Von Zuben (Eds.), 2018 IEEE Congress on Evolutionary Computation (CEC), 1–8, IEEE, 2018.

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. In: Bhavani Thuraisingham, Yushun Fan (Eds.), 2018 IEEE International Conference on Web Services, ICWS 2018, San Francisco, CA, USA, July 2-7, 2018, 131–138, IEEE, 2018.

Elena Troubitsyna, Inna Vistbakka, Deriving and Formalising Safety and Security Requirements for Control Systems. In: Barbara Gallina, Amund Skavhaug, Friedemann Bitsch (Eds.), Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21,2018, Proceedings, Lecture Notes in Computer Science 11093, 107–122, Springer, 2018.

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

Inna Vistbakka, Amin Majd, Elena Troubitsyna, Autonomous Resilient Systems: Derivation of Mode Logic Using Event-B. TUCS Technical Reports 1199, 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.