Jonathan Kotker

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Jonathan Kotker, Dorsa Sadigh, Sanjit A. Seshia
Timing analysis of interrupt-driven programs under context bounds. FMCAD (2011)
Sanjit A. Seshia, Jonathan Kotker
GameTime: A Toolkit for Timing Analysis of Software. TACAS (2011)
Hsin-I Liu, Jonathan Kotker, Babak Ayazifar
A first lab in filter design: Power line hum suppression in an ECG signal. ISCAS (2010)