Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels. - Luís Silva Azevedo; David Parker 002; Yiannis Papadopoulos; Martin Walker; Ioannis Sorokos; Rui Esteves Araujo (IMBSA, 2014)

A synthesis of logic and bio-inspired techniques in the design of dependable systems. - Yiannis Papadopoulos; Martin Walker; David Parker 002; Septavera Sharvia; Leonardo Bottaci; Sohag Kabir; Luís Silva Azevedo; Ioannis Sorokos (Annu. Rev. Control., 2016)

Model-Connected Safety Cases. - Athanasios Retouniotis; Yiannis Papadopoulos; Ioannis Sorokos; David Parker 002; Nicholas Matragkas; Septavera Sharvia (IMBSA, 2017)

Generation of model-based safety arguments from automatically allocated safety integrity levels. - Ioannis Sorokos (2017)

A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS. - Sohag Kabir; Koorosh Aslansefat; Ioannis Sorokos; Yiannis Papadopoulos; Youcef Gheraibia (IMBSA, 2019)

A Runtime Safety Analysis Concept for Open Adaptive Systems. - Sohag Kabir; Ioannis Sorokos; Koorosh Aslansefat; Yiannis Papadopoulos; Youcef Gheraibia; Jan Reich; Merve Saimler; Ran Wei (IMBSA, 2019)

Automated Model-Based Attack Tree Analysis Using HiP-HOPS. - Declan Whiting; Ioannis Sorokos; Yiannis Papadopoulos; Gilbert Regan; Eoin O'Carroll (IMBSA, 2019)

Safety + AI: A Novel Approach to Update Safety Models Using Artificial Intelligence. - Youcef Gheraibia; Sohag Kabir; Koorosh Aslansefat; Ioannis Sorokos; Yiannis Papadopoulos (IEEE Access, 2019)

Achieving Data Privacy with a Dependability Mechanism for Cyber Physical Systems. - Gilbert Regan; Fergal McCaffery; Pangkaj Chandra Paul; Jan Reich; Ioannis Sorokos; Eric Armengaud; Marc Zeller; Simone Longo (EuroSPI, 2020)

SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. - Koorosh Aslansefat; Ioannis Sorokos; Declan Whiting; Ramin Tavakoli Kolagari; Yiannis Papadopoulos (IMBSA, 2020)

Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. - Jan Reich; Daniel Schneider 001; Ioannis Sorokos; Yiannis Papadopoulos; Tim Kelly; Ran Wei; Eric Armengaud; Cem Kaypmaz (SAFECOMP, 2020)

A Hybrid Modular Approach for Dynamic Fault Tree Analysis. - Sohag Kabir; Koorosh Aslansefat; Ioannis Sorokos; Yiannis Papadopoulos; Savas Konur (IEEE Access, 2020)

SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measure. - Koorosh Aslansefat; Ioannis Sorokos; Declan Whiting; Ramin Tavakoli Kolagari; Yiannis Papadopoulos (CoRR, 2020)

Quality improvement mechanism for cyber physical systems - An evaluation. - Gilbert Regan; Fergal McCaffery; Pangkaj Chandra Paul; Jan Reich; Eric Armengaud; Cem Kaypmaz; Marc Zeller; Joe Zhensheng Guo; Simone Longo; Eoin O'Carroll; Ioannis Sorokos (J. Softw. Evol. Process., 2020)

Comparison of Safety and Security Analysis Techniques. - Emilia Cioroaica; Smruti Ranjan Kar; Ioannis Sorokos (CISIS-ICEUTE, 2021)

DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems. - Eric Armengaud; Daniel Schneider 001; Jan Reich; Ioannis Sorokos; Yiannis Papadopoulos; Marc Zeller; Gilbert Regan; Georg Macher; Omar Veledar; Stefan Thalmann; Sohag Kabir (DATE, 2021)

Handling Uncertainties of Data-Driven Models in Compliance with Safety Constraints for Autonomous Behaviour. - Michael Kläs; Rasmus Adler; Ioannis Sorokos; Lisa Jöckel; Jan Reich (EDCC, 2021)

Towards a Software Component to Perform Situation-Aware Dynamic Risk Assessment for Autonomous Vehicles. - Jan Reich; Marc Wellstein; Ioannis Sorokos; Fabian Oboril; Kay-Ulrich Scholl (EDCC Workshops, 2021)

Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud. - Andreas Schmidt 003; Jan Reich; Ioannis Sorokos (EDCC, 2021)

A Framework for Automated Quality Assurance and Documentation for Pharma 4.0. - Andreas Schmidt 003; Joshua Frey; Daniel Hillen; Jessica Horbelt; Markus Schandar; Daniel Schneider 001; Ioannis Sorokos (SAFECOMP, 2021)

SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. - Koorosh Aslansefat; Panagiota Nikolaou; Martin Walker; Mohammed Naveed Akram; Ioannis Sorokos; Jan Reich; Panayiotis Kolios; Maria K. Michael; Theocharis Theocharides; Georgios Ellinas; Daniel Schneider 001; Yiannis Papadopoulos (IMBSA, 2022)

Keep Your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring. - Al-Harith Farhad; Ioannis Sorokos; Andreas Schmidt 003; Mohammed Naveed Akram; Koorosh Aslansefat; Daniel Schneider 001 (IMBSA, 2022)

StaDRe and StaDRo: Reliability and Robustness Estimation of ML-Based Forecasting Using Statistical Distance Measures. - Mohammed Naveed Akram; Akshatha Ambekar; Ioannis Sorokos; Koorosh Aslansefat; Daniel Schneider 001 (SAFECOMP Workshops, 2022)

Aircraft Fuel Distribution System. - Koorosh Aslansefat; Youcef Gheraibia; Sohag Kabir; Ioannis Sorokos; Yiannis Papadopoulos (IEEE DataPort, 2022)

Towards the Concept of Trust Assurance Case. - Emilia Cioroaica; Barbora Buhnova; Daniel Schneider 001; Emrah Tomur; Ioannis Sorokos; Thomas Kuhn 001 (RoSE@ICSE, 2023)

Scope Compliance Uncertainty Estimate. - Al-Harith Farhad; Ioannis Sorokos; Mohammed Naveed Akram; Koorosh Aslansefat; Daniel Schneider 001 (CoRR, 2023)

Scope Compliance Uncertainty Estimate Through Statistical Distance. - Al-Harith Farhad; Ioannis Sorokos; Mohammed Naveed Akram; Koorosh Aslansefat (FICC (2), 2024)

Evaluating Self-Adaptive Architectures for Automated Driving Systems. - Ioannis Sorokos; Patrick Wolf; Jan Reich; Daniel Schneider 001 (IOTSMS, 2024)

Explaining Black Boxes With a SMILE: Statistical Model-Agnostic Interpretability With Local Explanations. - Koorosh Aslansefat; Mojgan Hashemian; Martin Walker; Mohammed Naveed Akram; Ioannis Sorokos; Yiannis Papadopoulos (IEEE Softw., 2024)

Multi-Partner Project: Safe, Secure and Dependable Multi-UAV Systems for Search and Rescue Operations. - Panagiota Nikolaou; Antonis Savva; Ioannis Sorokos; Koorosh Aslansefat; Sondess Missaoui; Mohammed Naveed Akram; Daniel Hillen; Marc Lorenz; Martin D. Walker; Manos Papoutsakis; Simos Gerasimou; Panayiotis Kolios; et al. (DATE, 2025)

Andromeda: A model-connected framework for safety assessment and assurance. - Athanasios Retouniotis; Yiannis Papadopoulos; Ioannis Sorokos (J. Syst. Softw., 2025)