University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Sara Adams

Personal photo - Sara Adams
Sara Elisabeth Adams
Doctoral Student

Biography

Sara Adams is a research student in Computer Science at Oxford University, and a member of Exeter College. She holds a M.Sc. in Mathematics and the Foundations of Computer Science from Oxford University and is currently persuing her D.Phil. on Abstraction Discovery and Refinement for Model Checking by Symbolic Trajectory Evaluation.

Links

Personal details

Selected Publications

View all

Manage publications

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.

Automatic Abstraction in Symbolic Trajectory Evaluation

Sara Adams‚ Magnus Bj�rk‚ Tom Melham and Carl−Johan Seger

In FMCAD '07: Proceedings of the 7th International Conference on Formal Methods in Computer Aided Design. Pages 127–135. IEEE Computer Society. 2007.

On the Undecidability of Universality for Timed Automata with Minimal Resources

Sara Adams

MSc Thesis. 2006.

Info

Themes

Completed Projects

Supervisor

SHARE THIS: