Kevin R. Jones

According to our database, Kevin R. Jones authored at least 7 papers between 2007 and 2014.

Collaborative distances:

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

2014

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

Proceedings of the IEEE 57th International Midwest Symposium on Circuits and Systems, 2014

2010

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces.

Scott Little, David Walter, Kevin R. Jones, Chris J. Myers, Alper Sen

Int. J. Found. Comput. Sci., 2010

Automatic abstraction for verification of cyber-physical systems.

Robert A. Thacker, Kevin R. Jones, Chris J. Myers, Hao Zheng

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

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

A new verification method for embedded systems.

Robert A. Thacker, Chris J. Myers, Kevin R. Jones, Scott Little

Proceedings of the 27th International Conference on Computer Design, 2009

Genetic design automation.

Chris J. Myers, Nathan A. Barker, Hiroyuki Kuwahara, Kevin R. Jones, Curtis Madsen, Nam-Phuong D. Nguyen

Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

2007

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces.

Scott Little, David Walter, Kevin R. Jones, Chris J. Myers

Proceedings of the Automated Technology for Verification and Analysis, 2007