D
David Parker
Researcher at University of Birmingham
Publications - 387
Citations - 19365
David Parker is an academic researcher from University of Birmingham. The author has contributed to research in topics: Probabilistic logic & Model checking. The author has an hindex of 65, co-authored 343 publications receiving 17600 citations. Previous affiliations of David Parker include University of Oxford.
Papers
More filters
Book ChapterDOI
PRISM 4.0: verification of probabilistic real-time systems
TL;DR: A major new release of the PRISMprobabilistic model checker is described, adding, in particular, quantitative verification of (priced) probabilistic timed automata.
Journal Article
PRISM : A tool for automatic verification of probabilistic systems
TL;DR: This paper presents an overview of all the main features of PRISM, a probabilistic model checking tool which has already been successfully deployed in a wide range of application domains, from real-time communication protocols to biological signalling pathways.
Book ChapterDOI
PRISM: Probabilistic Symbolic Model Checker
TL;DR: PRISM has been successfully used to analyse probabilistic termination, performance, and quality of service properties for a range of systems, including randomized distributed algorithms, manufacturing systems and workstation clusters.
Book ChapterDOI
Stochastic model checking
TL;DR: This tutorial presents an overview of model checking for both discrete and continuous-time Markov chains (DTMCs and CTMCs) by outlining the main features supported by PRISM and three real-world case studies: a probabilistic security protocol, dynamic power management and a biological pathway.
Journal ArticleDOI
Adsorption kinetics of fluoride on low cost materials
TL;DR: The data suggested that Calcite has been seen as a good adsorbent in fluoride removal and has been patented, but its adsorption capacity is only better than quartz, and the external mass transfer is a very slow and rate-determining step during fluoride removal from the aqueous solution.