Inna Pereverzeva

15 papers B 4C 3Misc 2Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2017 J jnl
Formal reasoning about resilient goal-oriented multi-agent systems.
Sci. Comput. Program.
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
2016 C conf
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks.
ICFEM
Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns
2016 B conf
Towards Security-Explicit Formal Modelling of Safety-Critical Systems.
SAFECOMP
Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
2015 B conf
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation.
SAFECOMP
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
2014 C conf
Formal Derivation of Distributed MapReduce.
ABZ
Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
2014 B conf
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.
IFM
Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres
2014 — conf
Modelling Resilient Systems-of-Systems in Event-B.
SAFECOMP Workshops
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
2013 J jnl
A refinement-based approach to developing critical multi-agent systems.
Int. J. Crit. Comput. Based Syst.
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2013 — conf
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System.
SERENE
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2013 C conf
Formal Modelling of Resilient Data Storage in Cloud.
ICFEM
Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri
2012 — conf
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System.
SERENE
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2012 J jnl
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B
CoRR
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2012 B conf
Formal Development and Assessment of a Reconfigurable On-board Satellite System.
SAFECOMP
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila
2012 Misc conf
Formal Development of Critical Multi-agent Systems: A Refinement Approach.
EDCC
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2012 Misc conf
Formal Goal-Oriented Development of Resilient MAS in Event-B.
Ada-Europe
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis