Scott Little
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2001–2011
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FMCAD | Realtime regular expressions for analog and mixed-signal assertions. | John Havlicek, Scott Little |
| 2009 | ICCD | A new verification method for embedded systems. | Robert A. Thacker, Chris J. Myers, Kevin R. Jones, Scott Little |
| 2007 | ASPDAC | Symbolic Model Checking of Analog/Mixed-Signal Circuits. | David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda |
| 2007 | ATVA | Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. | Scott Little, David Walter, Kevin R. Jones, Chris J. Myers |
| 2007 | ATVA | Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. | David Walter, Scott Little, Chris J. Myers |
| 2006 | ICCAD | Verification of analog/mixed-signal circuits using labeled hybrid petri nets. | Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda |
| 2004 | ATVA | Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets. | Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda |
| 2003 | ICCD | Verification of Timed Circuits with Failure Directed Abstractions. | Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda |
| 2001 | ER | The E/S Tool IT-Support for Ergonomic and Sociotechnical System Design. | Martin Van De Bovenkamp, Ruben Jongkind, Gu Van Rhijn, Frans M. van Eijnatten, Gudela Grote, Jouni Lehtel, Timo Leskinen, Peter Vink, Scott Little, Toni Wfler |