Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Inna Vistbakka"'
Autor:
Inna Vistbakka, Elena Troubitsyna
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 271, Iss Proc. IMPEX 2017 and FM&MDD 2017, Pp 105-116 (2018)
Role-Based Access Control (RBAC) is a popular authorization model used to manage data-access constraints in a wide range of systems. RBAC usually defines the static view on the access rights. However, to ensure dependability of a system, it is often
Externí odkaz:
https://doaj.org/article/e424882f6d98421a8d0199532dee3b2f
Autor:
Inna Vistbakka, Elena Troubitsyna
Publikováno v:
Computing. 103:535-557
Multi-agent systems constitute a wide class of decentralised systems. Their functions are usually carried out by collaborative activities of agents. To ensure resilience of multi-agent systems, we should endow them with a capability to dynamically re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5994a5a1c45ba15c56791bae3418bc7c
https://doi.org/10.1007/s00607-020-00861-2
https://doi.org/10.1007/s00607-020-00861-2
Autor:
Elena Troubitsyna, Inna Vistbakka
Publikováno v:
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ISBN: 9789811550539
Nowadays, safety-critical control systems are becoming increasingly open and interconnected. Therefore, while engineering a safety-critical system, we should guarantee that the system safety is not jeopardised by the security attacks. However, often
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::63b89c149220248e6e48cf1f7c910290
https://doi.org/10.1007/978-981-15-5054-6_6
https://doi.org/10.1007/978-981-15-5054-6_6
Autor:
Inna Vistbakka, Elena Troubitsyna
Publikováno v:
COMPSAC
Microservices is an increasingly popular architectural style that promotes structuring an application as a collection of loosely coupled fine-grained services. Typically, each microservice accesses different data. Hence, while composing complex appli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9a1bf6904549ca26a8c4d000f16da82f
https://doi.org/10.1109/compsac48688.2020.0-126
https://doi.org/10.1109/compsac48688.2020.0-126
Autor:
Elena Troubitsyna, Inna Vistbakka
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783030634056
ICFEM
ICFEM
Microservices is an architectural style that promotes structuring an application as a collection of loosely coupled fine-grained services. Since each microservice typically accesses different data, while composing complex applications it is hard to m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d78edc5416a8b590e34c1693fef7684c
https://doi.org/10.1007/978-3-030-63406-3_19
https://doi.org/10.1007/978-3-030-63406-3_19
Autor:
Inna Vistbakka, Elena Troubitsyna
Publikováno v:
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection ISBN: 9783030497774
PAAMS
PAAMS
Goal-oriented development facilitates structuring behaviour of complex multi-agent systems. It allows us to represent the required system behaviour as a set of goals to be accomplished by the agents with corresponding functionality. However, in gener
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::313948d482f2da8edfe0da15d337a37b
https://doi.org/10.1007/978-3-030-49778-1_26
https://doi.org/10.1007/978-3-030-49778-1_26
Autor:
Elena Troubitsyna, Inna Vistbakka
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 271, Iss Proc. IMPEX 2017 and FM&MDD 2017, Pp 105-116 (2018)
Role-Based Access Control (RBAC) is a popular authorization model used to manage data-access constraints in a wide range of systems. RBAC usually defines the static view on the access rights. However, to ensure dependability of a system, it is often
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::061f5455dbd48cee8b1938009912a93b
https://doi.org/10.4204/eptcs.271.8
https://doi.org/10.4204/eptcs.271.8
Publikováno v:
HASE
A pressure to deploy autonomous systems in real life is increasing. Since exhaustive verification of safety of autonomous systems is unfeasible, the emphasis should be put on safety optimisation an ...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dcad992e521f7e454d30ae8b5b15588e
https://doi.org/10.1109/hase.2019.00019
https://doi.org/10.1109/hase.2019.00019
Autor:
Inna Vistbakka, Elena Troubitsyna
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030308551
SERENE
SERENE
Resilience is an ability of the system to deliver its services in a dependable way despite the changes. In this paper, we propose a multi-agent based formal outlook on ensuring resilience of multi-robotic systems. We represent system functions as col
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ff70bce4f0ce8ae4c81714485e339c4
https://doi.org/10.1007/978-3-030-30856-8_3
https://doi.org/10.1007/978-3-030-30856-8_3
Autor:
Inna Vistbakka, Elena Troubitsyna
Publikováno v:
Model-Based Safety and Assessment ISBN: 9783030328719
IMBSA
IMBSA
Increased openness and interconnectedness of safety-critical control systems calls for techniques enabling an integrated analysis of safety and security requirements. Often safety and security requirements have intricate interdependencies that should
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd4ee1b48ccfd8ca0e645dbe618c9d81
https://doi.org/10.1007/978-3-030-32872-6_24
https://doi.org/10.1007/978-3-030-32872-6_24