Todd W. Schiller

Improving Clinical Relevance in Ensemble Support Vector Machine Models of Radiation Pneumonitis Risk

Yixin Chen, Joseph O. Deasy, Todd W. Schiller, 2009, 2009 International Conference on Machine Learning and Applications.

Reducing the barriers to writing verified specifications

Michael D. Ernst, Todd W. Schiller, 2012, OOPSLA '12.

Eliminating Specificational Data from Untyped Areas in OpTT

Todd W. Schiller, 2009 .

Building and using pluggable type-checkers

Michael D. Ernst, Todd W. Schiller, Werner Dietl, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

Rethinking the economics of software engineering

Michael D. Ernst, Todd W. Schiller, 2010, FoSER '10.

Modeling radiation-induced lung injury risk with an ensemble of support vector machines

Yixin Chen, Joseph O. Deasy, Todd W. Schiller, 2010, Neurocomputing.

Case studies and tools for contract specifications

Michael D. Ernst, Todd W. Schiller, Kellen Donohue, 2014, ICSE.

Reducing the Usability Barrier to Specification and Verification

Todd W. Schiller, 2014 .

Playing cupid: The IDE as a matchmaker for plug-ins

Brandon Lucia, Todd W. Schiller, 2012, 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI).

Ensemble Support Vector Machine Models of Radiation-Induced Lung Injury Risk

Todd W. Schiller, Todd Schiller, 2009 .