David Parker
#176,507
Most Influential Person Now
Researcher
David Parker's AcademicInfluence.com Rankings
David Parkercomputer-science Degrees
Computer Science
#10954
World Rank
#11553
Historical Rank
Machine Learning
#4999
World Rank
#5061
Historical Rank
Artificial Intelligence
#5384
World Rank
#5458
Historical Rank
Database
#7980
World Rank
#8314
Historical Rank
Download Badge
Computer Science
David Parker's Degrees
- PhD Computer Science Stanford University
Similar Degrees You Can Earn
Why Is David Parker Influential?
(Suggest an Edit or Addition)David Parker's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- PRISM 4.0: Verification of Probabilistic Real-Time Systems (2011) (2274)
- PRISM: A Tool for Automatic Verification of Probabilistic Systems (2006) (762)
- PRISM: Probabilistic Symbolic Model Checker (2002) (732)
- Stochastic Model Checking (2007) (586)
- Probabilistic symbolic model checking with PRISM: a hybrid approach (2004) (520)
- Automated Verification Techniques for Probabilistic Systems (2011) (323)
- Probabilistic model checking of complex biological pathways (2008) (287)
- Performance analysis of probabilistic timed automata using digital clocks (2003) (263)
- PRISM: probabilistic model checking for performance and reliability analysis (2009) (257)
- Mathematical techniques for analyzing concurrent and probabilistic systems (2004) (251)
- Numerical vs. statistical probabilistic model checking (2006) (222)
- PRISM 2.0: a tool for probabilistic model checking (2004) (174)
- Verification of Markov Decision Processes Using Learning Algorithms (2014) (170)
- Symmetry Reduction for Probabilistic Model Checking (2006) (164)
- PRISM-games: A Model Checker for Stochastic Multi-Player Games (2013) (141)
- Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation (2000) (138)
- A formal analysis of bluetooth device discovery (2006) (132)
- Assume-Guarantee Verification for Probabilistic Systems (2010) (132)
- The PRISM Benchmark Suite (2012) (113)
- Model checking for probabilistic timed automata (2012) (109)
- Quantitative Multi-objective Verification for Probabilistic Systems (2011) (105)
- Using probabilistic model checking in systems biology (2008) (103)
- Quantitative Analysis With the Probabilistic Model Checker PRISM (2006) (102)
- Game-based Abstraction for Markov Decision Processes (2006) (97)
- A game-based abstraction-refinement framework for Markov decision processes (2010) (95)
- Faster and Symbolic CTMC Model Checking (2001) (89)
- Using probabilistic model checking for dynamic power management (2005) (88)
- On the use of MTBDDs for performability analysis and verification of stochastic systems (2003) (84)
- Pareto Curves for Probabilistic Model Checking (2012) (83)
- Evaluating the reliability of NAND multiplexing with PRISM (2005) (83)
- Stochastic Games for Verification of Probabilistic Timed Automata (2009) (83)
- Advances and challenges of probabilistic model checking (2010) (82)
- Probabilistic model checking in practice: case studies with PRISM (2005) (77)
- Incremental quantitative verification for Markov decision processes (2011) (74)
- Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications (2014) (73)
- Symbolic Representations and Analysis of Large Probabilistic Systems (2004) (70)
- Verification and control of partially observable probabilistic systems (2017) (67)
- Abstraction Refinement for Probabilistic Software (2008) (65)
- Quantitative Verification and Synthesis of Attack-Defence Scenarios (2016) (65)
- Controller Dependability Analysis by Probabilistic Model Checking (2004) (64)
- Analysis of a gossip protocol in PRISM (2008) (61)
- Automated Verification and Strategy Synthesis for Probabilistic Systems (2013) (60)
- Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes (2017) (55)
- Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study (2004) (54)
- Performance Modelling and Verification of Cloud-Based Auto-Scaling Policies (2017) (51)
- Evaluating the reliability of defect-tolerant architectures for nanotechnology with probabilistic model checking (2004) (50)
- Automated Learning of Probabilistic Assumptions for Compositional Reasoning (2011) (49)
- Permissive Controller Synthesis for Probabilistic Systems (2014) (49)
- Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications (2015) (48)
- Probabilistic verification of Herman’s self-stabilisation algorithm (2012) (48)
- Simulation and Verification for Computational Modelling of Signalling Pathways (2006) (47)
- Compositional Verification of Probabilistic Systems Using Learning (2010) (47)
- Advances in Probabilistic Model Checking (2012) (46)
- Probabilistic model checking for systems biology (2011) (45)
- Probabilistic model checking: advances and applications (2018) (41)
- Compositional probabilistic verification through multi-objective model checking (2013) (41)
- Probabilistic Mobile Ambients (2009) (41)
- Probabilistic planning with formal performance guarantees for mobile service robots (2019) (40)
- Incremental Runtime Verification of Probabilistic Systems (2012) (40)
- PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives (2017) (39)
- The Quantitative Verification Benchmark Set (2019) (37)
- Formal analysis and validation of continuous-time Markov chain based system level power management strategies (2002) (37)
- Verification of Probabilistic Real-time Systems (2013) (37)
- PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games (2016) (36)
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) (2019) (35)
- Probabilistic Point-to-Point Information Leakage (2013) (35)
- Game-Based Probabilistic Predicate Abstraction in PRISM (2008) (35)
- Learning-Based Compositional Verification for Synchronous Probabilistic Systems (2011) (34)
- Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems (2011) (34)
- A Symbolic Out-of-Core Solution Method for Markov Models (2002) (33)
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time (2020) (31)
- Dual-processor parallelisation of symbolic probabilistic model checking (2004) (30)
- Model Checking Probabilistic and Stochastic Extensions of the π-Calculus (2009) (26)
- Verifying Team Formation Protocols with Probabilistic Model Checking (2011) (26)
- Model checking the probabilistic pi-calculus (2007) (26)
- Symbolic Model Checking of Concurrent Probabilistic Systems Using MTBDDs and Simplex (1999) (26)
- Language-Level Symmetry Reduction for Probabilistic Model Checking (2009) (25)
- SMT-Based Bisimulation Minimisation of Markov Models (2013) (25)
- Bisimulation for Demonic Schedulers (2009) (23)
- Verification of Real‐Time Probabilistic Systems (2010) (23)
- Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees (2017) (23)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (2014) (22)
- A Framework for Verification of Software with Time and Probabilities (2010) (21)
- GRIP: Generic Representatives in PRISM (2007) (21)
- Automated Verification of Concurrent Stochastic Games (2018) (19)
- Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games (2018) (18)
- Verifying Randomized Distributed Algorithms with PRISM (2000) (18)
- Evaluating reliability of defect tolerant architecture for nanotechnology using probabilistic model (2004) (15)
- An Efficient BDD-Based Implementation of Gauss-Seidel for CTMC Analysis (2003) (14)
- Strategic Analysis of Trust Models for User-Centric Networks (2013) (14)
- Automatic verification of concurrent stochastic systems (2020) (13)
- Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory (2016) (13)
- On Reduction Criteria for Probabilistic Reward Models (2006) (12)
- Quantitative Verification Techniques for Biological Processes (2009) (12)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (2015) (11)
- Model checking the probabilistic π-calculus (2007) (11)
- Generating Compact MTBDD-Representations from ProbmelaSpecifications (2008) (10)
- A wavefront parallelisation of CTMC solution using MTBDDs (2005) (10)
- Verification and Control of Turn-Based Probabilistic Real-Time Games (2019) (10)
- Synthesizing efficient systems in probabilistic environments (2015) (10)
- Verifying Reinforcement Learning up to Infinity (2021) (9)
- Probabilistic Model Checking and Power-Aware Computing (2005) (9)
- Symbolic Magnifying Lens Abstraction in Markov Decision Processes (2008) (8)
- Multi-player Equilibria Verification for Concurrent Stochastic Games (2020) (8)
- On Incremental Quantitative Verification for Probabilistic Systems (2011) (7)
- Fault diagnosis in labelled Petri nets: A Fourier-Motzkin based approach (2021) (6)
- Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract) (2015) (6)
- Quantitative Verification of Numerical Stability for Kalman Filters (2019) (5)
- Local abstraction refinement for probabilistic timed programs (2014) (5)
- Quantitative Verification (2008) (4)
- Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata (2017) (4)
- A Systematic Approach to Evaluate Sustained Stochastic Oscillations (2011) (3)
- Robust Anytime Learning of Markov Decision Processes (2022) (3)
- Translating the probabilistic π-calculus to PRISM (2007) (3)
- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems (2016) (3)
- Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions (2023) (3)
- Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations (2012) (3)
- IMPLEMENTATION OF SYMBOLIC MODEL CHECKING FOR (2002) (2)
- Grid-enabled Probabilistic Model Checking with PRISM (2005) (2)
- An EÆcient Symbolic Out-of-Core Solution Method for Markov Models ? (2003) (2)
- Verified Probabilistic Policies for Deep Reinforcement Learning (2022) (2)
- Semi-Symbolic Computation of Efficient Controllers in Probabilistic Environments (2012) (1)
- Discrete-time Markov chains (2004) (1)
- PERMISSIVE CONTROLLER SYNTHESIS FOR PROBABILISTIC SYSTEMS Klaus Dräger (2014) (1)
- Incremental Runtime Verification of Probabilistic Systems ( Extended Version ) (2012) (1)
- Quantitative verification of Kalman filters (2021) (1)
- Probabilistic symbolicmodel checkingwithPRISM : a hybrid approach (0)
- University of Birmingham Automated Verification of Concurrent Stochastic Games (2018) (0)
- Introduction to the Special Issue on QEST 2019 (2021) (0)
- Optimal Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications (2014) (0)
- Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems (2019) (0)
- Synthesizing efficient systems in probabilistic environments (2015) (0)
- Multi-Objective Controller Synthesis with Uncertain Human Preferences (2021) (0)
- Symbolic Model Checking of Concurrent Probabilistic Systems Using MTBDDs and the Simplex Algorithm (1999) (0)
- D RA FT Quantitative Verification Techniques for Biological Processes (2010) (0)
- DR AF T Probabilistic Model Checking : Advances and Applications (2017) (0)
- , D 2017 , Ensuring the Reliability of Your Model Checker : Interval Iteration for Markov Decision Processes . in (2017) (0)
- Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Robot (2018) (0)
- Replicated Computational Results (RCR) Report for “ProPPA: Probabilistic Programming for Stochastic Dynamical Systems” (2017) (0)
- Partially-Observable Security Games for Automating Attack-Defense Analysis (2022) (0)
- ×øøö Òò Ëýñóðð Ìåå Åóð Òò (2007) (0)
- University of Birmingham Verifying reinforcement learning up to infinity (2021) (0)
- Èööóöññò Òòðý××× Óó Èöóóóóóðð×øø Ììñññ Ùøóññøø Ù××òò Øøð Ðó Blockin× (2003) (0)
- Probabilistic timed automata (2004) (0)
- Ëýñóðð Åóð Òò Óó Èöóóóóóðð×øø Èöó Blockin Blockin×××× Ù××òò Åìììì× Òò Øøø Ãöóòò Blockinö Êêôöö××òøøøøóò (2000) (0)
- Markov decision processes (2004) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With David Parker?
David Parker is affiliated with the following schools:
