Sara Adams

According to our database, Sara Adams authored at least 3 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation.

Sara Elisabeth Adams

PhD thesis, 2014

2007

Undecidability of Universality for Timed Automata with Minimal Resources.

Sara Adams, Joël Ouaknine, James Worrell

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Automatic Abstraction in Symbolic Trajectory Evaluation.

Sara Adams, Magnus Björk, Thomas F. Melham, Carl-Johan H. Seger

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007