cs-conference-ranking.org Search 971 venues

Inna Vistbakka

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

8

Active years

2018–2020

Best venue rank

C

Where they publish

Papers

10 indexed papers, newest first.

Year	Venue	Title	Authors
2020	COMPSAC	Analysing Privacy-Preserving Constraints in Microservices Architecture.	Inna Vistbakka, Elena Troubitsyna
2020	CRiSIS	Modelling and Verification of Safety of Access Control in SCADA Systems.	Inna Vistbakka, Elena Troubitsyna
2020	ICFEM	Formalising Privacy-Preserving Constraints in Microservices Architecture.	Inna Vistbakka, Elena Troubitsyna
2020	PAAMS	Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B.	Inna Vistbakka, Elena Troubitsyna
2018	EDCC	Towards a Formal Approach to Analysing Security of Safety-Critical Systems.	Inna Vistbakka, Elena Troubitsyna
2018	ICFEM	Deriving Mode Logic for Autonomous Resilient Systems.	Inna Vistbakka, Amin Majd, Elena Troubitsyna
2018	ICWS	Formal Verification of Stateful Services with REST APIs Using Event-B.	Irum Rauf, Inna Vistbakka, Elena Troubitsyna
2018	SAFECOMP	Deriving and Formalising Safety and Security Requirements for Control Systems.	Elena Troubitsyna, Inna Vistbakka
2018	SAFECOMP	Multi-layered Approach to Safe Navigation of Swarms of Drones.	Inna Vistbakka, Amin Majd, Elena Troubitsyna
2018	VECoS	Modelling and Verification of Dynamic Role-Based Access Control.	Inna Vistbakka, Elena Troubitsyna