Elena Troubitsyna
Kungliga Tekniska högskolan
H-index: 24
Europe-Sweden
Top articles of Elena Troubitsyna
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Automating an Analysis of Safety-Security Interactions for Railway Systems | Ehsan Poorhadi Elena Troubitsyna | 2023/9/27 | |
Utilising Redundancy to Enhance Security of Safety-Critical Systems | Elena Troubitsyna | 2023/9/14 | |
Employing Redundancy to Leverage Cybersecurity Protection of Safety-Critical Systems | Elena Troubitsyna | 2023/8/10 | |
Securing optimized code against power side channels | Romy Tsoupidi Roberto Castañeda Lozano Elena Troubitsyna Panos Papadimitratos | 2023/7 | |
Monitoring Privacy-Preserving Constraints in Microservices Architecture Through Parameter Formalisation | Elena Troubitsyna | 2023/10/23 | |
Thwarting code-reuse and side-channel attacks in embedded systems | arXiv preprint arXiv:2304.13458 | Rodothea Myrsini Tsoupidi Elena Troubitsyna Panagiotis Papadimitratos | 2023/4/26 |
Introduction to the Special Section on iFM 2020 | Brijesh Dongol Elena Troubitsyna | 2022/9/20 | |
Analysing the impact of security attacks on safety using SysML and event-B | Ehsan Poorhadi Elena Troubitsyna György Dán | 2022/9/5 | |
Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems | Elena Troubitsyna | 2022/5/17 | |
Assessing Dependability of Multi-robotic Systems within Formal Development | Elena Troubitsyna | 2022/11/23 | |
Verifying Safety of Behaviour Trees in Event-B | arXiv preprint arXiv:2209.14045 | Matteo Tadiello Elena Troubitsyna | 2022/9/28 |
Modelling and Verification of Safety of Access Control in SCADA Systems | Inna Vistbakka Elena Troubitsyna | 2021 | |
Deriving implicit security requirements in safety-explicit formal development of control systems | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings | Inna Vistbakka Elena Troubitsyna | 2021 |
Modelling resilient collaborative multi-agent systems | Computing | Inna Vistbakka Elena Troubitsyna | 2021/4 |
Formal Specification of Fault-Tolerant Multi-agent Systems | Elena Troubitsyna | 2021 | |
Research Article Online Path Generation and Navigation for Swarms of UAVs | Adnan Ashraf Amin Majd Elena Troubitsyna | 2020 | |
Formalising privacy-preserving constraints in microservices architecture | Inna Vistbakka Elena Troubitsyna | 2020 | |
Pattern-based goal-oriented development of fault-tolerant MAS in Event-B | Inna Vistbakka Elena Troubitsyna | 2020 | |
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings | Brijesh Dongol Elena Troubitsyna | 2020/11/13 | |
Analysing privacy-preserving constraints in microservices architecture | Inna Vistbakka Elena Troubitsyna | 2020/7/13 |