Robert A. Thacker

Publication Activity (10 Years)

Years Active: 1999-2011
Publications (10 Years): 0

Publications

Scott Little, David Walter, Chris J. Myers, Robert A. Thacker, Satish Batchu, Tomohiro Yoneda
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30 (4) (2011)
Robert A. Thacker, Kevin R. Jones, Chris J. Myers, Hao Zheng
Automatic abstraction for verification of cyber-physical systems. ICCPS (2010)
Robert A. Thacker, Chris J. Myers, Kevin R. Jones, Scott Little
A new verification method for embedded systems. ICCD (2009)
Robert A. Thacker, Wendy Belluomini, Chris J. Myers
Timed Circuit Synthesis Using Implicit Methods. VLSI Design (1999)