Curriculum Vitae

Publications

hopper08.pdf [891 KB]
2008 London Hopper Colloquium
Poster: Automating Hardware Verification
Sara Adams , Magnus Bjork, Tom Melham, and Carl Seger
fmcad07.pdf [173 KB]
Formal Methods in Computer Aided Design 2007
Paper: Automatic Abstraction in Symbolic Trajectory Evaluation
Sara Adams , Magnus Bjork, Tom Melham, and Carl Seger
formats07.pdf [489 KB]
Formal Modelling and Analysis of Timed Systems 2007
Paper: Undecidability of Universality for Timed Automata with Minimal Resources
Sara Adams, Joel Ouaknine, and James Worrell
mscthesis.pdf [493 KB]
Oxford University
MSc Thesis: On the Undecidability of Universality for Timed Automata with Minimal Resources
Sara Adams