Inna Vistbakka

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 17

Top Topics

Formal Verification

Security Requirements

Robotic Systems

Top Venues

SAFECOMP Workshops

Publications

Inna Vistbakka, Elena Troubitsyna
Modelling resilient collaborative multi-agent systems. Computing 103 (4) (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)
Inna Vistbakka, Elena Troubitsyna, Amin Majd
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. HASE (2019)
Inna Vistbakka, Elena Troubitsyna
Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems. IMBSA (2019)
Inna Vistbakka, Elena Troubitsyna
Modelling Autonomous Resilient Multi-robotic Systems. SERENE (2019)
Inna Vistbakka, Amin Majd, Elena Troubitsyna
Deriving Mode Logic for Autonomous Resilient Systems. ICFEM (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)
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)
Inna Vistbakka, Elena Troubitsyna
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. IMPEX/FM&MDD (2017)
Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. SERENE (2017)