David Parker

Dr David Parker

Visiting Lecturer

Themes:

• Automated Verification
• Foundations, Structures, and Quantum

Completed Projects:

• Automated quantitative software verification with PRISM
• VERIWARE
• PRISMATIC

Biography

I have now moved to the University of Birmingham. My new web page is here.

Selected Publications

View AllManage publications

• Permissive Controller Synthesis for Probabilistic Systems

  Klaus Dräger‚ Vojtĕch Forejt‚ Marta Kwiatkowska‚ David Parker and Mateusz Ujma

  No. RR−14−01. DCS. 2014.

  Details about Permissive Controller Synthesis for Probabilistic Systems | BibTeX data for Permissive Controller Synthesis for Probabilistic Systems | Download  (pdf) of Permissive Controller Synthesis for Probabilistic Systems

Activities

• Probabilistic Verification for Systems Biology
• Software Model Checking
• Probabilistic Model Checking
• Quantitative Analysis and Verification
• PRISM

Past Student

Mateusz Ujma