default search action
Savas Konur
Person information
- affiliation: University of Sheffield, Sheffield, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j24]Clement Daah, Amna Qureshi, Irfan Awan, Savas Konur:
Simulation-based evaluation of advanced threat detection and response in financial industry networks using zero trust and blockchain technology. Simul. Model. Pract. Theory 138: 103027 (2025) - 2024
- [j23]Richard Oliver Matzko, Savas Konur:
Technologies for design-build-test-learn automation and computational modelling across the synthetic biology workflow: a review. Netw. Model. Anal. Health Informatics Bioinform. 13(1): 22 (2024) - [c28]Clement Daah, Amna Qureshi, Irfan Awan, Omar Adalat, Savas Konur:
Advancing IAM in the Finance Sector by Integrating Zero Trust and Blockchain Technology. MobiWIS 2024: 83-99 - 2023
- [j22]Babagana Modu
, Nereida Polovina
Agent-Based Modeling of Malaria Transmission. IEEE Access 11: 19794-19808 (2023) - [j21]Rose Yemson, Sohag Kabir
Ontology Development for Detecting Complex Events in Stream Processing: Use Case of Air Quality Monitoring. Comput. 12(11): 238 (2023) - [j20]Savas Konur
Towards design and implementation of Industry 4.0 for food manufacturing. Neural Comput. Appl. 35(33): 23753-23765 (2023) - [j19]Florentin Ipate, Ionut-Mihai Niculescu, Raluca Lefticaru
A model learning based testing approach for kernel P systems. Theor. Comput. Sci. 965: 113975 (2023) - [c27]Waqar Ahmed, Sana Riaz, Khunsa Iftikhar
Speech Emotion Recognition Using Deep Learning. SGAI Conf. 2023: 191-197 - [c26]Omar Adalat
Optimal Manufacturing Controller Synthesis Using Situation Calculus. SGAI Conf. 2023: 222-227 - 2022
- [c25]Morteza Sheibani
DDoS Attack Detection and Mitigation in Software-Defined Networking-Based 5G Mobile Networks with Multiple Controllers. FiCloud 2022: 32-39 - [c24]Ali Hussain Shah, Daem Pasha, Esmaeil Habib Zadeh, Savas Konur:
Automated Log Analysis and Anomaly Detection Using Machine Learning. FSDM 2022: 137-147 - [c23]Richard Oliver Matzko, Laurentiu Mierla, Savas Konur:
A 3D Multicellular Simulation Layer for the Synthetic Biology CAD Infobiotics Workbench Suite. IWBBIO (2) 2022: 193-207 - [c22]Daem Pasha, Ali Hussain Shah, Esmaeil Habib Zadeh, Savas Konur:
Anomaly Detection and Root Cause Analysis on Log Data. SGAI Conf. 2022: 333-339 - 2021
- [b1]Gexiang Zhang
Membrane Computing Models: Implementations. Springer 2021, ISBN 978-981-16-1565-8, pp. 1-279 - [j18]Marian Gheorghe
Spiking neural P systems: matrix representation and formal verification. J. Membr. Comput. 3(2): 133-148 (2021) - [c21]Esmaeil Habib Zadeh, Stephen Amstutz, James Collins, Craig Ingham, Marian Gheorghe, Savas Konur:
Automated Contextual Anomaly Detection for Network Interface Bandwidth Utilisation: A Case Study in Network Capacity Management. CECNet 2021: 659-666 - [c20]Waqar Ahmed, Savas Konur:
Detection of Brain Tumour Using Deep Learning. SGAI Conf. 2021: 133-138 - 2020
- [j17]Sohag Kabir
A Hybrid Modular Approach for Dynamic Fault Tree Analysis. IEEE Access 8: 97175-97188 (2020) - [j16]Savas Konur, Laurentiu Mierla, Florentin Ipate, Marian Gheorghe
kPWorkbench: A software suit for membrane systems. SoftwareX 11: 100407 (2020) - [c19]Vjosa Preniqi, Bhupesh Kumar Mishra
Comparative Study of Shortterm Electricity Price Forecasting Models to Optimise Battery Consumption. iThings/GreenCom/CPSCom/SmartData/Cybermatics 2020: 342-349
2010 – 2019
- 2019
- [j15]Ana Turlea, Marian Gheorghe
Search-based testing in membrane computing. J. Membr. Comput. 1(4): 241-250 (2019) - [c18]Rose Yemson, Savas Konur, Dhavalkumar Thakker
A Novel Semantic Complex Event Processing Framework for Streaming Processing. IOT 2019: 32:1-32:4 - 2018
- [j14]Mehmet Emin Bakir, Savas Konur, Marian Gheorghe
Automatic selection of verification tools for efficient analysis of biochemical models. Bioinform. 34(18): 3187-3195 (2018) - [j13]Marian Gheorghe
Kernel P systems: From modelling to verification and testing. Theor. Comput. Sci. 724: 45-60 (2018) - [c17]Yang Lan, Savas Konur, Peter Sutcliffe:
A Data Collection and Prediction Methodology for Manufacturing Process: A Case Study in Food Industry. FSDM 2018: 428-434 - [c16]Babagana Modu, Nereida Polovina
Machine Learning Analysis and Agent-Based Modelling of Malaria Transmission. FSDM 2018: 465-472 - 2017
- [c15]Raluca Lefticaru
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. iThings/GreenCom/CPSCom/SmartData 2017: 131-138 - [c14]Raluca Lefticaru
Modelling and Validating an Engineering Application in Kernel P Systems. Int. Conf. on Membrane Computing 2017: 183-195 - 2016
- [j12]Marian Gheorghe
Testing based on identifiable P Systems using cover automata and X-machines. Inf. Sci. 372: 565-578 (2016) - [c13]Mehmet Emin Bakir, Marian Gheorghe
Comparative Analysis of Statistical Model Checking Tools. Int. Conf. on Membrane Computing 2016: 119-135 - [c12]Marian Gheorghe
Kernel P Systems Modelling, Testing and Verification - Sorting Case Study. Int. Conf. on Membrane Computing 2016: 233-250 - 2015
- [j11]Savas Konur, Michael Fisher
A roadmap to pervasive systems verification. Knowl. Eng. Rev. 30(3): 324-341 (2015) - [j10]Savas Konur, Marian Gheorghe
A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems. IEEE ACM Trans. Comput. Biol. Bioinform. 12(2): 360-371 (2015) - [c11]Savas Konur, Mariam Kiran, Marian Gheorghe
Agent-Based High-Performance Simulation of Biological Systems on the GPU. HPCC/CSS/ICESS 2015: 84-89 - [c10]Marian Gheorghe
An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing 2015: 153-170 - 2014
- [j9]Savas Konur, Michael Fisher
Formal verification of a pervasive messaging system. Formal Aspects Comput. 26(4): 677-694 (2014) - [j8]Savas Konur, Marian Gheorghe
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. Fundam. Informaticae 134(1-2): 97-110 (2014) - [j7]Savas Konur
Towards Light-Weight Probabilistic Model Checking. J. Appl. Math. 2014: 814159:1-814159:15 (2014) - [j6]Savas Konur:
Specifying safety-critical systems with a decidable duration logic. Sci. Comput. Program. 80: 264-287 (2014) - [c9]Daven Sanassy, Harold Fellermann, Natalio Krasnogor, Savas Konur, Laurentiu Mierla, Marian Gheorghe
Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. HPCC/CSS/ICESS 2014: 404-408 - [c8]Mehmet E. Bakir, Savas Konur, Marian Gheorghe
High Performance Simulations of Kernel P Systems. HPCC/CSS/ICESS 2014: 409-412 - [c7]Mehmet E. Bakir, Florentin Ipate, Savas Konur, Laurentiu Mierla, Ionut-Mihai Niculescu:
Extended Simulation and Verification Platform for Kernel P Systems. Int. Conf. on Membrane Computing 2014: 158-178 - 2013
- [j5]Savas Konur:
A survey on temporal logics for specifying and verifying real-time systems. Frontiers Comput. Sci. 7(3): 370-403 (2013) - [j4]Savas Konur, Michael Fisher
Combined model checking for temporal, probabilistic, and real-time logics. Theor. Comput. Sci. 503: 61-88 (2013) - [c6]Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru
Model Checking Kernel P Systems. Int. Conf. on Membrane Computing 2013: 151-172 - 2012
- [j3]Savas Konur, Clare Dixon
Analysing robot swarm behaviour via probabilistic model checking. Robotics Auton. Syst. 60(2): 199-213 (2012) - 2011
- [j2]Savas Konur:
An Event-Based Fragment of First-Order Logic over Intervals. J. Log. Lang. Inf. 20(1): 49-68 (2011) - [c5]Savas Konur, Michael Fisher
Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. VTC Spring 2011: 1-5 - 2010
- [c4]Savas Konur, Clare Dixon
Formal Verification of Probabilistic Swarm Behaviours. ANTS Conference 2010: 440-447 - [i2]Savas Konur:
A Survey on Temporal Logics. CoRR abs/1005.3199 (2010) - [i1]Savas Konur:
Real-time and Probabilistic Temporal Logics: An Overview. CoRR abs/1005.3200 (2010)
2000 – 2009
- 2009
- [j1]Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin
Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009) - 2008
- [c3]Savas Konur:
An interval logic for natural language semantics. Advances in Modal Logic 2008: 177-191 - 2006
- [c2]Savas Konur:
A Decidable Temporal Logic for Events and States. TIME 2006: 36-41 - 2004
- [c1]Mark Hoogendoorn, Catholijn M. Jonker, Savas Konur, Peter-Paul van Maanen, Viara Popova, Alexei Sharpanskykh, Jan Treur, Lai Xu, Pinar Yolum:
Formal Analysis of Empirical Traces in Incident Management. SGAI Conf. (Applications) 2004: 237-250
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: