SafeML: safety monitoring of machine learning classifiers through statistical difference measures K Aslansefat, I Sorokos, D Whiting, R Tavakoli Kolagari, Y Papadopoulos International symposium on model-based safety and assessment, 197-211, 2020 | 54 | 2020 |
Safety+ AI: A novel approach to update safety models using artificial intelligence Y Gheraibia, S Kabir, K Aslansefat, I Sorokos, Y Papadopoulos IEEE Access 7, 135855-135869, 2019 | 33 | 2019 |
A runtime safety analysis concept for open adaptive systems S Kabir, I Sorokos, K Aslansefat, Y Papadopoulos, Y Gheraibia, J Reich, ... Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019 …, 2019 | 31 | 2019 |
A synthesis of logic and bio-inspired techniques in the design of dependable systems Y Papadopoulos, M Walker, D Parker, S Sharvia, L Bottaci, S Kabir, ... Annual Reviews in Control 41, 170-182, 2016 | 30 | 2016 |
A hybrid modular approach for dynamic fault tree analysis S Kabir, K Aslansefat, I Sorokos, Y Papadopoulos, S Konur IEEE Access 8, 97175-97188, 2020 | 29 | 2020 |
Engineering of runtime safety monitors for cyber-physical systems with digital dependability identities J Reich, D Schneider, I Sorokos, Y Papadopoulos, T Kelly, R Wei, ... Computer Safety, Reliability, and Security: 39th International Conference …, 2020 | 22 | 2020 |
A conceptual framework to incorporate complex basic events in HiP-HOPS S Kabir, K Aslansefat, I Sorokos, Y Papadopoulos, Y Gheraibia Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019 …, 2019 | 21 | 2019 |
Towards a software component to perform situation-aware dynamic risk assessment for autonomous vehicles J Reich, M Wellstein, I Sorokos, F Oboril, KU Scholl Dependable Computing-EDCC 2021 Workshops: DREAMS, DSOGRI, SERENE 2021 …, 2021 | 17 | 2021 |
Handling uncertainties of data-driven models in compliance with safety constraints for autonomous behaviour M Kläes, R Adler, I Sorokos, L Joeckel, J Reich 2021 17th European Dependable Computing Conference (EDCC), 95-102, 2021 | 15 | 2021 |
Model-connected safety cases A Retouniotis, Y Papadopoulos, I Sorokos, D Parker, N Matragkas, ... Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017 | 15 | 2017 |
Automating allocation of development assurance levels: an extension to HiP-HOPS I Sorokos, Y Papadopoulos, L Azevedo, D Parker, M Walker IFAC-PapersOnLine 48 (7), 9-14, 2015 | 12 | 2015 |
Safedrones: Real-time reliability evaluation of uavs using executable digital dependable identities K Aslansefat, P Nikolaou, M Walker, MN Akram, I Sorokos, J Reich, ... International Symposium on Model-Based Safety and Assessment, 252-266, 2022 | 11 | 2022 |
A framework for automated quality assurance and documentation for pharma 4.0 A Schmidt, J Frey, D Hillen, J Horbelt, M Schandar, D Schneider, ... Computer Safety, Reliability, and Security: 40th International Conference …, 2021 | 8 | 2021 |
Exploring the impact of different cost heuristics in the allocation of safety integrity levels LS Azevedo, D Parker, Y Papadopoulos, M Walker, I Sorokos, RE Araújo Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014 …, 2014 | 8 | 2014 |
StaDRe and StaDRo: reliability and robustness estimation of ML-based forecasting using statistical distance measures MN Akram, A Ambekar, I Sorokos, K Aslansefat, D Schneider International Conference on Computer Safety, Reliability, and Security, 289-301, 2022 | 7 | 2022 |
DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems E Armengaud, D Schneider, J Reich, I Sorokos, Y Papadopoulos, M Zeller, ... 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021 | 7 | 2021 |
Automated model-based attack tree analysis using HiP-HOPS D Whiting, I Sorokos, Y Papadopoulos, G Regan, E O’Carroll Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019 …, 2019 | 7 | 2019 |
Comparing automatic allocation of safety integrity levels in the aerospace and automotive domains I Sorokos, LP Azevedo, Y Papadopoulos, M Walker, DJ Parker IFAC-PapersOnLine 49 (3), 184-190, 2016 | 6 | 2016 |
Towards the Concept of Trust Assurance Case E Cioroaica, B Buhnova, D Schneider, I Sorokos, T Kuhn, E Tomur 2022 IEEE International Conference on Trust, Security and Privacy in …, 2022 | 4 | 2022 |
Quality improvement mechanism for cyber physical systems—An evaluation G Regan, F McCaffery, PC Paul, J Reich, E Armengaud, C Kaypmaz, ... Journal of Software: Evolution and Process 32 (11), e2295, 2020 | 4 | 2020 |