Nicholas Seegmiller

According to our database, Nicholas Seegmiller authored at least 5 papers between 2004 and 2008.

Collaborative distances:

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

2008

Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods.

David Walter, Scott Little, Chris J. Myers, Nicholas Seegmiller, Tomohiro Yoneda

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2007

Symbolic Model Checking of Analog/Mixed-Signal Circuits.

David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2006

Verification of analog/mixed-signal circuits using labeled hybrid petri nets.

Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda

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

2005

The Case for Analog Circuit Verification.

Chris J. Myers, Reid R. Harrison, David Walter, Nicholas Seegmiller, Scott Little

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005

2004

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.

Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004