Kevin R. Jones

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Top Venues

Publications

Andrew N. Fisher, Satish Batchu, Kevin R. Jones, Dhanashree Kulkarni, Scott Little, David Walter, Chris J. Myers
LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. MWSCAS (2014)
Robert A. Thacker, Kevin R. Jones, Chris J. Myers, Hao Zheng
Automatic abstraction for verification of cyber-physical systems. ICCPS (2010)
Scott Little, David Walter, Kevin R. Jones, Chris J. Myers, Alper Sen
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. Int. J. Found. Comput. Sci. 21 (2) (2010)
Robert A. Thacker, Chris J. Myers, Kevin R. Jones, Scott Little
A new verification method for embedded systems. ICCD (2009)
Chris J. Myers, Nathan A. Barker, Kevin R. Jones, Hiroyuki Kuwahara, Curtis Madsen, Nam-Phuong D. Nguyen
iBioSim: a tool for the analysis and design of genetic circuits. Bioinform. 25 (21) (2009)
Chris J. Myers, Nathan A. Barker, Hiroyuki Kuwahara, Kevin R. Jones, Curtis Madsen, Nam-Phuong D. Nguyen
Genetic design automation. ICCAD (2009)
Scott Little, David Walter, Kevin R. Jones, Chris J. Myers
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. ATVA (2007)