Inna Pereverzeva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2012–2016
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICFEM | A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. | Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns |
| 2016 | SAFECOMP | Towards Security-Explicit Formal Modelling of Safety-Critical Systems. | Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala |
| 2015 | SAFECOMP | The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. | Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala |
| 2014 | IFM | Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. | Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres |
| 2014 | SAFECOMP | Modelling Resilient Systems-of-Systems in Event-B. | Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna |
| 2013 | ICFEM | Formal Modelling of Resilient Data Storage in Cloud. | Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pri |
| 2012 | EDCC | Formal Development of Critical Multi-agent Systems: A Refinement Approach. | Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis |
| 2012 | SAFECOMP | Formal Development and Assessment of a Reconfigurable On-board Satellite System. | Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila |