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

  • Troubitsyna, Elena (Principal Investigator)
  • Vistbakka, Inna (Co-Investigator)
  • Majd, Amin (Co-Investigator)
  • 7 Conference contribution
Filter
Conference contribution

Search results

  • 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. (eds.). IEEE, p. 58–65

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    11 Citations (Scopus)
  • 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. (eds.). Springer, p. 107–122

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    9 Citations (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. (eds.). Springer, p. 320–336

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    4 Citations (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. (eds.). Springer, p. 48–63

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    5 Citations (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. (eds.). Springer, p. 112–125

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    6 Citations (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, p. 182–189

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    10 Citations (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. (eds.). Springer, p. 386–391

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    6 Citations (Scopus)