| 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 | 128 | 2011 |
| 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 | 53 | 2009 |
| A Practical Guide to Honeypots E Peter, T Schiller | 53 | 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 | 39 | 2014 |
| Reducing the barriers to writing verified specifications TW Schiller, MD Ernst Proceedings of the ACM international conference on Object oriented …, 2012 | 37 | 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 | 19 | 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 | | |
Kıvanç MuşluUniversity of WashingtonVerified email at cs.washington.edu
