Safety Analysis in Formal Specification. - Kaisa Sere; Elena Troubitsyna (World Congress on Formal Methods, 1999)

Enhancing Dependability via Parameterized Refinement. - Elena Troubitsyna (PRDC, 1999)

Hazard Analysis in Formal Specification. - Kaisa Sere; Elena Troubitsyna (SAFECOMP, 1999)

Reliability Assessment through Probabilistic Refinement. - Elena Troubitsyna (Nord. J. Comput., 1999)

Integrating Safety Analysis into Formal Specification of Dependable Systems. - Elena Troubitsyna (IPDPS, 2003)

Refinement of Fault Tolerant Control Systems in B. - Linas Laibinis; Elena Troubitsyna (SAFECOMP, 2004)

Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. - Linas Laibinis; Elena Troubitsyna (SEFM, 2004)

A Formal Approach to Fault Tolerance in Parallel Systems. - Elena Troubitsyna (Software Engineering Research and Practice, 2004)

Formal Model-Driven Development of Communicating Systems. - Linas Laibinis; Elena Troubitsyna; Sari Leppänen; Johan Lilius; Qaisar A. Malik (ICFEM, 2005)

Formal Development of Software for Tolerating Transient Faults. - Dubravka Ilic; Elena Troubitsyna (PRDC, 2005)

Formal Development of Reactive Fault Tolerant Systems. - Linas Laibinis; Elena Troubitsyna (RISE, 2005)

Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. - Dubravka Ilic; Elena Troubitsyna; Linas Laibinis; Sari Leppänen (ISoLA, 2006)

Formal Development of Mechanisms for Tolerating Transient Faults. - Dubravka Ilic; Elena Troubitsyna; Linas Laibinis; Colin F. Snook (RODIN Book, 2006)

Rigorous Development of Fault-Tolerant Agent Systems. - Linas Laibinis; Elena Troubitsyna; Alexei Iliasov; Alexander B. Romanovsky (RODIN Book, 2006)

Formal Service-Oriented Development of Fault Tolerant Communicating Systems. - Linas Laibinis; Elena Troubitsyna; Sari Leppänen; Johan Lilius; Qaisar A. Malik (RODIN Book, 2006)

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. - Alexei Iliasov; Alexander B. Romanovsky; Budi Arief; Linas Laibinis; Elena Troubitsyna (ISORC, 2007)

Elicitation and Specification of Safety Requirements. - Elena Troubitsyna (ICONS, 2008)

MASTAC: new curriculum for master and doctoral studies in critical software and computing. - Vyacheslav Kharchenko; Chris Phillips; Peter T. Popov; Oksana Pomorova; Alexander B. Romanovsky; Elena Troubitsyna (SEESE@ICSE, 2008)

Formal development of cooperative exception handling for mobile agent systems. - Linas Laibinis; Elena Troubitsyna; Alexei Iliasov; Alexander B. Romanovsky (SERENE, 2008)

09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems. - Jean-Raymond Abrial; Michael J. Butler; Rajev Joshi; Elena Troubitsyna; J. C. P. Woodcock (Refinement Based Methods for the Construction of Dependable Systems, 2009)

Patterns for Refinement Automation. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky (FMCO, 2009)

Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. - Linas Laibinis; Elena Troubitsyna; Sari Leppänen (Methods, Models and Tools for Fault Tolerance, 2009)

Supporting Reuse in Event B Development: Modularisation Approach. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala (ASM, 2010)

Developing Fault Tolerant Distributed Systems by Refinement. - Elena Troubitsyna (ICSEA, 2010)

Towards Probabilistic Modelling in Event-B. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (IFM, 2010)

Verifying Mode Consistency for On-Board Satellite Software. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Pauli Väisänen; Dubravka Ilic; Timo Latvala (SAFECOMP, 2010)

Augmenting formal development of control systems with quantitative reliability assessment. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (SERENE, 2010)

Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. - Linas Laibinis; Elena Troubitsyna; Sari Leppänen (Int. J. Embed. Real Time Commun. Syst., 2010)

Derivation and Formal Verification of a Mode Logic for Layered Control Systems. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala (APSEC, 2011)

Patterns for Representing FMEA in Formal Specification of Control Systems. - Ilya Lopatkin; Alexei Iliasov; Alexander B. Romanovsky; Yuliya Prokhorova; Elena Troubitsyna (HASE, 2011)

Formal Derivation of a Distributed Program in Event B. - Alexei Iliasov; Linas Laibinis; Elena Troubitsyna; Alexander B. Romanovsky (ICFEM, 2011)

Quantitative Verification of System Safety in Event-B. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (SERENE, 2011)

Formal Goal-Oriented Development of Resilient MAS in Event-B. - Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (Ada-Europe, 2012)

Formal Development of Critical Multi-agent Systems: A Refinement Approach. - Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (EDCC, 2012)

Augmenting Event-B modelling with real-time verification. - Alexei Iliasov; Alexander B. Romanovsky; Linas Laibinis; Elena Troubitsyna; Timo Latvala (FormSERA@ICSE, 2012)

Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (IFM, 2012)

Formal Development and Assessment of a Reconfigurable On-board Satellite System. - Anton Tarasyuk; Inna Pereverzeva; Elena Troubitsyna; Timo Latvala; Laura Nummila (SAFECOMP, 2012)

A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. - Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (SERENE, 2012)

Linking Modelling in Event-B with Safety Cases. - Yuliya Prokhorova; Elena Troubitsyna (SERENE, 2012)

Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements - Elena Troubitsyna (CoRR, 2012)

Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B - Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (CoRR, 2012)

Deriving a mode logic using failure modes and effects analysis. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala (Int. J. Crit. Comput. Based Syst., 2012)

Deployment in the Space Sector. - Dubravka Ilic; Linas Laibinis; Timo Latvala; Elena Troubitsyna; Kimmo Varpaaniemi (Industrial Deployment of System Engineering Methods, 2013)

Formal Modelling of Resilient Data Storage in Cloud. - Inna Pereverzeva; Linas Laibinis; Elena Troubitsyna; Markus Holmberg; Mikko Pöri (ICFEM, 2013)

Performance challenge to resilience: A formal view. - Elena Troubitsyna (HPCS, 2013)

Formalisation of an Industrial Approach to Monitoring Critical Data. - Yuliya Prokhorova; Elena Troubitsyna; Linas Laibinis; Dubravka Ilic; Timo Latvala (SAFECOMP, 2013)

A Case Study in Refinement-Based Modelling of a Resilient Control System. - Yuliya Prokhorova; Elena Troubitsyna; Linas Laibinis (SERENE, 2013)

Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. - Anton Tarasyuk; Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (SERENE, 2013)

Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). - Maritta Heisel; Mohamed Kaâniche; Alexander B. Romanovsky; Elena Troubitsyna (Dagstuhl Reports, 2013)

A refinement-based approach to developing critical multi-agent systems. - Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (Int. J. Crit. Comput. Based Syst., 2013)

A survey of safety-oriented model-driven and formal development approaches. - Yuliya Prokhorova; Elena Troubitsyna (Int. J. Crit. Comput. Based Syst., 2013)

Developing mode-rich satellite software by refinement in Event-B. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala (Sci. Comput. Program., 2013)

Formal Derivation of Distributed MapReduce. - Inna Pereverzeva; Michael J. Butler; Asieh Salehi Fathabadi; Linas Laibinis; Elena Troubitsyna (ABZ, 2014)

Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. - Linas Laibinis; Benjamin Byholm; Inna Pereverzeva; Elena Troubitsyna; Kuan Eeik Tan; Ivan Porres (IFM, 2014)

Modelling Resilient Systems-of-Systems in Event-B. - Linas Laibinis; Inna Pereverzeva; Elena Troubitsyna (SAFECOMP Workshops, 2014)

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. - Linas Laibinis; Elena Troubitsyna; Zeineb Graja; Frédéric Migeon; Ahmed Hadj Kacem (SEFM, 2014)

Modelling Resilience of Data Processing Capabilities of CPS. - Linas Laibinis; Dmitry M. Klionskiy; Elena Troubitsyna; Anatoly Dorokhov; Johan Lilius; Mikhail Kupriyanov (SERENE, 2014)

Kaisa Sere: In Memoriam. - Luigia Petre; Elena Troubitsyna; Marina Waldén (Formal Aspects Comput., 2014)

Towards Visualisation of Resilience Assessment for Large-Scale Systems. - Elena Troubitsyna; Linas Laibinis (HPCC/CSS/ICESS, 2015)

The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. - Anton Tarasyuk; Inna Pereverzeva; Elena Troubitsyna; Timo Latvala (SAFECOMP, 2015)

From Requirements Engineering to Safety Assurance: Refinement Approach. - Linas Laibinis; Elena Troubitsyna; Yuliya Prokhorova; Alexei Iliasov; Alexander B. Romanovsky (SETTA, 2015)

Integrating stochastic reasoning into Event-B development. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (Formal Aspects Comput., 2015)

Facilitating construction of safety cases from formal models in Event-B. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna (Inf. Softw. Technol., 2015)

A Contract-Based Approach to Ensuring Component Interoperability in Event-B. - Linas Laibinis; Elena Troubitsyna (From Action Systems to Distributed Systems, 2016)

An Integrated Approach to Deriving Safety and Security Requirements from Safety Cases. - Elena Troubitsyna (COMPSAC Workshops, 2016)

Formalisation-Driven Development of Safety-Critical Systems. - Alexei Iliasov; Alexander B. Romanovsky; Elena Troubitsyna; Linas Laibinis (HASE, 2016)

A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. - Linas Laibinis; Elena Troubitsyna; Inna Pereverzeva; Ian Oliver; Silke Holtmanns (ICFEM, 2016)

Towards Security-Explicit Formal Modelling of Safety-Critical Systems. - Elena Troubitsyna; Linas Laibinis; Inna Pereverzeva; Tuomas Kuismin; Dubravka Ilic; Timo Latvala (SAFECOMP, 2016)

Data-driven approach to ensuring fault tolerance and efficiency of swarm systems. - Amin Majd; Elena Troubitsyna (IEEE BigData, 2017)

Towards a realtime, collision-free motion coordination and navigation system for a UAV fleet. - Adnan Ashraf; Amin Majd; Elena Troubitsyna (ECBS, 2017)

Optimal smart mobile access point placement for maximal coverage and minimal communication. - Amin Majd; Masoud Daneshtalab; Elena Troubitsyna; Golnaz Sahebi (ECBS, 2017)

Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones. - Amin Majd; Elena Troubitsyna (ISSRE Workshops, 2017)

Safety-Aware Control of Swarms of Drones. - Amin Majd; Elena Troubitsyna; Masoud Daneshtalab (SAFECOMP Workshops, 2017)

Towards a Model-Driven Security Assurance of Open Source Components. - Irum Rauf; Elena Troubitsyna (SERENE, 2017)

Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. - Inna Vistbakka; Elena Troubitsyna; Tuomas Kuismin; Timo Latvala (SERENE, 2017)

Optimizing scheduling for heterogeneous computing systems using combinatorial meta-heuristic solution. - Amin Majd; Golnaz Sahebi; Masoud Daneshtalab; Elena Troubitsyna (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

Securing Open Source Clouds Using Models. - Irum Rauf; Elena Troubitsyna (IMPEX/FM&MDD, 2017)

Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. - Inna Vistbakka; Elena Troubitsyna (IMPEX/FM&MDD, 2017)

Formal reasoning about resilient goal-oriented multi-agent systems. - Linas Laibinis; Inna Pereverzeva; Elena Troubitsyna (Sci. Comput. Program., 2017)

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. - Inna Vistbakka; Mikhail Barash; Elena Troubitsyna (ABZ, 2018)

Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones. - Amin Majd; Adnan Ashraf; Elena Troubitsyna; Masoud Daneshtalab (CEC, 2018)

Generating Cloud Monitors from Models to Secure Clouds. - Elena Troubitsyna; Irum Rauf (DSN, 2018)

Towards a Formal Approach to Analysing Security of Safety-Critical Systems. - Inna Vistbakka; Elena Troubitsyna (EDCC, 2018)

Deriving Mode Logic for Autonomous Resilient Systems. - Inna Vistbakka; Amin Majd; Elena Troubitsyna (ICFEM, 2018)

Formal Verification of Stateful Services with REST APIs Using Event-B. - Irum Rauf; Inna Vistbakka; Elena Troubitsyna (ICWS, 2018)

Designing Compact Convolutional Neural Network for Embedded Stereo Vision Systems. - Mohammad Loni; Amin Majd; Abdolah Loni; Masoud Daneshtalab; Mikael Sjödin; Elena Troubitsyna (MCSoC, 2018)

Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. - Amin Majd; Adnan Ashraf; Elena Troubitsyna; Masoud Daneshtalab (PDP, 2018)

Deriving and Formalising Safety and Security Requirements for Control Systems. - Elena Troubitsyna; Inna Vistbakka (SAFECOMP, 2018)

Multi-layered Approach to Safe Navigation of Swarms of Drones. - Inna Vistbakka; Amin Majd; Elena Troubitsyna (SAFECOMP Workshops, 2018)

Modelling and Verification of Dynamic Role-Based Access Control. - Inna Vistbakka; Elena Troubitsyna (VECoS, 2018)

Multi-Concern Integrated Engineering of Dependable Intelligent Systems. - Elena Troubitsyna (DASC/PiCom/DataCom/CyberSciTech, 2019)

Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments. - Maghsood Salimi; Amin Majd; Mohammad Loni; Tiberiu Seceleanu; Cristina Seceleanu; Marjan Sirjani; Masoud Daneshtalab; Elena Troubitsyna (ECBS, 2019)

Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. - Inna Vistbakka; Elena Troubitsyna; Amin Majd (HASE, 2019)

Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems. - Inna Vistbakka; Elena Troubitsyna (IMBSA, 2019)

A Cloud Based Super-Optimization Method to Parallelize the Sequential Code's Nested Loops. - Amin Majd; Mohammad Loni; Golnaz Sahebi; Masoud Daneshtalab; Elena Troubitsyna (MCSoC, 2019)

Modelling Autonomous Resilient Multi-robotic Systems. - Inna Vistbakka; Elena Troubitsyna (SERENE, 2019)

A systematic mapping study of API usability evaluation methods. - Irum Rauf; Elena Troubitsyna; Ivan Porres (Comput. Sci. Rev., 2019)

Analysing Privacy-Preserving Constraints in Microservices Architecture. - Inna Vistbakka; Elena Troubitsyna (COMPSAC, 2020)

Modelling and Verification of Safety of Access Control in SCADA Systems. - Inna Vistbakka; Elena Troubitsyna (CRiSIS, 2020)

Formalising Privacy-Preserving Constraints in Microservices Architecture. - Inna Vistbakka; Elena Troubitsyna (ICFEM, 2020)

Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B. - Inna Vistbakka; Elena Troubitsyna (PAAMS, 2020)

Online Path Generation and Navigation for Swarms of UAVs. - Adnan Ashraf; Amin Majd; Elena Troubitsyna (Sci. Program., 2020)

Formal Specification of Fault-Tolerant Multi-agent Systems. - Elena Troubitsyna (PAAMS, 2021)

Modelling resilient collaborative multi-agent systems. - Inna Vistbakka; Elena Troubitsyna (Computing, 2021)

Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems. - Elena Troubitsyna (CoDIT, 2022)

Assessing Dependability of Multi-robotic Systems within Formal Development. - Elena Troubitsyna (ICSRS, 2022)

Analysing the Impact of Security Attacks on Safety Using SysML and Event-B. - Ehsan Poorhadi; Elena Troubitsyna; György Dán (IMBSA, 2022)

Verifying Safety of Behaviour Trees in Event-B. - Matteo Tadiello; Elena Troubitsyna (FMAS/ASYDE@SEFM, 2022)

Introduction to the Special Section on iFM 2020. - Brijesh Dongol; Elena Troubitsyna (Formal Aspects Comput., 2022)

Securing Optimized Code Against Power Side Channels. - Rodothea-Myrsini Tsoupidi; Roberto Castañeda Lozano; Elena Troubitsyna; Panagiotis Papadimitratos (CSF, 2023)

Employing Redundancy to Leverage Cybersecurity Protection of Safety-Critical Systems. - Elena Troubitsyna (DSA, 2023)

Automating an Analysis of Safety-Security Interactions for Railway Systems. - Ehsan Poorhadi; Elena Troubitsyna (RSSRail, 2023)

Utilising Redundancy to Enhance Security of Safety-Critical Systems. - Elena Troubitsyna (SAFECOMP Workshops, 2023)

Thwarting code-reuse and side-channel attacks in embedded systems. - Rodothea-Myrsini Tsoupidi; Elena Troubitsyna; Panagiotis Papadimitratos (Comput. Secur., 2023)

Goal-Oriented Modeling in Fault Tolerant Service-Oriented Multi-Agent Systems. - Elena Troubitsyna (COMPSAC, 2024)

Automating an Integrated Model-Driven Approach to Analysing the Impact of Cyberattacks on Safety. - Ehsan Poorhadi; Elena Troubitsyna (SAFECOMP (Workshops), 2024)

Protecting Cryptographic Libraries against Side-Channel and Code-Reuse Attacks. - Rodothea-Myrsini Tsoupidi; Elena Troubitsyna; Panos Papadimitratos (CoRR, 2024)

Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151). - Elena Troubitsyna; Ignacio J. Alvarez; Philip Koopman; Mario Trapp (Dagstuhl Reports, 2024)

Formal Analysis of Interactions Between Safety and Security Requirements. - Elena Troubitsyna (The Practice of Formal Methods (II), 2024)

Towards Supporting Modelling of Fault Tolerant Behaviour Using Behaviour Trees. - Elena Troubitsyna (COMPSAC, 2025)