Automatic Abstraction in Symbolic Trajectory Evaluation. - Sara Adams; Magnus Björk; Thomas F. Melham; Carl-Johan H. Seger (FMCAD, 2007)

Undecidability of Universality for Timed Automata with Minimal Resources. - Sara Adams; Joël Ouaknine; James Worrell 001 (FORMATS, 2007)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation. - Sara Elisabeth Adams (2014)