Elena Troubitsyna

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 53

Top Venues

SERENE

SAFECOMP Workshops

ICFEM

SAFECOMP

Publications

Ehsan Poorhadi, Elena Troubitsyna
Automating an Analysis of Safety-Security Interactions for Railway Systems. RSSRail (2023)
Elena Troubitsyna
Utilising Redundancy to Enhance Security of Safety-Critical Systems. SAFECOMP Workshops (2023)
Rodothea-Myrsini Tsoupidi, Elena Troubitsyna, Panagiotis Papadimitratos
Thwarting Code-Reuse and Side-Channel Attacks in Embedded Systems. CoRR (2023)
Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna, Panagiotis Papadimitratos
Securing Optimized Code Against Power Side Channels. CSF (2023)
Elena Troubitsyna
Employing Redundancy to Leverage Cybersecurity Protection of Safety-Critical Systems. DSA (2023)
Rodothea-Myrsini Tsoupidi, Elena Troubitsyna, Panagiotis Papadimitratos
Thwarting code-reuse and side-channel attacks in embedded systems. Comput. Secur. 133 (2023)
Matteo Tadiello, Elena Troubitsyna
Verifying Safety of Behaviour Trees in Event-B. FMAS/ASYDE@SEFM (2022)
Brijesh Dongol, Elena Troubitsyna
Introduction to the Special Section on iFM 2020. Formal Aspects Comput. 34 (1) (2022)
Elena Troubitsyna
Assessing Dependability of Multi-robotic Systems within Formal Development. ICSRS (2022)
Ehsan Poorhadi, Elena Troubitsyna, György Dán
Analysing the Impact of Security Attacks on Safety Using SysML and Event-B. IMBSA (2022)
Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna, Panagiotis Papadimitratos
Securing Optimized Code Against Power Side Channels. CoRR (2022)
Elena Troubitsyna
Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems. CoDIT (2022)
Inna Vistbakka, Elena Troubitsyna
Modelling resilient collaborative multi-agent systems. Computing 103 (4) (2021)
Elena Troubitsyna
Formal Specification of Fault-Tolerant Multi-agent Systems. PAAMS (2021)
Inna Vistbakka, Elena Troubitsyna
Formalising Privacy-Preserving Constraints in Microservices Architecture. ICFEM (2020)
Inna Vistbakka, Elena Troubitsyna
Analysing Privacy-Preserving Constraints in Microservices Architecture. COMPSAC (2020)
Inna Vistbakka, Elena Troubitsyna
Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B. PAAMS (2020)
Inna Vistbakka, Elena Troubitsyna
Modelling and Verification of Safety of Access Control in SCADA Systems. CRiSIS (2020)
Adnan Ashraf, Amin Majd, Elena Troubitsyna
Online Path Generation and Navigation for Swarms of UAVs. Sci. Program. 2020 (2020)
Inna Vistbakka, Elena Troubitsyna, Amin Majd
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. HASE (2019)
Adnan Ashraf, Amin Majd, Elena Troubitsyna
Online Path Generation and Navigation for Swarms of UAVs. CoRR (2019)
Maghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna
Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments. ECBS (2019)
Inna Vistbakka, Elena Troubitsyna
Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems. IMBSA (2019)
Elena Troubitsyna
Multi-Concern Integrated Engineering of Dependable Intelligent Systems. DASC/PiCom/DataCom/CyberSciTech (2019)
Amin Majd, Mohammad Loni, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna
A Cloud Based Super-Optimization Method to Parallelize the Sequential Code's Nested Loops. MCSoC (2019)
Inna Vistbakka, Elena Troubitsyna
Modelling Autonomous Resilient Multi-robotic Systems. SERENE (2019)
Irum Rauf, Elena Troubitsyna, Ivan Porres
A systematic mapping study of API usability evaluation methods. Comput. Sci. Rev. 33 (2019)
Inna Vistbakka, Amin Majd, Elena Troubitsyna
Deriving Mode Logic for Autonomous Resilient Systems. ICFEM (2018)
Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab
Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones. CEC (2018)
Elena Troubitsyna, Irum Rauf
Generating Cloud Monitors from Models to Secure Clouds. DSN (2018)
Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab
Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. PDP (2018)
Inna Vistbakka, Elena Troubitsyna
Modelling and Verification of Dynamic Role-Based Access Control. VECoS (2018)
Elena Troubitsyna, Inna Vistbakka
Deriving and Formalising Safety and Security Requirements for Control Systems. SAFECOMP (2018)
Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. ABZ (2018)
Inna Vistbakka, Elena Troubitsyna
Towards a Formal Approach to Analysing Security of Safety-Critical Systems. EDCC (2018)
Mohammad Loni, Amin Majd, Abdolah Loni, Masoud Daneshtalab, Mikael Sjödin, Elena Troubitsyna
Designing Compact Convolutional Neural Network for Embedded Stereo Vision Systems. MCSoC (2018)
Inna Vistbakka, Amin Majd, Elena Troubitsyna
Multi-layered Approach to Safe Navigation of Swarms of Drones. SAFECOMP Workshops (2018)
Irum Rauf, Inna Vistbakka, Elena Troubitsyna
Formal Verification of Stateful Services with REST APIs Using Event-B. ICWS (2018)
Amin Majd, Elena Troubitsyna
Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones. ISSRE Workshops (2017)
Adnan Ashraf, Amin Majd, Elena Troubitsyna
Towards a realtime, collision-free motion coordination and navigation system for a UAV fleet. ECBS (2017)
Irum Rauf, Elena Troubitsyna
Towards a Model-Driven Security Assurance of Open Source Components. SERENE (2017)
Irum Rauf, Elena Troubitsyna
Securing Open Source Clouds Using Models. IMPEX/FM&MDD (2017)
Amin Majd, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna
Optimizing scheduling for heterogeneous computing systems using combinatorial meta-heuristic solution. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Inna Vistbakka, Elena Troubitsyna
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. IMPEX/FM&MDD (2017)
Amin Majd, Elena Troubitsyna
Data-driven approach to ensuring fault tolerance and efficiency of swarm systems. IEEE BigData (2017)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
Formal reasoning about resilient goal-oriented multi-agent systems. Sci. Comput. Program. 148 (2017)
Amin Majd, Elena Troubitsyna, Masoud Daneshtalab
Safety-Aware Control of Swarms of Drones. SAFECOMP Workshops (2017)
Amin Majd, Masoud Daneshtalab, Elena Troubitsyna, Golnaz Sahebi
Optimal smart mobile access point placement for maximal coverage and minimal communication. ECBS (2017)
Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. SERENE (2017)
Elena Troubitsyna
An Integrated Approach to Deriving Safety and Security Requirements from Safety Cases. COMPSAC Workshops (2016)
Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
Towards Security-Explicit Formal Modelling of Safety-Critical Systems. SAFECOMP (2016)
Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis
Formalisation-Driven Development of Safety-Critical Systems. HASE (2016)
Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. ICFEM (2016)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Integrating stochastic reasoning into Event-B development. Formal Aspects Comput. 27 (1) (2015)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
Facilitating construction of safety cases from formal models in Event-B. Inf. Softw. Technol. 60 (2015)
Elena Troubitsyna, Linas Laibinis
Towards Visualisation of Resilience Assessment for Large-Scale Systems. HPCC/CSS/ICESS (2015)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. SAFECOMP (2015)
Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky
From Requirements Engineering to Safety Assurance: Refinement Approach. SETTA (2015)
Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
Formal Derivation of Distributed MapReduce. ABZ (2014)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
Modelling Resilient Systems-of-Systems in Event-B. SAFECOMP Workshops (2014)
Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. SEFM (2014)
Luigia Petre, Elena Troubitsyna, Marina Waldén
Kaisa Sere: In Memoriam. Formal Aspects Comput. 26 (2) (2014)
Linas Laibinis, Dmitry M. Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov
Modelling Resilience of Data Processing Capabilities of CPS. SERENE (2014)
Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. IFM (2014)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
A Case Study in Refinement-Based Modelling of a Resilient Control System. SERENE (2013)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
A refinement-based approach to developing critical multi-agent systems. Int. J. Crit. Comput. Based Syst. 4 (1) (2013)
Elena Troubitsyna
Performance challenge to resilience: A formal view. HPCS (2013)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. SERENE (2013)
Yuliya Prokhorova, Elena Troubitsyna
A survey of safety-oriented model-driven and formal development approaches. Int. J. Crit. Comput. Based Syst. 4 (2) (2013)
Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri
Formal Modelling of Resilient Data Storage in Cloud. ICFEM (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala
Formalisation of an Industrial Approach to Monitoring Critical Data. SAFECOMP (2013)
Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna
Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). Dagstuhl Reports 3 (1) (2013)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing mode-rich satellite software by refinement in Event-B. Sci. Comput. Program. 78 (7) (2013)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila
Formal Development and Assessment of a Reconfigurable On-board Satellite System. SAFECOMP (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Formal Goal-Oriented Development of Resilient MAS in Event-B. Ada-Europe (2012)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. IFM (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. SERENE (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Formal Development of Critical Multi-agent Systems: A Refinement Approach. EDCC (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B CoRR (2012)
Yuliya Prokhorova, Elena Troubitsyna
Linking Modelling in Event-B with Safety Cases. SERENE (2012)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
Deriving a mode logic using failure modes and effects analysis. Int. J. Crit. Comput. Based Syst. 3 (4) (2012)
Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala
Augmenting Event-B modelling with real-time verification. FormSERA@ICSE (2012)
Elena Troubitsyna
Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements CoRR (2012)
Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
Patterns for Representing FMEA in Formal Specification of Control Systems. HASE (2011)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Quantitative Verification of System Safety in Event-B. SERENE (2011)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
Derivation and Formal Verification of a Mode Logic for Layered Control Systems. APSEC (2011)
Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky
Formal Derivation of a Distributed Program in Event B. ICFEM (2011)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Towards Probabilistic Modelling in Event-B. IFM (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS (2010)
Elena Troubitsyna
Developing Fault Tolerant Distributed Systems by Refinement. ICSEA (2010)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. Int. J. Embed. Real Time Commun. Syst. 1 (2) (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala
Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP (2010)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Augmenting formal development of control systems with quantitative reliability assessment. SERENE (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Supporting Reuse in Event B Development: Modularisation Approach. ASM (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky
Patterns for Refinement Automation. FMCO (2009)
Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock
09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems. Refinement Based Methods for the Construction of Dependable Systems (2009)
Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky
Formal development of cooperative exception handling for mobile agent systems. SERENE (2008)
Vyacheslav Kharchenko, Chris Phillips, Peter T. Popov, Oksana Pomorova, Alexander B. Romanovsky, Elena Troubitsyna
MASTAC: new curriculum for master and doctoral studies in critical software and computing. SEESE@ICSE (2008)
Elena Troubitsyna
Elicitation and Specification of Safety Requirements. ICONS (2008)
Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. ISORC (2007)

Elena Troubitsyna.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Elena Troubitsyna