| Security-informed safety: if it’s not secure, it’s not safe R Bloomfield, K Netkachova, R Stroud Software Engineering for Resilient Systems: 5th International Workshop …, 2013 | 95 | 2013 |
| Building blocks for assurance cases R Bloomfield, K Netkachova 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 57 | 2014 |
| Security-informed safety K Netkachova, RE Bloomfield Computer 49 (6), 98-102, 2016 | 20 | 2016 |
| Tool support for assurance case building blocks: Providing a helping hand with CAE K Netkachova, O Netkachov, R Bloomfield Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015 | 20 | 2015 |
| Security-informed safety case approach to analysing MILS systems K Netkachova, K Müller, M Paulitsch, RE Bloomfield | 12 | 2015 |
| CLARISSA: Foundations, Tools & Automation for Assurance Cases S Varadarajan, R Bloomfield, J Rushby, G Gupta, A Murugesan, R Stroud, ... 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | 11 | 2023 |
| Using an assurance case framework to develop security strategy and policies R Bloomfield, P Bishop, E Butler, K Netkachova Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017 | 10 | 2017 |
| Using structured assurance case approach to analyse security and reliability of critical infrastructures K Netkachova, R Bloomfield, P Popov, O Netkachov Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015 | 9 | 2015 |
| Investigation into a layered approach to architecting security-informed safety cases K Netkachova, K Müller, M Paulitsch, R Bloomfield 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 6B4-1-6B4-12, 2015 | 8 | 2015 |
| Safety case-oriented assessment of critical software: Several principles and elements of techniques A Andrashov, V Kharchenko, K Netkachova Monographs of System Dependability. Dependability of Networks, Wroclaw, OWPW …, 2010 | 8 | 2010 |
| Safety case methodology: architecting principles KI Netkachova Радіоелектронні і комп’ютерні системи, 109–112-109–112, 2010 | 6 | 2010 |
| Defeaters and Eliminative Argumentation in Assurance 2.0 R Bloomfield, K Netkachova, J Rushby arXiv preprint arXiv:2405.15800, 2024 | 5 | 2024 |
| Enabling theory-based continuous assurance: A coherent approach with semantics and automated synthesis S Varadarajan, R Bloomfield, J Rushby, G Gupta, A Murugesan, R Stroud, ... International Conference on Computer Safety, Reliability, and Security, 173-187, 2024 | 3 | 2024 |
| Is Chocolate Good for You—or, Is the Cloud Secure? K Netkachova, R Bloomfield Computer 50 (8), 74-78, 2017 | 1 | 2017 |
| Message from the WoSoCer 2018 Workshop Chairs H Alemzadeh, B Gallina, R Natella, K Netkachova, R Pietrantuono, ... | | 2018 |
| Assurance of open systems dependability: developing a framework for automotive security and safety RE Bloomfield, E Butler, K Netkachova | | 2017 |
| Message from the WoSoCer workshop organizers H Alemzadeh, R Barbosa, F Brancati, B Gallina, M Lawford, R Natella, ... 28th IEEE International Symposium on Software Reliability Engineering …, 2017 | | 2017 |
| Security-informed safety: integrating security within the safety demonstration of a smart device RE Bloomfield, ASL Guerra, E Butler, K Netkachova 10th International Topical Meeting on Nuclear Plant Instrumentation, Control …, 2017 | | 2017 |
| Argument Strength–An Engineering Perspective RE Bloomfield, K Netkachova Workshop on Argument Strength, 17, 2016 | | 2016 |
| A layered approach to architecting security-informed safety cases (applied to an avionics case study) K Netkachova, K Müller, M Paulitsch, R Bloomfield 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 1-36, 2015 | | 2015 |
