David Parker - Concepedia

Author

David Parker

Also Known As

CORPORALS DAVID PARKER, D A Parker, D. A. Parker, D. Parker, D.A. PARKER, D.A. Parker, Dave Parker, David A. Parker, David Parker, Duncan J. Parker

278

Publications

12.2K

Citations

H-Index

145

Concepts

All Affiliations

University of Birmingham University of Oxford University of Glasgow University of Bath Virginia Tech

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	34	60	4K
2	Business	5	6	330
3	Management	2	2	192
4	Health Sciences	1	1	79
5	Language Studies	1	1	29

David Parker

Publications

4.6K

Citations

H-Index

Page 1

	Year	Citations
Probabilistic symbolic model checking with PRISM: a hybrid approach Marta Kwiatkowska, Gethin Norman, David Parker International Journal on Software Tools for Technology Transfer EngineeringAutomated ReasoningProgram AnalysisVerificationProbabilistic Symbolic Model	2004	436
PRISM Marta Kwiatkowska, Gethin Norman, David Parker ACM SIGMETRICS Performance Evaluation Review Reliability EngineeringProbabilistic Model CheckingEngineeringProbabilistic SystemProbabilistic Verification	2009	245
Probabilistic model checking of complex biological pathways John K. Heath, Marta Kwiatkowska, Gethin Norman, Theoretical Computer Science Probabilistic Model CheckingEngineeringAutomated ReasoningComplex Biological SystemVerification	2007	238
Numerical vs. statistical probabilistic model checking Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, International Journal on Software Tools for Technology Transfer EngineeringUncertainty QuantificationAutomated ReasoningProbabilistic VerificationVerification	2006	209
Performance analysis of probabilistic timed automata using digital clocks Marta Kwiatkowska, Gethin Norman, David Parker, Formal Methods in System Design Logical AutomatonEngineeringVerificationProcess ControlFormal Methods	2006	197
Automatic verification of competitive stochastic systems Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, Formal Methods in System Design Stochastic Hybrid SystemEngineeringStochastic SystemVerificationProbabilistic Verification	2013	131
The PRISM Benchmark Suite Marta Kwiatkowsa, Gethin Norman, David Parker Performance BenchmarkingEngineeringMachine LearningVerificationComputer Architecture	2012	118
Model checking for probabilistic timed automata Gethin Norman, David Parker, Jeremy Sproston Formal Methods in System Design Logical AutomatonEngineeringAutomated ReasoningVerificationFormal Methods	2012	112
Low-Area/Power Parallel FIR Digital Filter Implementations David Parker, Keshab K. Parhi The Journal of VLSI Signal Processing Systems for Signal Image and Video Technology	1997	103
PRISM: A tool for automatic verification of probabilistic systems Andrew Hinton, Marta Kwiatkowska, Gethin Norman,	2006	101

Page 1