Folgen
Savas Konur
Savas Konur
Professor, Department of Computer Science, University of Bradford
Bestätigte E-Mail-Adresse bei bradford.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Analysing robot swarm behaviour via probabilistic model checking
S Konur, C Dixon, M Fisher
Robotics and Autonomous Systems 60 (2), 199-213, 2012
1192012
Towards design and implementation of Industry 4.0 for food manufacturing
S Konur, Y Lan, D Thakker, G Morkyani, N Polovina, J Sharp
Neural Computing and Applications, 1-13, 2021
682021
Towards a predictive analytics-based intelligent malaria outbreak warning system
B Modu, N Polovina, Y Lan, S Konur, AT Asyhari, Y Peng
Applied Sciences 7 (8), 836, 2017
492017
A survey on temporal logics for specifying and verifying real-time systems
S Konur
Frontiers of Computer Science 7, 370-403, 2013
462013
Combined model checking for temporal, probabilistic, and real-time logics
S Konur, M Fisher, S Schewe
Theoretical Computer Science 503, 61-88, 2013
442013
Membrane computing models: implementations
G Zhang, MJ Pérez-Jiménez, A Riscos-Núñez, S Verlan, S Konur, T Hinze, ...
Springer 10, 978-981, 2021
422021
Comparison of sensors and methodologies for effective prognostics on railway turnout systems
F Camci, OF Eker, S Başkan, S Konur
Proceedings of the Institution of Mechanical Engineers, Part F: Journal of …, 2016
412016
Formal analysis of a VANET congestion control protocol through probabilistic verification
S Konur, M Fisher
2011 IEEE 73rd Vehicular Technology Conference (VTC Spring), 1-5, 2011
362011
Formal verification of probabilistic swarm behaviours
S Konur, C Dixon, M Fisher
Swarm Intelligence: 7th International Conference, ANTS 2010, Brussels …, 2010
362010
Model checking kernel P systems
C Dragomir, F Ipate, S Konur, R Lefticaru, L Mierla
Membrane Computing: 14th International Conference, CMC 2013, Chişinău …, 2014
352014
Real-time and probabilistic temporal logics: An overview
S Konur
arXiv preprint arXiv:1005.3200, 2010
292010
Towards the verification of pervasive systems
M Arapinis, M Calder, L Dennis, M Fisher, P Gray, S Konur, A Miller, ...
Electronic Communications of the EASST 22, 2010
282010
An integrated model checking toolset for kernel P systems
M Gheorghe, S Konur, F Ipate, L Mierla, ME Bakir, M Stannett
International Conference on Membrane Computing, CMC 2015, Lecture Notes in …, 2015
272015
Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems
S Konur, M Gheorghe, C Dragomir, L Mierla, F Ipate, N Krasnogor
ACS Synthetic Biology 4 (1), 83-92, 2015
272015
High performance simulations of kernel P systems
ME Bakir, S Konur, M Gheorghe, I Niculescu, F Ipate
2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 …, 2014
262014
Formal verification of a pervasive messaging system
S Konur, M Fisher, S Dobson, S Knox
Formal Aspects of Computing 26, 677-694, 2014
262014
Automated support for adaptive incident management
H Abbink, R Van Dijk, T Dobos, M Hoogendoorn, C Jonker, S Konur, ...
Proceedings of ISCRAM 2004 - 1st International Workshop on Information …, 2004
262004
Learning decision trees for action selection in soccer agents
S Konur, A Ferrein, G Lakemeyer
ECAI-04 Workshop on Agents in dynamic and real-time environments, 2004
262004
A hybrid modular approach for dynamic fault tree analysis
S Kabir, K Aslansefat, I Sorokos, Y Papadopoulos, S Konur
IEEE Access 8, 97175-97188, 2020
252020
Kernel P systems: from modelling to verification and testing
M Gheorghe, R Ceterchi, F Ipate, S Konur, R Lefticaru
Theoretical Computer Science 724, 45-60, 2018
252018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20