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

Journal Articles

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)
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)
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)

Conference and Workshop Papers

see FAQ

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

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
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
[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
[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

Informal and Other Publications

see FAQ

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

2012
[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.