Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Inna Vistbakka

Inna Pereverzeva

> Home > Persons

Person information

affiliation: Åbo Akademi University, Turku, Finland

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/computing/VistbakkaT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/VistbakkaT21
Inna Vistbakka, Elena Troubitsyna:
Modelling resilient collaborative multi-agent systems. Computing 103(4): 535-557 (2021)
2020
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/VistbakkaT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/VistbakkaT20
Inna Vistbakka, Elena Troubitsyna:
Analysing Privacy-Preserving Constraints in Microservices Architecture. COMPSAC 2020: 1089-1090
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/VistbakkaT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/VistbakkaT20
Inna Vistbakka, Elena Troubitsyna:
Modelling and Verification of Safety of Access Control in SCADA Systems. CRiSIS 2020: 354-364
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/VistbakkaT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/VistbakkaT20
Inna Vistbakka, Elena Troubitsyna:
Formalising Privacy-Preserving Constraints in Microservices Architecture. ICFEM 2020: 308-317
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/VistbakkaT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/VistbakkaT20
Inna Vistbakka, Elena Troubitsyna:
Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B. PAAMS 2020: 327-339

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/VistbakkaTM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/VistbakkaTM19
Inna Vistbakka, Elena Troubitsyna, Amin Majd:
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. HASE 2019: 58-65
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/imbsa/VistbakkaT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imbsa/VistbakkaT19
Inna Vistbakka, Elena Troubitsyna:
Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems. IMBSA 2019: 363-378
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/VistbakkaT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/VistbakkaT19
Inna Vistbakka, Elena Troubitsyna:
Modelling Autonomous Resilient Multi-robotic Systems. SERENE 2019: 29-45
2018
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/VistbakkaBT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/VistbakkaBT18
Inna Vistbakka, Mikhail Barash, Elena Troubitsyna:
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. ABZ 2018: 386-391
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/VistbakkaT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/VistbakkaT18
Inna Vistbakka, Elena Troubitsyna:
Towards a Formal Approach to Analysing Security of Safety-Critical Systems. EDCC 2018: 182-189
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/VistbakkaMT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/VistbakkaMT18
Inna Vistbakka, Amin Majd, Elena Troubitsyna:
Deriving Mode Logic for Autonomous Resilient Systems. ICFEM 2018: 320-336
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/RaufVT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/RaufVT18
Irum Rauf, Inna Vistbakka, Elena Troubitsyna:
Formal Verification of Stateful Services with REST APIs Using Event-B. ICWS 2018: 131-138
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/TroubitsynaV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/TroubitsynaV18
Elena Troubitsyna, Inna Vistbakka:
Deriving and Formalising Safety and Security Requirements for Control Systems. SAFECOMP 2018: 107-122
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/VistbakkaMT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/VistbakkaMT18
Inna Vistbakka, Amin Majd, Elena Troubitsyna:
Multi-layered Approach to Safe Navigation of Swarms of Drones. SAFECOMP Workshops 2018: 112-125
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/VistbakkaT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/VistbakkaT18
Inna Vistbakka, Elena Troubitsyna:
Modelling and Verification of Dynamic Role-Based Access Control. VECoS 2018: 48-63
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LaibinisPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LaibinisPT17
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna:
Formal reasoning about resilient goal-oriented multi-agent systems. Sci. Comput. Program. 148: 66-87 (2017)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/VistbakkaTKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/VistbakkaTKL17
Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala:
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. SERENE 2017: 96-114
[c13]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-05521
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05521
Inna Vistbakka, Elena Troubitsyna:
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. IMPEX/FM&MDD 2017: 105-116
2016
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LaibinisTPOH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LaibinisTPOH16
Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns:
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. ICFEM 2016: 141-158
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/TroubitsynaLPKI16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/TroubitsynaLPKI16
Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala:
Towards Security-Explicit Formal Modelling of Safety-Critical Systems. SAFECOMP 2016: 213-225
2015
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/TarasyukPTL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/TarasyukPTL15
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala:
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. SAFECOMP 2015: 29-43
2014
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/PereverzevaBFLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/PereverzevaBFLT14
Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna:
Formal Derivation of Distributed MapReduce. ABZ 2014: 238-254
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LaibinisBPTTP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LaibinisBPTTP14
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: 103-119
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/LaibinisPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/LaibinisPT14
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna:
Modelling Resilient Systems-of-Systems in Event-B. SAFECOMP Workshops 2014: 157-166
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/PereverzevaTL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/PereverzevaTL13
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
A refinement-based approach to developing critical multi-agent systems. Int. J. Crit. Comput. Based Syst. 4(1): 69-91 (2013)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/PereverzevaLTHP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/PereverzevaLTHP13
Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri:
Formal Modelling of Resilient Data Storage in Cloud. ICFEM 2013: 363-379
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/TarasyukPTL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/TarasyukPTL13
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. SERENE 2013: 109-124
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PereverzevaTL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PereverzevaTL12
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Formal Goal-Oriented Development of Resilient MAS in Event-B. Ada-Europe 2012: 147-161
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/PereverzevaTL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/PereverzevaTL12
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Formal Development of Critical Multi-agent Systems: A Refinement Approach. EDCC 2012: 156-161
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/TarasyukPTLN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/TarasyukPTLN12
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila:
Formal Development and Assessment of a Reconfigurable On-board Satellite System. SAFECOMP 2012: 210-222
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/PereverzevaTL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/PereverzevaTL12
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. SERENE 2012: 16-31
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1210-7035
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-7035
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B. CoRR abs/1210.7035 (2012)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.