Inna Pereverzeva

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 4

Top Topics

Computational Logic

Top Venues

Publications

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