Stephanie Dietzel

Publication Activity (10 Years)

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

Top Topics

Asynchronous Circuits

Signature Verification

Top Venues

Publications

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic
Verification games: making verification fun. FTfJP@ECOOP (2012)
Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller
Building and using pluggable type-checkers. ICSE (2011)