Ioannis Sorokos

36 papers A 2B 4Misc 2Journal 12Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Andromeda: A model-connected framework for safety assessment and assurance. J. Syst. Softw. Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos
2025	—	`conf`	Model-Based Dependent Failure Analysis. IMBSA Daniel Schneider, Ioannis Sorokos, Santiago Velasco, Peter Munk, Markus Schweizer
2025	A	`conf`	Multi-Partner Project: Safe, Secure and Dependable Multi-UAV Systems for Search and Rescue Operations. DATE Panagiota Nikolaou, Antonis D. Savva, Ioannis Sorokos, Koorosh Aslansefat, Sondess Missaoui, Mohammed Naveed Akram, Daniel Hillen, Marc Lorenz, Martin D. Walker, Manos Papoutsakis, Simos Gerasimou, Panayiotis Kolios, Yiannis Papadopoulos, Jan Reich, Sotiris Ioannidis, Maria K. Michael
2024	—	`conf`	Evaluating Self-Adaptive Architectures for Automated Driving Systems. IOTSMS Ioannis Sorokos, Patrick Wolf, Jan Reich, Daniel Schneider
2024	J	`jnl`	Explaining Black Boxes With a SMILE: Statistical Model-Agnostic Interpretability With Local Explanations. IEEE Softw. Koorosh Aslansefat, Mojgan Hashemian, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Yiannis Papadopoulos
2024	—	`conf`	Scope Compliance Uncertainty Estimate Through Statistical Distance. FICC (2) Al-Harith Farhad, Ioannis Sorokos, Mohammed Naveed Akram, Koorosh Aslansefat
2023	J	`jnl`	Explaining black boxes with a SMILE: Statistical Model-agnostic Interpretability with Local Explanations. CoRR Koorosh Aslansefat, Mojgan Hashemian, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Yiannis Papadopoulos
2023	J	`jnl`	Scope Compliance Uncertainty Estimate. CoRR Al-Harith Farhad, Ioannis Sorokos, Mohammed Naveed Akram, Koorosh Aslansefat, Daniel Schneider
2023	—	`conf`	Towards the Concept of Trust Assurance Case. RoSE@ICSE Emilia Cioroaica, Barbora Buhnova, Daniel Schneider, Emrah Tomur, Ioannis Sorokos, Thomas Kuhn
2022	—	`conf`	Keep Your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring. IMBSA Al-Harith Farhad, Ioannis Sorokos, Andreas Schmidt, Mohammed Naveed Akram, Koorosh Aslansefat, Daniel Schneider
2022	J	`jnl`	Keep your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring. CoRR Al-Harith Farhad, Ioannis Sorokos, Andreas Schmidt, Mohammed Naveed Akram, Koorosh Aslansefat, Daniel Schneider
2022	—	`conf`	SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. IMBSA 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
2022	J	`jnl`	SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable Digital Dependable Identities. CoRR 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
2022	—	`conf`	StaDRe and StaDRo: Reliability and Robustness Estimation of ML-Based Forecasting Using Statistical Distance Measures. SAFECOMP Workshops Mohammed Naveed Akram, Akshatha Ambekar, Ioannis Sorokos, Koorosh Aslansefat, Daniel Schneider
2022	J	`jnl`	StaDRe and StaDRo: Reliability and Robustness Estimation of ML-based Forecasting using Statistical Distance Measures. CoRR Mohammed Naveed Akram, Akshatha Ambekar, Ioannis Sorokos, Koorosh Aslansefat, Daniel Schneider
2022	B	`conf`	Towards the Concept of Trust Assurance Case. TrustCom Emilia Cioroaica, Barbora Buhnova, Daniel Schneider, Ioannis Sorokos, Thomas Kuhn, Emrah Tomur
2021	B	`conf`	A Framework for Automated Quality Assurance and Documentation for Pharma 4.0. SAFECOMP Andreas Schmidt, Joshua Frey, Daniel Hillen, Jessica Horbelt, Markus Schandar, Daniel Schneider, Ioannis Sorokos
2021	—	`conf`	Comparison of Safety and Security Analysis Techniques. CISIS-ICEUTE Emilia Cioroaica, Smruti Ranjan Kar, Ioannis Sorokos
2021	A	`conf`	DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems. DATE Eric Armengaud, Daniel Schneider, Jan Reich, Ioannis Sorokos, Yiannis Papadopoulos, Marc Zeller, Gilbert Regan, Georg Macher, Omar Veledar, Stefan Thalmann, Sohag Kabir
2021	Misc	`conf`	Handling Uncertainties of Data-Driven Models in Compliance with Safety Constraints for Autonomous Behaviour. EDCC Michael Kläs, Rasmus Adler, Ioannis Sorokos, Lisa Jöckel, Jan Reich
2021	Misc	`conf`	Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud. EDCC Andreas Schmidt, Jan Reich, Ioannis Sorokos
2021	—	`conf`	Towards a Software Component to Perform Situation-Aware Dynamic Risk Assessment for Autonomous Vehicles. EDCC Workshops Jan Reich, Marc Wellstein, Ioannis Sorokos, Fabian Oboril, Kay-Ulrich Scholl
2020	J	`jnl`	A Hybrid Modular Approach for Dynamic Fault Tree Analysis. IEEE Access Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Savas Konur
2020	B	`conf`	Achieving Data Privacy with a Dependability Mechanism for Cyber Physical Systems. EuroSPI Gilbert Regan, Fergal McCaffery, Pangkaj Chandra Paul, Jan Reich, Ioannis Sorokos, Eric Armengaud, Marc Zeller, Simone Longo
2020	B	`conf`	Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. SAFECOMP Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz
2020	J	`jnl`	Quality improvement mechanism for cyber physical systems - An evaluation. J. Softw. Evol. Process. 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
2020	—	`conf`	SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. IMBSA Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari, Yiannis Papadopoulos
2020	J	`jnl`	SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measure. CoRR Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari, Yiannis Papadopoulos
2019	—	`conf`	A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS. IMBSA Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia
2019	—	`conf`	A Runtime Safety Analysis Concept for Open Adaptive Systems. IMBSA Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei
2019	—	`conf`	Automated Model-Based Attack Tree Analysis Using HiP-HOPS. IMBSA Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O'Carroll
2019	J	`jnl`	Safety + AI: A Novel Approach to Update Safety Models Using Artificial Intelligence. IEEE Access Youcef Gheraibia, Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos
2017	—	`—`	Generation of model-based safety arguments from automatically allocated safety integrity levels. Ioannis Sorokos
2017	—	`conf`	Model-Connected Safety Cases. IMBSA Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia
2016	J	`jnl`	A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annu. Rev. Control. Yiannis Papadopoulos, Martin Walker, David Parker, Septavera Sharvia, Leonardo Bottaci, Sohag Kabir, Luís Silva Azevedo, Ioannis Sorokos
2014	—	`conf`	Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels. IMBSA Luís Silva Azevedo, David Parker, Yiannis Papadopoulos, Martin Walker, Ioannis Sorokos, Rui Esteves Araujo