Sara Adams

Sara Elisabeth Adams

Doctoral Student
Student, Exeter College

sara.adams@comlab.ox.ac.uk
01865 610803

Room 423, Wolfson Building, Parks Road, Oxford OX1 3QD

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

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.

Details | BibTeX | Link (pdf)

Undecidability of Universality for Timed Automata with Minimal Resources

Automatic Abstraction in Symbolic Trajectory Evaluation

Sara Adams et al.

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

Details | BibTeX | Link (pdf)

Automatic Abstraction in Symbolic Trajectory Evaluation

On the Undecidability of Universality for Timed Automata with Minimal Resources

Sara Adams

MSc Thesis. 2006.

Details | BibTeX | Link (pdf)

On the Undecidability of Universality for Timed Automata with Minimal Resources

View all

info

themes	Verification
projects	Model Checking Partially Ordered State Spaces
supervisor	Tom Melham