Stephanie Dietzel und Michael - Info zur Person

(1 - 13 von 14

)

[Kieker-developers] QA: Building and using pluggable type-checkers |...

sourceforge.net

... author = {Werner Dietl and Stephanie Dietzel and Michael D. Ernst and K{\i}van{\c{c}} Mu{\c{s}}lu and Todd Schiller}, title = {Building and ...

Building and using pluggable type-checkers

homes.cs.washington.edu

“Building and using pluggable type-checkers” by Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kıvanç Muşlu, and Todd Schiller. In ICSE 2011, Proceedings ...

dblp: Michael D. Ernst

dblp.org

List of computer science publications by Michael D. Ernst

Safe Stream-Based Programming with Refinement Types ...deepai.org › publication › safe-stream-based-pro...

deepai.org

Dietl et al. (2011) Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, and Todd W. Schiller Building and Using Pluggable ...

Michael D. Ernst's PAG publications

groups.csail.mit.edu

by Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kıvanç Muşlu, and Todd Schiller. In ICSE'11, Proceedings of the 33rd International Conference on Software

Alle Infos zum Namen "Stephanie Dietzel"

Michael Ernst's students

homes.cs.washington.edu

Now at Facebook; Stephanie Dietzel M.S. thesis (2013): "Improving and Extending Verigames" Now at Tableau; Kellen Donohue M.S. thesis (2013): "Celeriac: A ...

Crowd-Sourced Program Verification

www.dtic.mil

“Verification games: Making verification fun” by Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, ...

Verification games: making verification fun. Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik and Zoran Popović. Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs (2012). [link] [pdf] ...