James Worrell

Dr James Worrell

University Lecturer

(0)1865 273843

Wolfson Building, Parks Road, Oxford OX1 3QD

Real-time, probabilistic and infinite-state verification

PhD in Computer Science, University of Oxford, 2001

Undecidability of Universality for Timed Automata with Minimal Resources

Sara Adams, Joel Ouaknine and James Worrell

In Formal Modeling and Analysis of Timed Systems 2007 Vol. 4763 of Lecture Notes in Computer Science, pages 25-37. Springer, 2007.

themes	Verification
activities	Quantitative Analysis and Verification
student	Mark Jenkins