Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems

  • Troubitsyna, Elena (Ansvarig forskare)
  • Vistbakka, Inna (CoI)
  • Majd, Amin (CoI)
  • 7 Konferensbidrag

Sökresultat

  • 2018

    Deriving and Formalising Safety and Security Requirements for Control Systems

    Troubitsyna, E. & Vistbakka, I., 2018, Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. Gallina, B., Skavhaug, A. & Bitsch, F. (red.). Springer, s. 107–122

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    9 Citeringar (Scopus)

  • Deriving Mode Logic for Autonomous Resilient Systems

    Vistbakka, I., Majd, A. & Troubitsyna, E., 2018, Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Sun, J. & Sun, M. (red.). Springer, s. 320–336

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    4 Citeringar (Scopus)

  • Modelling and Verification of Dynamic Role-Based Access Control

    Vistbakka, I. & Troubitsyna, E., 2018, Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. Faouzi Atig, M., Bensalem, S., Bliudze, S. & Monsuez, B. (red.). Springer, s. 48–63

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    5 Citeringar (Scopus)

  • Multi-layered Approach to Safe Navigation of Swarms of Drones

    Vistbakka, I., Majd, A. & Troubitsyna, E., 2018, Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings. Gallina, B., Skavhaug, A., Schoitsch, E. & Bitsch, F. (red.). Springer, s. 112–125

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    6 Citeringar (Scopus)

  • Towards a Formal Approach to Analysing Security of Safety-Critical Systems

    Vistbakka, I. & Troubitsyna, E., 2018, 14th European Dependable Computing Conference, EDCC 2018, Romania, September 10-14, 2018. IEEE, s. 182–189

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    10 Citeringar (Scopus)

  • Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B

    Vistbakka, I., Barash, M. & Troubitsyna, E., 2018, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Butler, M. J., Raschke, A., Son Hoang, T. & Reichl, K. (red.). Springer, s. 386–391

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    6 Citeringar (Scopus)
  • 2019

    Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective

    Vistbakka, I., Troubitsyna, E. & Majd, A., 2019, Proceedings of 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE). Dongjin, Y., Nguyen, V. & Jiang, C. (red.). IEEE, s. 58–65

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    11 Citeringar (Scopus)