Inna Pereverzeva

Formal Development and Assessment of a Reconfigurable On-board Satellite System

Elena Troubitsyna, Timo Latvala, Inna Pereverzeva, 2012, SAFECOMP.

Formal development of resilient distributed systems

Inna Pereverzeva, Inna Pereverzeva, 2015 .

Towards Security-Explicit Formal Modelling of Safety-Critical Systems

Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, 2016, SAFECOMP.