Jonathan Kotker

According to our database, Jonathan Kotker authored at least 3 papers between 2010 and 2011.

Collaborative distances:

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

2011

GameTime: A Toolkit for Timing Analysis of Software.

Sanjit A. Seshia, Jonathan Kotker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Timing analysis of interrupt-driven programs under context bounds.

Jonathan Kotker, Dorsa Sadigh, Sanjit A. Seshia

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

A first lab in filter design: Power line hum suppression in an ECG signal.

Hsin-I Cindy Liu, Jonathan Kotker, Babak Ayazifar

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010