Savas Konur - Citegraph

Author Info

Name	Affiliation	Papers
SAVAS KONUR	Department of Computer Science, the University of Liverpool, Liverpool, UK L69 3BX	29
Collaborators	Citations	PageRank
35	131	13.40
Referers	Referees	References
243	790	808

Search Limit

100790

Publications (29 rows)

Collaborators (35 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Search-based testing in membrane computing.	0	0.34	2019
Machine Learning Analysis and Agent-Based Modelling of Malaria Transmission.	0	0.34	2018
Automatic selection of verification tools for efficient analysis of biochemical models.	0	0.34	2018
A Data Collection and Prediction Methodology for Manufacturing Process: A Case Study in Food Industry.	0	0.34	2018
Kernel P systems: From modelling to verification and testing.	0	0.34	2018
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering	2	0.38	2017
Modelling and Validating an Engineering Application in Kernel P Systems.	0	0.34	2017
Testing based on identifiable P Systems using cover automata and X-machines.	2	0.38	2016
Agent-Based High-Performance Simulation of Biological Systems on the GPU	2	0.39	2015
A roadmap to pervasive systems verification.	1	0.36	2015
An Integrated Model Checking Toolset for Kernel P Systems.	3	0.40	2015
Specifying safety-critical systems with a decidable duration logic	1	0.36	2014
High Performance Simulations of Kernel P Systems	5	0.49	2014
Towards Light-Weight Probabilistic Model Checking.	1	0.37	2014
Extended Simulation and Verification Platform for Kernel P Systems.	4	0.52	2014
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example	3	0.53	2014
Formal verification of a pervasive messaging system	7	0.60	2014
Combined model checking for temporal, probabilistic, and real-time logics	16	0.67	2013
A survey on temporal logics for specifying and verifying real-time systems	6	0.42	2013
Model Checking Kernel P Systems	8	0.64	2013
Analysing robot swarm behaviour via probabilistic model checking	36	1.13	2012
Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification	8	0.78	2011
An Event-Based Fragment of First-Order Logic over Intervals	1	0.35	2011
Formal verification of probabilistic swarm behaviours	11	0.62	2010
Real-time and Probabilistic Temporal Logics: An Overview	2	0.46	2010
A Survey on Temporal Logics	3	0.36	2010
Towards the Verification of Pervasive Systems	4	0.42	2009
An interval logic for natural language semantics	2	0.37	2008
A Decidable Temporal Logic for Events and States	3	0.39	2006