Christopher Steinmuller

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Operating System

Top Venues

Publications

Zheng Lu, Christopher Steinmuller, Supratik Mukhopadhyay
Towards Formal Verification of a Commercial Wireless Router Firmware. COMPSAC (2013)
S. S. Iyengar, Supratik Mukhopadhyay, Christopher Steinmuller, Xin Li
Preventing Future Oil Spills with Software-Based Event Detection. Computer 43 (8) (2010)