Inna Vistbakka

Orcid: 0000-0001-8783-6879

Affiliations:
  • Åbo Akademi University, Turku, Finland


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Modelling resilient collaborative multi-agent systems.
Computing, 2021

2020
Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B.
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.
Proceedings of the Formal Methods and Software Engineering, 2020

Modelling and Verification of Safety of Access Control in SCADA Systems.
Proceedings of the Risks and Security of Internet and Systems, 2020

Analysing Privacy-Preserving Constraints in Microservices Architecture.
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019
Modelling Autonomous Resilient Multi-robotic Systems.
Proceedings of the Software Engineering for Resilient Systems, 2019

Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems.
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018
Modelling and Verification of Dynamic Role-Based Access Control.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Multi-layered Approach to Safe Navigation of Swarms of Drones.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Deriving and Formalising Safety and Security Requirements for Control Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Formal Verification of Stateful Services with REST APIs Using Event-B.
Proceedings of the 2018 IEEE International Conference on Web Services, 2018

Deriving Mode Logic for Autonomous Resilient Systems.
Proceedings of the Formal Methods and Software Engineering, 2018

Towards a Formal Approach to Analysing Security of Safety-Critical Systems.
Proceedings of the 14th European Dependable Computing Conference, 2018

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
Formal reasoning about resilient goal-oriented multi-agent systems.
Sci. Comput. Program., 2017

Towards Integrated Modelling of Dynamic Access Control with UML and Event-B.
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.
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

2016
Towards Security-Explicit Formal Modelling of Safety-Critical Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2016

A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks.
Proceedings of the Formal Methods and Software Engineering, 2016

2015
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation.
Proceedings of the Computer Safety, Reliability, and Security, 2015

2014
Modelling Resilient Systems-of-Systems in Event-B.
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.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Formal Derivation of Distributed MapReduce.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013
A refinement-based approach to developing critical multi-agent systems.
Int. J. Crit. Comput. Based Syst., 2013

Formal Development and Quantitative Assessment of a Resilient Multi-robotic System.
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Formal Modelling of Resilient Data Storage in Cloud.
Proceedings of the Formal Methods and Software Engineering, 2013

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

A Case Study in Formal Development of a Fault Tolerant Multi-robotic System.
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Formal Development and Assessment of a Reconfigurable On-board Satellite System.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Formal Development of Critical Multi-agent Systems: A Refinement Approach.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

Formal Goal-Oriented Development of Resilient MAS in Event-B.
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012


  Loading...