Inna Vistbakka

Projektforskare, Datateknik
E-post: inna.vistbakka@abo.fi


Referentgranskade publikationer

A4 Konferenspublikationer
Deriving and Formalising Safety and Security Requirements for Control Systems (2018)
Elena Troubitsyna, Inna Vistbakka
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Deriving Mode Logic for Autonomous Resilient Systems (2018)
Inna Vistbakka, Amin Majd, Elena Troubitsyna
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Verification of Stateful Services with REST APIs Using Event-B (2018)
Irum Rauf, Inna Vistbakka, Elena Troubitsyna
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Modelling and Verification of Dynamic Role-Based Access Control (2018)
Inna Vistbakka, Elena Troubitsyna
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Multi-layered Approach to Safe Navigation of Swarms of Drones (2018)
Inna Vistbakka, Amin Majd, Elena Troubitsyna
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Towards a Formal Approach to Analysing Security of Safety-Critical Systems (2018)
Inna Vistbakka, Elena Troubitsyna
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B (2018)
Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook (2017)
Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal reasoning about resilient goal-oriented multi-agent systems (2017)
L. Laibinis, I. Pereverzeva, E. Troubitsyna
Science of Computer Programming
Visa på utgivarens sida
A4 Konferenspublikationer
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks (2016)
Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Towards Security-Explicit Formal Modelling of Safety-Critical Systems (2016)
Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation (2015)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Derivation of Distributed MapReduce (2014)
Pereverzeva I, Butler M, Fathabadi AS, Laibinis L, Troubitsyna E
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
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
Visa på utgivarens sida
A4 Konferenspublikationer
Modelling Resilient Systems-of-Systems in Event-B (2014)
Laibinis L, Pereverzeva I, Troubitsyna E
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Refinement-Based Approach to Developing Critical Multi-Agent Systems (2013)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
International Journal of Critical Computer-Based Systems
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Modelling of Resilient Data Storage in Cloud (2013)
Inna Pereverzeva; Linas Laibinis; Elena Troubitsyna; Markus Holmberg; Mikko Pöri
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B (2012)
Pereverzeva I, Troubitsyna E, Laibinis L
ACM CoRR
A4 Konferenspublikationer
Formal Development and Assessment of a Reconfigurable On-Board Satellite System (2012)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Development of Critical Multi-Agent Systems: A Refinement Approach (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Goal-Oriented Development of Resilient MAS in Event-B (2012)
Pereverzeva I, Troubitsyna E, Laibinis L
Springer
Visa på utgivarens sida


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems (2015)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
D3 Professionell konferenspublikation
Development of a Dependable Multi-Agent System by Refinement in Event-B (2011)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Technical University of Denmark

Senast uppdaterad 2018-19-09 vid 19:42