Elena Troubitsyna

Research Associate, Computer Science
Research Associate, Information Technology common
Email: elena.troubitsyna@abo.fi
Mobile: +358-415226959
Phone: +358-2-2154086


Peer-reviewed publications

A4 Conference proceedings
Deriving and Formalising Safety and Security Requirements for Control Systems (2018)
Elena Troubitsyna, Inna Vistbakka
Springer
View on publisher's site
A4 Conference proceedings
Deriving Mode Logic for Autonomous Resilient Systems (2018)
Inna Vistbakka, Amin Majd, Elena Troubitsyna
Springer
View on publisher's site
A4 Conference proceedings
Designing Compact Convolutional Neural Network for Embedded Stereo Vision Systems (2018)
Mohammad Loni, Amin Majd, Abdolah Loni, Masoud Daneshtalab, Mikael Sjödin, Elena Troubitsyna
IEEE
View on publisher's site
A4 Conference proceedings
Formal Verification of Stateful Services with REST APIs Using Event-B (2018)
Irum Rauf, Inna Vistbakka, Elena Troubitsyna
IEEE
View on publisher's site
A4 Conference proceedings
Generating cloud monitors from models to secure clouds (2018)
Troubitsyna Elena, Rauf Irum
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones (2018)
Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab
IEEE
View on publisher's site
A4 Conference proceedings
Modelling and Verification of Dynamic Role-Based Access Control (2018)
Inna Vistbakka, Elena Troubitsyna
Springer
View on publisher's site
A4 Conference proceedings
Multi-layered Approach to Safe Navigation of Swarms of Drones (2018)
Inna Vistbakka, Amin Majd, Elena Troubitsyna
Springer
View on publisher's site
A4 Conference proceedings
NOMeS: Near-Optimal Metaheuristic Scheduling for MPSoCs (2018)
Amin Majd, Masoud Daneshtalab, Juha Plosila, Nima Khalilzad, Golnaz Sahebi, Elena Troubitsyna
IEEE
View on publisher's site
A4 Conference proceedings
Optimal Placement for Smart Mobile Access Points (2018)
Amin Majd, Elena Troubitsyna, Masoud Daneshtalab
IEEE
View on publisher's site
A4 Conference proceedings
Towards a Formal Approach to Analysing Security of Safety-Critical Systems (2018)
Inna Vistbakka, Elena Troubitsyna
IEEE
View on publisher's site
A4 Conference proceedings
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B (2018)
Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
Springer
View on publisher's site
A4 Conference proceedings
Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones (2018)
Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab
IEEE
View on publisher's site
A4 Conference proceedings
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook (2017)
Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala
Springer
View on publisher's site
A1 Journal article (refereed)
Formal reasoning about resilient goal-oriented multi-agent systems (2017)
L. Laibinis, I. Pereverzeva, E. Troubitsyna
Science of Computer Programming
View on publisher's site
A4 Conference proceedings
Optimal Smart Mobile Access Point Placement for Maximal Coverage and Minimal Communication (2017)
Amin Majd, Masoud Daneshtalab, Elena Troubitsyna, Golnaz Sahebi
ACM
View on publisher's site
A4 Conference proceedings
Optimizing Scheduling for Heterogeneous Computing Systems using Combinatorial Meta-heuristic Solution (2017)
Amin Majd, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna
IEEE
View on publisher's site
A4 Conference proceedings
Safety-Aware Control of Swarms of Drones (2017)
Amin Majd, Elena Troubitsyna, Masoud Daneshtalab
Springer
View on publisher's site
A4 Conference proceedings
Towards a Realtime, Collision-Free Motion Coordination and Navigation System for a UAV Fleet (2017)
Adnan Ashraf, Amin Majd, Elena Troubitsyna
ACM
View on publisher's site
A4 Conference proceedings
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks (2016)
Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns
Springer
View on publisher's site
A4 Conference proceedings
Formalisation-Driven Development of Safety-Critical Systems (2016)
Alexei Iliasov, Alexander Romanovsky, Elena Troubitsyna, Linas Laibinis
IEEE
View on publisher's site
A4 Conference proceedings
Towards Security-Explicit Formal Modelling of Safety-Critical Systems (2016)
Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
Springer
View on publisher's site
A1 Journal article (refereed)
Facilitating Construction of Safety Cases from Formal Models in Event-B (2015)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
Information and Software Technology
View on publisher's site
A4 Conference proceedings
From Requirements Engineering to Safety Assurance: Refinement Approach (2015)
Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky
Springer
View on publisher's site
A1 Journal article (refereed)
Integrating Stochastic Reasoning Into Event-B Development (2015)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Formal Aspects of Computing
View on publisher's site
A4 Conference proceedings
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation (2015)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
Springer
View on publisher's site
A4 Conference proceedings
Towards Visualisation of Resilience Assessment for Large-Scale Systems (2015)
Elena Troubitsyna and Linas Laibinis
IEEE
View on publisher's site
A4 Conference proceedings
Formal Derivation of Distributed MapReduce (2014)
Pereverzeva I, Butler M, Fathabadi AS, Laibinis L, Troubitsyna E
Springer
View on publisher's site
A4 Conference proceedings
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (2014)
Laibinis L, Troubitsyna E, Graja Z, Migeon F, Kacem AH
Springer
View on publisher's site
A4 Conference proceedings
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (2014)
Laibinis L, Byholm B, Pereverzeva I, Troubitsyna E, Tan KE, Porres I
Springer
View on publisher's site
A1 Journal article (refereed)
Kaisa Sere: In Memoriam. (2014)
Luigi Petre, Elena Troubitsyna, Marina Waldén
Formal Aspects of Computing
View on publisher's site
A4 Conference proceedings
Modelling Resilience of Data Processing Capabilities of CPS (2014)
Laibinis L, Klionskiy D, Troubitsyna E, Dorokhov A, Lilius J, Kupriyanov M
Springer
View on publisher's site
A4 Conference proceedings
Modelling Resilient Systems-of-Systems in Event-B (2014)
Laibinis L, Pereverzeva I, Troubitsyna E
Springer
View on publisher's site
A4 Conference proceedings
A Case Study in Refinement-Based Modelling of a Resilient Control System (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
Springer
View on publisher's site
A1 Journal article (refereed)
A Refinement-Based Approach to Developing Critical Multi-Agent Systems (2013)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
International Journal of Critical Computer-Based Systems
View on publisher's site
A1 Journal article (refereed)
A Survey of Safety-Oriented Model-Driven and Formal Development Approaches (2013)
Yuliya Prokhorova, Elena Troubitsyna
International Journal of Critical Computer-Based Systems
View on publisher's site
A4 Conference proceedings
Formal Development and Quantitative Assessment of a Resilient Multi-Robotic System (2013)
Tarasyuk A, Pereverzeva I, Troubitsyna E, Laibinis L
Springer
A4 Conference proceedings
Formalisation of an Industrial Approach to Monitoring Critical Data (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala
Springer
View on publisher's site
A4 Conference proceedings
A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Springer
View on publisher's site
A1 Journal article (refereed)
Deriving a Mode Logic Using Failure Modes and Effects Analysis (2012)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
International Journal of Critical Computer-Based Systems
View on publisher's site
A4 Conference proceedings
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B (2012)
Pereverzeva I, Troubitsyna E, Laibinis L
ACM CoRR
A4 Conference proceedings
Formal Development and Assessment of a Reconfigurable On-Board Satellite System (2012)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila
Springer
View on publisher's site
A4 Conference proceedings
Formal Development of Critical Multi-Agent Systems: A Refinement Approach (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
IEEE
View on publisher's site
A4 Conference proceedings
Formal Goal-Oriented Development of Resilient MAS in Event-B (2012)
Pereverzeva I, Troubitsyna E, Laibinis L
Springer
View on publisher's site
A4 Conference proceedings
Derivation and Formal Verification of a Mode Logic for Layered Control Systems (2011)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
IEEE
View on publisher's site
A3 Book section, Chapters in research books
Development of Safety-Critical Control Systems in Event-B Using FMEA (2011)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Information science reference IGI
View on publisher's site
A4 Conference proceedings
Patterns for Representing FMEA in Formal Specification of Control Systems (2011)
Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
IEEE
View on publisher's site
A3 Book section, Chapters in research books
Towards Designing FPGA-Based Systems by Refinement in B (2011)
Sergey Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Information science reference IGI
View on publisher's site
A4 Conference proceedings
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
Springer
View on publisher's site


Other publications

D4 Published development or research report or study
Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems (2015)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
D4 Published development or research report or study
Formal Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
D4 Published development or research report or study
Towards Rigorous Construction of Safety Cases (2014)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
D3 Professional conference proceedings
Development of a Dependable Multi-Agent System by Refinement in Event-B (2011)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Technical University of Denmark
D4 Published development or research report or study
Integrating FMEA into Event-B Development of Safety-Critical Control Systems (2010)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
D4 Published development or research report or study
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
D4 Published development or research report or study
A Methodology for Co-design Based on a Healthcare Case Study (2001)
Petre L, Rönkkö M, Troubitsyna E, Waldén M, Jansson M
D4 Published development or research report or study
A Methodology for integration of formal methods in a healthcare case study (2001)
Luigia Petre, Elena Troubitsyna, Marina Waldén, Pontus Boström, Niklas Engblom, Micaela Jansson

Last updated on 2019-24-03 at 08:09

Share link