Jonathan Kotker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2010–2011
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FMCAD | Timing analysis of interrupt-driven programs under context bounds. | Jonathan Kotker, Dorsa Sadigh, Sanjit A. Seshia |
| 2011 | TACAS | GameTime: A Toolkit for Timing Analysis of Software. | Sanjit A. Seshia, Jonathan Kotker |
| 2010 | ISCAS | A first lab in filter design: Power line hum suppression in an ECG signal. | Hsin-I Cindy Liu, Jonathan Kotker, Babak Ayazifar |