Savas Konur

Analysing robot swarm behaviour via probabilistic model checking

Savas Konur, Clare Dixon, Michael Fisher · Robotics and Autonomous Systems · 2011 · 94 citations

Engineering, Automation, Verification +8

Towards design and implementation of Industry 4.0 for food manufacturing

Savas Konur, Y. Lan, Dhavalkumar Thakker et al. · Neural Computing and Applications · 2021 · 87 citations · Full text

Engineering, Machine Learning, Industrial Engineering +29

Enhancing Zero Trust Models in the Financial Industry through Blockchain Integration: A Proposed Framework

Clement Daah, Amna Qureshi, Irfan Awan et al. · Electronics · 2024 · 49 citations · Full text

Cybersecurity, Engineering, Information Security +23

Towards a Predictive Analytics-Based Intelligent Malaria Outbreak Warning System

Babagana Modu, Nereida Polovina, Y. Lan et al. · Applied Sciences · 2017 · 42 citations · Full text

Engineering, Machine Learning, Malaria +17

Combined model checking for temporal, probabilistic, and real-time logics

Savas Konur, Michael Fisher, Sven Schewe · Theoretical Computer Science · 2013 · 41 citations · Full text

Model Checking Procedures, Engineering, Verification +17