Elena Troubitsyna

Projektforskare, Datavetenskap
E-post: elena.troubitsyna@abo.fi
Mobiltelefon: +358-415226959
Telefon: +358-2-2154086


Referentgranskade publikationer

A4 Konferenspublikationer
Deriving and Formalising Safety and Security Requirements for Control Systems (2018)
Elena Troubitsyna, Inna Vistbakka
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Deriving Mode Logic for Autonomous Resilient Systems (2018)
Inna Vistbakka, Amin Majd, Elena Troubitsyna
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
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
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Verification of Stateful Services with REST APIs Using Event-B (2018)
Irum Rauf, Inna Vistbakka, Elena Troubitsyna
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Generating cloud monitors from models to secure clouds (2018)
Troubitsyna Elena, Rauf Irum
IEEE Computer Society
Visa på utgivarens sida
A4 Konferenspublikationer
Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones (2018)
Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Modelling and Verification of Dynamic Role-Based Access Control (2018)
Inna Vistbakka, Elena Troubitsyna
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Multi-layered Approach to Safe Navigation of Swarms of Drones (2018)
Inna Vistbakka, Amin Majd, Elena Troubitsyna
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
NOMeS: Near-Optimal Metaheuristic Scheduling for MPSoCs (2018)
Amin Majd, Masoud Daneshtalab, Juha Plosila, Nima Khalilzad, Golnaz Sahebi, Elena Troubitsyna
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Optimal Placement for Smart Mobile Access Points (2018)
Amin Majd, Elena Troubitsyna, Masoud Daneshtalab
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Towards a Formal Approach to Analysing Security of Safety-Critical Systems (2018)
Inna Vistbakka, Elena Troubitsyna
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B (2018)
Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones (2018)
Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook (2017)
Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal reasoning about resilient goal-oriented multi-agent systems (2017)
L. Laibinis, I. Pereverzeva, E. Troubitsyna
Science of Computer Programming
Visa på utgivarens sida
A4 Konferenspublikationer
Optimal Smart Mobile Access Point Placement for Maximal Coverage and Minimal Communication (2017)
Amin Majd, Masoud Daneshtalab, Elena Troubitsyna, Golnaz Sahebi
ACM
Visa på utgivarens sida
A4 Konferenspublikationer
Optimizing Scheduling for Heterogeneous Computing Systems using Combinatorial Meta-heuristic Solution (2017)
Amin Majd, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Safety-Aware Control of Swarms of Drones (2017)
Amin Majd, Elena Troubitsyna, Masoud Daneshtalab
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Towards a Realtime, Collision-Free Motion Coordination and Navigation System for a UAV Fleet (2017)
Adnan Ashraf, Amin Majd, Elena Troubitsyna
ACM
Visa på utgivarens sida
A4 Konferenspublikationer
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks (2016)
Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Formalisation-Driven Development of Safety-Critical Systems (2016)
Alexei Iliasov, Alexander Romanovsky, Elena Troubitsyna, Linas Laibinis
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Towards Security-Explicit Formal Modelling of Safety-Critical Systems (2016)
Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Facilitating Construction of Safety Cases from Formal Models in Event-B (2015)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
Information and Software Technology
Visa på utgivarens sida
A4 Konferenspublikationer
From Requirements Engineering to Safety Assurance: Refinement Approach (2015)
Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Integrating Stochastic Reasoning Into Event-B Development (2015)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Formal Aspects of Computing
Visa på utgivarens sida
A4 Konferenspublikationer
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation (2015)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Towards Visualisation of Resilience Assessment for Large-Scale Systems (2015)
Elena Troubitsyna and Linas Laibinis
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Derivation of Distributed MapReduce (2014)
Pereverzeva I, Butler M, Fathabadi AS, Laibinis L, Troubitsyna E
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (2014)
Laibinis L, Troubitsyna E, Graja Z, Migeon F, Kacem AH
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
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
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Kaisa Sere: In Memoriam. (2014)
Luigi Petre, Elena Troubitsyna, Marina Waldén
Formal Aspects of Computing
Visa på utgivarens sida
A4 Konferenspublikationer
Modelling Resilience of Data Processing Capabilities of CPS (2014)
Laibinis L, Klionskiy D, Troubitsyna E, Dorokhov A, Lilius J, Kupriyanov M
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Modelling Resilient Systems-of-Systems in Event-B (2014)
Laibinis L, Pereverzeva I, Troubitsyna E
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
A Case Study in Refinement-Based Modelling of a Resilient Control System (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Refinement-Based Approach to Developing Critical Multi-Agent Systems (2013)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
International Journal of Critical Computer-Based Systems
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Survey of Safety-Oriented Model-Driven and Formal Development Approaches (2013)
Yuliya Prokhorova, Elena Troubitsyna
International Journal of Critical Computer-Based Systems
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Development and Quantitative Assessment of a Resilient Multi-Robotic System (2013)
Tarasyuk A, Pereverzeva I, Troubitsyna E, Laibinis L
Springer
A4 Konferenspublikationer
Formalisation of an Industrial Approach to Monitoring Critical Data (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A4 Konferenspublikationer
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B (2012)
Pereverzeva I, Troubitsyna E, Laibinis L
ACM CoRR
A4 Konferenspublikationer
Formal Development and Assessment of a Reconfigurable On-Board Satellite System (2012)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Development of Critical Multi-Agent Systems: A Refinement Approach (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Goal-Oriented Development of Resilient MAS in Event-B (2012)
Pereverzeva I, Troubitsyna E, Laibinis L
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Derivation and Formal Verification of a Mode Logic for Layered Control Systems (2011)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
IEEE
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Development of Safety-Critical Control Systems in Event-B Using FMEA (2011)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Information science reference IGI
Visa på utgivarens sida
A4 Konferenspublikationer
Patterns for Representing FMEA in Formal Specification of Control Systems (2011)
Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
IEEE
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Towards Designing FPGA-Based Systems by Refinement in B (2011)
Sergey Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Information science reference IGI
Visa på utgivarens sida
C2 Redigerat verk
NODES 07: Nordic workshop and doctoral symposium on dependability and security, Oslo, Norway, October 2007: abstracts (2007)
Petre L, Sere K, Troubitsyna E, Johnsen EB
Åbo Akademi
A4 Konferenspublikationer
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
Springer
Visa på utgivarens sida


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems (2015)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards Rigorous Construction of Safety Cases (2014)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
D3 Professionell konferenspublikation
Development of a Dependable Multi-Agent System by Refinement in Event-B (2011)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Technical University of Denmark
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Integrating FMEA into Event-B Development of Safety-Critical Control Systems (2010)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
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

Senast uppdaterad 2019-24-03 vid 08:09