Sotabase
Home
Researchers
Career
·
Microsoft
Publications
(5)
GameTime: A Toolkit for Timing Analysis of Software
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2011
29
cited
Timing analysis of interrupt-driven programs under context bounds
Formal Methods in Computer-Aided Design · 2011
23
cited
A first lab in filter design: Power line hum suppression in an ECG signal
Proceedings of 2010 IEEE International Symposium on Circuits and Systems · 2010
4
cited
Biochemistry as a Programming Language ∗ Full Presentation
2013
Sotabase