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.

Selected Publications

View AllManage 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 about Undecidability of Universality for Timed Automata with Minimal Resources | BibTeX data for Undecidability of Universality for Timed Automata with Minimal Resources | Download (pdf) of Undecidability of Universality for Timed Automata with Minimal Resources

• 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.

  Details about Automatic Abstraction in Symbolic Trajectory Evaluation | BibTeX data for Automatic Abstraction in Symbolic Trajectory Evaluation | Download (pdf) of Automatic Abstraction in Symbolic Trajectory Evaluation

• On the Undecidability of Universality for Timed Automata with Minimal Resources

  Sara Adams

  MSc Thesis. 2006.

  Details about On the Undecidability of Universality for Timed Automata with Minimal Resources | BibTeX data for On the Undecidability of Universality for Timed Automata with Minimal Resources | Download (pdf) of On the Undecidability of Universality for Timed Automata with Minimal Resources

Completed Projects

• Model Checking Partially Ordered State Spaces

Supervisor