Inna Vistbakka

Research Associate, Information Technology common
Research Associate, Computer Engineering
Email: inna.vistbakka@abo.fi


Peer-reviewed publications

A4 Conference proceedings
Deriving and Formalising Safety and Security Requirements for Control Systems (2018)
Elena Troubitsyna, Inna Vistbakka
Springer
View on publisher's site
A4 Conference proceedings
Deriving Mode Logic for Autonomous Resilient Systems (2018)
Inna Vistbakka, Amin Majd, Elena Troubitsyna
Springer
View on publisher's site
A4 Conference proceedings
Formal Verification of Stateful Services with REST APIs Using Event-B (2018)
Irum Rauf, Inna Vistbakka, Elena Troubitsyna
IEEE
View on publisher's site
A4 Conference proceedings
Modelling and Verification of Dynamic Role-Based Access Control (2018)
Inna Vistbakka, Elena Troubitsyna
Springer
View on publisher's site
A4 Conference proceedings
Multi-layered Approach to Safe Navigation of Swarms of Drones (2018)
Inna Vistbakka, Amin Majd, Elena Troubitsyna
Springer
View on publisher's site
A4 Conference proceedings
Towards a Formal Approach to Analysing Security of Safety-Critical Systems (2018)
Inna Vistbakka, Elena Troubitsyna
IEEE
View on publisher's site
A4 Conference proceedings
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B (2018)
Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
Springer
View on publisher's site
A4 Conference proceedings
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook (2017)
Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala
Springer
View on publisher's site
A1 Journal article (refereed)
Formal reasoning about resilient goal-oriented multi-agent systems (2017)
L. Laibinis, I. Pereverzeva, E. Troubitsyna
Science of Computer Programming
View on publisher's site
A4 Conference proceedings
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks (2016)
Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns
Springer
View on publisher's site
A4 Conference proceedings
Towards Security-Explicit Formal Modelling of Safety-Critical Systems (2016)
Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
Springer
View on publisher's site
A4 Conference proceedings
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation (2015)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
Springer
View on publisher's site
A4 Conference proceedings
Formal Derivation of Distributed MapReduce (2014)
Pereverzeva I, Butler M, Fathabadi AS, Laibinis L, Troubitsyna E
Springer
View on publisher's site
A4 Conference proceedings
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (2014)
Laibinis L, Byholm B, Pereverzeva I, Troubitsyna E, Tan KE, Porres I
Springer
View on publisher's site
A4 Conference proceedings
Modelling Resilient Systems-of-Systems in Event-B (2014)
Laibinis L, Pereverzeva I, Troubitsyna E
Springer
View on publisher's site
A1 Journal article (refereed)
A Refinement-Based Approach to Developing Critical Multi-Agent Systems (2013)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
International Journal of Critical Computer-Based Systems
View on publisher's site
A4 Conference proceedings
Formal Modelling of Resilient Data Storage in Cloud (2013)
Inna Pereverzeva; Linas Laibinis; Elena Troubitsyna; Markus Holmberg; Mikko Pöri
Springer
View on publisher's site
A4 Conference proceedings
A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Springer
View on publisher's site
A4 Conference proceedings
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B (2012)
Pereverzeva I, Troubitsyna E, Laibinis L
ACM CoRR
A4 Conference proceedings
Formal Development and Assessment of a Reconfigurable On-Board Satellite System (2012)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila
Springer
View on publisher's site
A4 Conference proceedings
Formal Development of Critical Multi-Agent Systems: A Refinement Approach (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
IEEE
View on publisher's site
A4 Conference proceedings
Formal Goal-Oriented Development of Resilient MAS in Event-B (2012)
Pereverzeva I, Troubitsyna E, Laibinis L
Springer
View on publisher's site


Other publications

D4 Published development or research report or study
Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems (2015)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
D4 Published development or research report or study
Formal Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
D3 Professional conference proceedings
Development of a Dependable Multi-Agent System by Refinement in Event-B (2011)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Technical University of Denmark

Last updated on 2018-19-09 at 19:42

Get in contact