Seguir
Savas Konur
Savas Konur
Afiliação desconhecida
Nenhum email confirmado
Título
Citado por
Citado por
Ano
Analysing robot swarm behaviour via probabilistic model checking
S Konur, C Dixon, M Fisher
Robotics and Autonomous Systems 60 (2), 199-213, 2012
1042012
Combined model checking for temporal, probabilistic, and real-time logics
S Konur, M Fisher, S Schewe
Theoretical Computer Science 503, 61-88, 2013
392013
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
352016
Formal verification of probabilistic swarm behaviours
S Konur, C Dixon, M Fisher
International Conference on Swarm Intelligence, 440-447, 2010
322010
Model checking kernel P systems
C Dragomir, F Ipate, S Konur, R Lefticaru, L Mierla
International Conference on Membrane Computing, 151-172, 2013
312013
A survey on temporal logics for specifying and verifying real-time systems
S Konur
Frontiers of Computer Science 7 (3), 370-403, 2013
302013
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
302011
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
272017
Learning decision trees for action selection in soccer agents
S Konur, A Ferrein, G Lakemeyer
Proc. of Workshop on Agents in dynamic and real-time environments, 2004
252004
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, 153-170, 2015
232015
Real-time and probabilistic temporal logics: An overview
S Konur
arXiv preprint arXiv:1005.3200, 2010
232010
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
222015
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
222014
Conventional verification for unconventional computing: a genetic XOR gate example
S Konur, M Gheorghe, C Dragomir, F Ipate, N Krasnogor
Fundamenta Informaticae 134 (1-2), 97-110, 2014
222014
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
222010
Automated support for adaptive incident management
H Abbink, R Van Dijk, T Dobos, M Hoogendoorn, C Jonker, S Konur, ...
Springer, 2004
222004
Formal verification of a pervasive messaging system
S Konur, M Fisher, S Dobson, S Knox
Formal Aspects of Computing 26 (4), 677-694, 2014
212014
The programmed death (PD)‐1/PD‐ligand 1 pathway regulates graft‐versus‐host‐reactive CD8 T cells after liver transplantation
M Schuchmann, RG Meyer, E Distler, E Von Stebut, J Kuball, E Schnürer, ...
American Journal of Transplantation 8 (11), 2434-2444, 2008
212008
Modelling and stochastic simulation of synthetic biological boolean gates
D Sanassy, H Fellermann, N Krasnogor, S Konur, LM Mierla, M Gheorghe, ...
2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 …, 2014
202014
Extended simulation and verification platform for kernel P systems
ME Bakir, F Ipate, S Konur, L Mierla, I Niculescu
International Conference on Membrane Computing, 158-178, 2014
202014
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20