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)

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)

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

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

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

A refinement-based approach to developing critical multi-agent systems. - Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (Int. J. Crit. Comput. Based Syst., 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)

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

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)

Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. - Inna Vistbakka; Elena Troubitsyna; Tuomas Kuismin; Timo Latvala (SERENE, 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)

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)

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-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)

Modelling Autonomous Resilient Multi-robotic Systems. - Inna Vistbakka; Elena Troubitsyna (SERENE, 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)

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