Ioannis Sorokos

According to our database, Ioannis Sorokos authored at least 27 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

2023

Scope Compliance Uncertainty Estimate.

Al-Harith Farhad, Ioannis Sorokos, Mohammed Naveed Akram, Koorosh Aslansefat, Daniel Schneider

CoRR, 2023

Towards the Concept of Trust Assurance Case.

Emilia Cioroaica, Barbora Buhnova, Daniel Schneider, Emrah Tomur, Ioannis Sorokos, Thomas Kuhn

Proceedings of the 5th IEEE/ACM International Workshop on Robotics Software Engineering, 2023

2022

Aircraft Fuel Distribution System.

Koorosh Aslansefat, Youcef Gheraibia, Sohag Kabir, Ioannis Sorokos, Yiannis Papadopoulos

Dataset, May, 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

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022

Keep Your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring.

Al-Harith Farhad, Ioannis Sorokos, Andreas Schmidt, Mohammed Naveed Akram, Koorosh Aslansefat, Daniel Schneider

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

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, Yiannis Papadopoulos

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

2021

A Framework for Automated Quality Assurance and Documentation for Pharma 4.0.

Andreas Schmidt, Joshua Frey, Daniel Hillen, Jessica Horbelt, Markus Schandar, Daniel Schneider, Ioannis Sorokos

Proceedings of the Computer Safety, Reliability, and Security, 2021

Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud.

Andreas Schmidt, Jan Reich, Ioannis Sorokos

Proceedings of the 17th European Dependable Computing Conference, 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

Proceedings of the Dependable Computing - EDCC 2021 Workshops, 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

Proceedings of the 17th European Dependable Computing Conference, 2021

DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems.

Eric Armengaud, Daniel Schneider, Jan Reich, Ioannis Sorokos, Yiannis Papadopoulos, Marc Zeller, Gilbert Regan, Georg Macher, Omar Veledar, Stefan Thalmann, Sohag Kabir

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Comparison of Safety and Security Analysis Techniques.

Emilia Cioroaica, Smruti Ranjan Kar, Ioannis Sorokos

Proceedings of the 14th International Conference on Computational Intelligence in Security for Information Systems and 12th International Conference on European Transnational Educational (CISIS 2021 and ICEUTE 2021), 2021

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

SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measure.

Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari, Yiannis Papadopoulos

CoRR, 2020

A Hybrid Modular Approach for Dynamic Fault Tree Analysis.

Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Savas Konur

IEEE Access, 2020

Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities.

Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz

Proceedings of the Computer Safety, Reliability, and Security, 2020

SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures.

Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari, Yiannis Papadopoulos

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

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

Proceedings of the Systems, Software and Services Process Improvement, 2020

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

Automated Model-Based Attack Tree Analysis Using HiP-HOPS.

Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O'Carroll

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 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

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS.

Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

2017

Generation of model-based safety arguments from automatically allocated safety integrity levels.

Ioannis Sorokos

PhD thesis, 2017

Model-Connected Safety Cases.

Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016

A synthesis of logic and bio-inspired techniques in the design of dependable systems.

Yiannis Papadopoulos, Martin Walker, David Parker, Septavera Sharvia, Leonardo Bottaci, Sohag Kabir, Luís Silva Azevedo, Ioannis Sorokos

Annu. Rev. Control., 2016

2014

Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels.

Luís Silva Azevedo, David Parker, Yiannis Papadopoulos, Martin Walker, Ioannis Sorokos, Rui Esteves Araujo

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014