RICE UNIVERSITY Experimental Evaluation of Explicit and Symbolic Automata-Theoretic Algorithms by Deian Tabakov A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE. Deian Tabakov, Kristin Y. Rozier: Comments:. Implementation of the LTL-to-monitor approach described by the Ph.D. Thesis of the tool author. This tool. A THESIS SUBMITTED. like to thank the other members of my thesis committee Finally, I must also thank my office-mates, Deian Tabakov and Seth Fogarty. Contents. Deian Tabakov, Master of Science. (2011) (Thesis or Dissertation Director) Deian Tabakov, Doctor of Philosophy Dynamic Assertion-Based Verification for SystemsC.