Formal Analysis of Empirical Traces in Incident Management. - Mark Hoogendoorn; Catholijn M. Jonker; Savas Konur; Peter-Paul van Maanen; Viara Popova; Alexei Sharpanskykh; Jan Treur; Lai Xu 001; Pinar Yolum (SGAI Conf. (Applications), 2004)

A Decidable Temporal Logic for Events and States. - Savas Konur (TIME, 2006)

An interval logic for natural language semantics. - Savas Konur (Advances in Modal Logic, 2008)

Towards the Verification of Pervasive Systems. - Myrto Arapinis; Muffy Calder; Louise A. Dennis; Michael Fisher 001; Philip D. Gray; Savas Konur; Alice Miller 001; Eike Ritter; Mark Ryan 001; Sven Schewe; Chris Unsworth; Rehana Yasmin (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Formal Verification of Probabilistic Swarm Behaviours. - Savas Konur; Clare Dixon; Michael Fisher 001 (ANTS Conference, 2010)

A Survey on Temporal Logics - Savas Konur (CoRR, 2010)

Real-time and Probabilistic Temporal Logics: An Overview - Savas Konur (CoRR, 2010)

Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. - Savas Konur; Michael Fisher 001 (VTC Spring, 2011)

An Event-Based Fragment of First-Order Logic over Intervals. - Savas Konur (J. Log. Lang. Inf., 2011)

Analysing robot swarm behaviour via probabilistic model checking. - Savas Konur; Clare Dixon; Michael Fisher 001 (Robotics Auton. Syst., 2012)

Model Checking Kernel P Systems. - Ciprian Dragomir; Florentin Ipate; Savas Konur; Raluca Lefticaru; Laurentiu Mierla (Int. Conf. on Membrane Computing, 2013)

A survey on temporal logics for specifying and verifying real-time systems. - Savas Konur (Frontiers Comput. Sci., 2013)

Combined model checking for temporal, probabilistic, and real-time logics. - Savas Konur; Michael Fisher 001; Sven Schewe (Theor. Comput. Sci., 2013)

High Performance Simulations of Kernel P Systems. - Mehmet E. Bakir; Savas Konur; Marian Gheorghe 001; Ionut-Mihai Niculescu; Florentin Ipate (HPCC/CSS/ICESS, 2014)

Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. - Daven Sanassy; Harold Fellermann; Natalio Krasnogor; Savas Konur; Laurentiu Mierla; Marian Gheorghe 001; Christophe Ladroue; Sara Kalvala (HPCC/CSS/ICESS, 2014)

Extended Simulation and Verification Platform for Kernel P Systems. - Mehmet E. Bakir; Florentin Ipate; Savas Konur; Laurentiu Mierla; Ionut-Mihai Niculescu (Int. Conf. on Membrane Computing, 2014)

Formal verification of a pervasive messaging system. - Savas Konur; Michael Fisher 001; Simon Dobson; Stephen Knox (Formal Aspects Comput., 2014)

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. - Savas Konur; Marian Gheorghe 001; Ciprian Dragomir; Florentin Ipate; Natalio Krasnogor (Fundam. Informaticae, 2014)

Towards Light-Weight Probabilistic Model Checking. - Savas Konur (J. Appl. Math., 2014)

Specifying safety-critical systems with a decidable duration logic. - Savas Konur (Sci. Comput. Program., 2014)

Agent-Based High-Performance Simulation of Biological Systems on the GPU. - Savas Konur; Mariam Kiran; Marian Gheorghe 001; Mark Burkitt; Florentin Ipate (HPCC/CSS/ICESS, 2015)

An Integrated Model Checking Toolset for Kernel P Systems. - Marian Gheorghe 001; Savas Konur; Florentin Ipate; Laurentiu Mierla; Mehmet E. Bakir; Mike Stannett (Int. Conf. on Membrane Computing, 2015)

A roadmap to pervasive systems verification. - Savas Konur; Michael Fisher 001 (Knowl. Eng. Rev., 2015)

A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems. - Savas Konur; Marian Gheorghe 001 (IEEE ACM Trans. Comput. Biol. Bioinform., 2015)

Comparative Analysis of Statistical Model Checking Tools. - Mehmet Emin Bakir; Marian Gheorghe 001; Savas Konur; Mike Stannett (Int. Conf. on Membrane Computing, 2016)

Kernel P Systems Modelling, Testing and Verification - Sorting Case Study. - Marian Gheorghe 001; Rodica Ceterchi; Florentin Ipate; Savas Konur (Int. Conf. on Membrane Computing, 2016)

Testing based on identifiable P Systems using cover automata and X-machines. - Marian Gheorghe 001; Florentin Ipate; Savas Konur (Inf. Sci., 2016)

Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. - Raluca Lefticaru; Savas Konur; Ünal Yildirim; Amad Uddin; Felician Campean; Marian Gheorghe 001 (iThings/GreenCom/CPSCom/SmartData, 2017)

Modelling and Validating an Engineering Application in Kernel P Systems. - Raluca Lefticaru; Mehmet Emin Bakir; Savas Konur; Mike Stannett; Florentin Ipate (Int. Conf. on Membrane Computing, 2017)

A Data Collection and Prediction Methodology for Manufacturing Process: A Case Study in Food Industry. - Yang Lan; Savas Konur; Peter Sutcliffe (FSDM, 2018)

Machine Learning Analysis and Agent-Based Modelling of Malaria Transmission. - Babagana Modu; Nereida Polovina; Yang Lan; Savas Konur (FSDM, 2018)

Automatic selection of verification tools for efficient analysis of biochemical models. - Mehmet Emin Bakir; Savas Konur; Marian Gheorghe 001; Natalio Krasnogor; Mike Stannett (Bioinform., 2018)

Kernel P systems: From modelling to verification and testing. - Marian Gheorghe 001; Rodica Ceterchi; Florentin Ipate; Savas Konur; Raluca Lefticaru (Theor. Comput. Sci., 2018)

A Novel Semantic Complex Event Processing Framework for Streaming Processing. - Rose Yemson; Savas Konur; Dhavalkumar Thakker (IOT, 2019)

Search-based testing in membrane computing. - Ana Turlea; Marian Gheorghe 001; Florentin Ipate; Savas Konur (J. Membr. Comput., 2019)

Comparative Study of Shortterm Electricity Price Forecasting Models to Optimise Battery Consumption. - Vjosa Preniqi; Bhupesh Kumar Mishra; Dhavalkumar Thakker; Erich Feigl; Geev Mokryani; Amr Abdullatif; Savas Konur (iThings/GreenCom/CPSCom/SmartData/Cybermatics, 2020)

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

kPWorkbench: A software suit for membrane systems. - Savas Konur; Laurentiu Mierla; Florentin Ipate; Marian Gheorghe 001 (SoftwareX, 2020)

Membrane Computing Models: Implementations - Gexiang Zhang; Mario J. Pérez-Jiménez; Agustín Riscos-Núñez; Sergey Verlan; Savas Konur; Thomas Hinze; Marian Gheorghe 001 (Springer, 2021)

Automated Contextual Anomaly Detection for Network Interface Bandwidth Utilisation: A Case Study in Network Capacity Management. - Esmaeil Habib Zadeh; Stephen Amstutz; James Collins 004; Craig Ingham; Marian Gheorghe 001; Savas Konur (CECNet, 2021)

Detection of Brain Tumour Using Deep Learning. - Waqar Ahmed; Savas Konur (SGAI Conf., 2021)

Spiking neural P systems: matrix representation and formal verification. - Marian Gheorghe 001; Raluca Lefticaru; Savas Konur; Ionut-Mihai Niculescu; Henry N. Adorna (J. Membr. Comput., 2021)

DDoS Attack Detection and Mitigation in Software-Defined Networking-Based 5G Mobile Networks with Multiple Controllers. - Morteza Sheibani; Savas Konur; Irfan Awan (FiCloud, 2022)

Automated Log Analysis and Anomaly Detection Using Machine Learning. - Ali Hussain Shah; Daem Pasha; Esmaeil Habib Zadeh; Savas Konur (FSDM, 2022)

A 3D Multicellular Simulation Layer for the Synthetic Biology CAD Infobiotics Workbench Suite. - Richard Oliver Matzko; Laurentiu Mierla; Savas Konur (IWBBIO (2), 2022)

Anomaly Detection and Root Cause Analysis on Log Data. - Daem Pasha; Ali Hussain Shah; Esmaeil Habib Zadeh; Savas Konur (SGAI Conf., 2022)

Optimal Manufacturing Controller Synthesis Using Situation Calculus. - Omar Adalat; Daniele Scrimieri; Savas Konur (SGAI Conf., 2023)

Speech Emotion Recognition Using Deep Learning. - Waqar Ahmed; Sana Riaz; Khunsa Iftikhar; Savas Konur (SGAI Conf., 2023)

Agent-Based Modeling of Malaria Transmission. - Babagana Modu; Nereida Polovina; Savas Konur (IEEE Access, 2023)

A model learning based testing approach for kernel P systems. - Florentin Ipate; Ionut-Mihai Niculescu; Raluca Lefticaru; Savas Konur; Marian Gheorghe 001 (Theor. Comput. Sci., 2023)

Ontology Development for Detecting Complex Events in Stream Processing: Use Case of Air Quality Monitoring. - Rose Yemson; Sohag Kabir; Dhavalkumar Thakker; Savas Konur (Comput., 2023)

Towards design and implementation of Industry 4.0 for food manufacturing. - Savas Konur; Yang Lan; Dhavalkumar Thakker; Geev Mokryani; Nereida Polovina; James Sharp (Neural Comput. Appl., 2023)

Offline deep reinforcement learning within the baking industry. - Omar Adalat; Savas Konur (ICCMA, 2024)

Advancing IAM in the Finance Sector by Integrating Zero Trust and Blockchain Technology. - Clement Daah; Amna Qureshi; Irfan Awan; Omar Adalat; Savas Konur (MobiWIS, 2024)

Technologies for design-build-test-learn automation and computational modelling across the synthetic biology workflow: a review. - Richard Oliver Matzko; Savas Konur (Netw. Model. Anal. Health Informatics Bioinform., 2024)

Simulation-based evaluation of advanced threat detection and response in financial industry networks using zero trust and blockchain technology. - Clement Daah; Amna Qureshi; Irfan Awan; Savas Konur (Simul. Model. Pract. Theory, 2025)