Concepedia

David Parker

DP

76

Publications

4.6K

Citations

37

H-Index

1987

Active since

Affiliations

University of Birmingham(Current)

University of Oxford

University of Glasgow

University of Bath

David Parker is an author at University of Birmingham specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationSystems EngineeringFormal MethodsVerificationAutomated ReasoningSoftware AnalysisProgram AnalysisComputer Engineering

Publications per year

1987–2022

76

Publications

76

Probabilistic symbolic model checking with PRISM: a hybrid approach

Marta Kwiatkowska, Gethin Norman, David Parker · International Journal on Software Tools for Technology Transfer · 2004 · 436 citations

Engineering, Automated Reasoning, Program Analysis +10

Marta Kwiatkowska, Gethin Norman, David Parker · ACM SIGMETRICS Performance Evaluation Review · 2009 · 245 citations · Full text

Reliability Engineering, Probabilistic Model Checking, Engineering +15

Probabilistic model checking of complex biological pathways

John K. Heath, Marta Kwiatkowska, Gethin Norman et al. · Theoretical Computer Science · 2007 · 238 citations

Probabilistic Model Checking, Engineering, Automated Reasoning +6

Numerical vs. statistical probabilistic model checking

Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman et al. · International Journal on Software Tools for Technology Transfer · 2006 · 209 citations

Engineering, Uncertainty Quantification, Automated Reasoning +9

Performance analysis of probabilistic timed automata using digital clocks

Marta Kwiatkowska, Gethin Norman, David Parker et al. · Formal Methods in System Design · 2006 · 197 citations

Logical Automaton, Engineering, Verification +9

Rows per page

1–5 of 76