Kateryna Netkachova
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2014–2024
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAFECOMP | Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. | Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaqun Arias |
| 2017 | SAFECOMP | Using an Assurance Case Framework to Develop Security Strategy and Policies. | Robin Bloomfield, Peter G. Bishop, Eoin Butler, Kateryna Netkachova |
| 2015 | SAFECOMP | Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures. | Kateryna Netkachova, Robin E. Bloomfield, Peter T. Popov, Oleksandr Netkachov |
| 2015 | SAFECOMP | Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAE. | Kateryna Netkachova, Oleksandr Netkachov, Robin E. Bloomfield |
| 2014 | ISSRE | Building Blocks for Assurance Cases. | Robin E. Bloomfield, Kateryna Netkachova |