Todd W. Schiller

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Delay Insensitive

Formal Specification

Top Venues

Publications

Todd W. Schiller, Kellen Donohue, Forrest Coward, Michael D. Ernst
Case studies and tools for contract specifications. ICSE (2014)
Todd W. Schiller, Brandon Lucia
Playing cupid: the IDE as a matchmaker for plug-ins. TOPI@ICSE (2012)
Todd W. Schiller, Michael D. Ernst
Reducing the barriers to writing verified specifications. OOPSLA (2012)
Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller
Building and using pluggable type-checkers. ICSE (2011)
Todd W. Schiller, Michael D. Ernst
Rethinking the economics of software engineering. FoSER (2010)
Todd W. Schiller, Yixin Chen, Issam El-Naqa, Joseph O. Deasy
Modeling radiation-induced lung injury risk with an ensemble of support vector machines. Neurocomputing 73 (10-12) (2010)
Todd W. Schiller, Yixin Chen, Issam El-Naqa, Joseph O. Deasy
Improving Clinical Relevance in Ensemble Support Vector Machine Models of Radiation Pneumonitis Risk. ICMLA (2009)