James Worrell

Dr James Worrell

University Lecturer

jbw@comlab.ox.ac.uk
(0)1865 273843

Wolfson Building, Parks Road, Oxford OX1 3QD

interests

Real-time, probabilistic and infinite-state verification

biography

PhD in Computer Science, University of Oxford, 2001

links

My home page
My DBLP entry

selected publications (View all)

Reachability in Succinct and Parametric One-Counter Automata

Christoph Haase et al.

In M. Bravetti, G. Zavattaro, editors, Proceedings of the 20th International Conference on Concurrency Theory (CONCUR09) Vol. 5710 of Lecture Notes in Computer Science, pages 369—383. Springer, September 2009.

Details | BibTeX | Download (pdf)

info

themes	Verification
activities	Concurrency \| Quantitative Analysis and Verification
projects	Model Checking Timed Systems with Restricted Resources: Algorithms and Complexity \| Automated Verification of Probabilistic Programs
student	Mark Jenkins