Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. - Scott Little; David Walter; Kevin R. Jones; Chris J. Myers (ATVA, 2007)

Genetic design automation. - Chris J. Myers; Nathan A. Barker; Hiroyuki Kuwahara; Kevin R. Jones; Curtis Madsen; Nam-Phuong D. Nguyen (ICCAD, 2009)

A new verification method for embedded systems. - Robert A. Thacker; Chris J. Myers; Kevin R. Jones; Scott Little (ICCD, 2009)

iBioSim: a tool for the analysis and design of genetic circuits. - Chris J. Myers; Nathan A. Barker; Kevin R. Jones; Hiroyuki Kuwahara; Curtis Madsen; Nam-Phuong D. Nguyen (Bioinform., 2009)

Automatic abstraction for verification of cyber-physical systems. - Robert A. Thacker; Kevin R. Jones; Chris J. Myers; Hao Zheng 001 (ICCPS, 2010)

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. - Scott Little; David Walter; Kevin R. Jones; Chris J. Myers; Alper Sen 001 (Int. J. Found. Comput. Sci., 2010)

LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. - Andrew N. Fisher; Satish Batchu; Kevin R. Jones; Dhanashree Kulkarni; Scott Little; David Walter; Chris J. Myers (MWSCAS, 2014)