Follow
Todd W. Schiller
Title
Cited by
Cited by
Year
Building and using pluggable type-checkers
W Dietl, S Dietzel, MD Ernst, K Muşlu, TW Schiller
Proceedings of the 33rd International Conference on Software Engineering†…, 2011
1282011
Verified programming in Guru
A Stump, M Deters, A Petcher, T Schiller, T Simpson
Proceedings of the 3rd workshop on Programming languages meets program†…, 2009
532009
A Practical Guide to Honeypots
E Peter, T Schiller
492009
Reducing the barriers to writing verified specifications
TW Schiller, MD Ernst
Proceedings of the ACM international conference on Object oriented†…, 2012
362012
Case studies and tools for contract specifications
TW Schiller, K Donohue, F Coward, MD Ernst
Proceedings of the 36th International Conference on Software Engineering†…, 2014
352014
Modeling radiation-induced lung injury risk with an ensemble of support vector machines
TW Schiller, Y Chen, I El Naqa, JO Deasy
Neurocomputing 73 (10), 1861-1867, 2010
172010
Playing Cupid: The IDE as a Matchmaker for Plug-Ins
TW Schiller, B Lucia
2nd Workshop on Developing Tools as Plug-ins (TOPI), 2012, 1-6, 2012
62012
Rethinking the economics of software engineering
TW Schiller, MD Ernst
Proceedings of the FSE/SDP workshop on Future of software engineering†…, 2010
62010
Reducing the Usability Barrier to Specification and Verification
TW Schiller
University of Washington, 2014
32014
Improving clinical relevance in ensemble support vector machine models of radiation pneumonitis risk
TW Schiller, Y Chen, I El Naqa, JO Deasy
2009 International Conference on Machine Learning and Applications, 498-503, 2009
22009
Eliminating Specificational Data from Untyped Areas in OPTT
T Schiller
2008
Verified Programming in Operational Type Theory
A Stump, M Deters, T Schiller, T Simpson, E Westbrook
The system can't perform the operation now. Try again later.
Articles 1–12