Towards Integrated Modelling of Dynamic Access Control with UML and Event-B
Vistbakka, Inna, Troubitsyna, Elena
Published in Electronic proceedings in theoretical computer science (12.05.2018)
Published in Electronic proceedings in theoretical computer science (12.05.2018)
Get full text
Journal Article
Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
Year of Publication 2017
Get full text
Conference Proceeding
Securing Open Source Clouds Using Models
Rauf, Irum, Troubitsyna, Elena
Published in Electronic proceedings in theoretical computer science (12.05.2018)
Published in Electronic proceedings in theoretical computer science (12.05.2018)
Get full text
Journal Article
Software Engineering for Resilient Systems: Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings
Year of Publication 2011
Get full text
Conference Proceeding
Verifying Safety of Behaviour Trees in Event-B
Tadiello, Matteo, Troubitsyna, Elena
Published in Electronic proceedings in theoretical computer science (27.09.2022)
Published in Electronic proceedings in theoretical computer science (27.09.2022)
Get full text
Journal Article
Thwarting code-reuse and side-channel attacks in embedded systems
Tsoupidi, Rodothea Myrsini, Troubitsyna, Elena, Papadimitratos, Panagiotis
Published in Computers & security (01.10.2023)
Published in Computers & security (01.10.2023)
Get full text
Journal Article
Facilitating construction of safety cases from formal models in Event-B
Prokhorova, Yuliya, Laibinis, Linas, Troubitsyna, Elena
Published in Information and software technology (01.04.2015)
Published in Information and software technology (01.04.2015)
Get full text
Journal Article
Deriving and Formalising Safety and Security Requirements for Control Systems
Troubitsyna, Elena, Vistbakka, Inna
Published in COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2018) (2018)
Published in COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2018) (2018)
Get full text
Book Chapter
Conference Proceeding