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 | 152 | 2011 |
A Practical Guide to Honeypots E Peter, T Schiller | 57 | 2009 |
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 | 55 | 2009 |
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 | 45 | 2014 |
Reducing the barriers to writing verified specifications TW Schiller, MD Ernst Proceedings of the ACM international conference on Object oriented …, 2012 | 45 | 2012 |
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 | 20 | 2010 |
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 | 6 | 2012 |
Rethinking the economics of software engineering TW Schiller, MD Ernst Proceedings of the FSE/SDP workshop on Future of software engineering …, 2010 | 6 | 2010 |
Reducing the Usability Barrier to Specification and Verification TW Schiller University of Washington, 2014 | 3 | 2014 |
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 | 2 | 2009 |
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 | | |