Inna Vistbakka

According to our database, Inna Vistbakka authored at least 32 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Modelling resilient collaborative multi-agent systems.

Inna Vistbakka, Elena Troubitsyna

Computing, 2021

2020

Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B.

Inna Vistbakka, Elena Troubitsyna

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020

Formalising Privacy-Preserving Constraints in Microservices Architecture.

Inna Vistbakka, Elena Troubitsyna

Proceedings of the Formal Methods and Software Engineering, 2020

Modelling and Verification of Safety of Access Control in SCADA Systems.

Inna Vistbakka, Elena Troubitsyna

Proceedings of the Risks and Security of Internet and Systems, 2020

Analysing Privacy-Preserving Constraints in Microservices Architecture.

Inna Vistbakka, Elena Troubitsyna

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019

Modelling Autonomous Resilient Multi-robotic Systems.

Inna Vistbakka, Elena Troubitsyna

Proceedings of the Software Engineering for Resilient Systems, 2019

Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems.

Inna Vistbakka, Elena Troubitsyna

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective.

Inna Vistbakka, Elena Troubitsyna, Amin Majd

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018

Modelling and Verification of Dynamic Role-Based Access Control.

Inna Vistbakka, Elena Troubitsyna

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Multi-layered Approach to Safe Navigation of Swarms of Drones.

Inna Vistbakka, Amin Majd, Elena Troubitsyna

Proceedings of the Computer Safety, Reliability, and Security, 2018

Deriving and Formalising Safety and Security Requirements for Control Systems.

Elena Troubitsyna, Inna Vistbakka

Proceedings of the Computer Safety, Reliability, and Security, 2018

Formal Verification of Stateful Services with REST APIs Using Event-B.

Irum Rauf, Inna Vistbakka, Elena Troubitsyna

Proceedings of the 2018 IEEE International Conference on Web Services, 2018

Deriving Mode Logic for Autonomous Resilient Systems.

Inna Vistbakka, Amin Majd, Elena Troubitsyna

Proceedings of the Formal Methods and Software Engineering, 2018

Towards a Formal Approach to Analysing Security of Safety-Critical Systems.

Inna Vistbakka, Elena Troubitsyna

Proceedings of the 14th European Dependable Computing Conference, 2018

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B.

Inna Vistbakka, Mikhail Barash, Elena Troubitsyna

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Formal reasoning about resilient goal-oriented multi-agent systems.

Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna

Sci. Comput. Program., 2017

Towards Integrated Modelling of Dynamic Access Control with UML and Event-B.

Inna Vistbakka, Elena Troubitsyna

Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017

Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook.

Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala

Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

2016

Towards Security-Explicit Formal Modelling of Safety-Critical Systems.

Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala

Proceedings of the Computer Safety, Reliability, and Security, 2016

A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks.

Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns

Proceedings of the Formal Methods and Software Engineering, 2016

2015

The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation.

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

Modelling Resilient Systems-of-Systems in Event-B.

Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna

Proceedings of the Computer Safety, Reliability, and Security, 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

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Formal Derivation of Distributed MapReduce.

Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

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 Development and Quantitative Assessment of a Resilient Multi-robotic System.

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Formal Modelling of Resilient Data Storage in Cloud.

Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

CoRR, 2012

A Case Study in Formal Development of a Fault Tolerant Multi-robotic System.

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Formal Development and Assessment of a Reconfigurable On-board Satellite System.

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila

Proceedings of the Computer Safety, Reliability, and Security, 2012

Formal Development of Critical Multi-agent Systems: A Refinement Approach.

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

Formal Goal-Oriented Development of Resilient MAS in Event-B.

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012