| The case for pair programming in the computer science classroom G Braught, T Wahls, LM Eby ACM Transactions on Computing Education (TOCE) 11 (1), 1-21, 2011 | 170 | 2011 |
| The effects of pair-programming on individual programming skill G Braught, LM Eby, T Wahls Proceedings of the 39th SIGCSE technical symposium on Computer science …, 2008 | 109 | 2008 |
| The benefits of pairing by ability G Braught, J MacCormick, T Wahls Proceedings of the 41st ACM technical symposium on Computer science …, 2010 | 77 | 2010 |
| Code generation for Event-B V Rivera, N Catano, T Wahls, C Rueda International Journal on Software Tools for Technology Transfer 19, 31-52, 2017 | 63 | 2017 |
| jmle: A tool for executing JML specifications via constraint programming B Krause, T Wahls International Workshop on Parallel and Distributed Methods in Verification …, 2006 | 37 | 2006 |
| Translating B machines to JML specifications N Cataņo, T Wahls, C Rueda, V Rivera, D Yu Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1271-1277, 2012 | 28 | 2012 |
| Executing formal specifications with concurrent constraint programming T Wahls, GT Leavens, AL Baker Automated Software Engineering 7, 315-343, 2000 | 24 | 2000 |
| Executing JML specifications of Java card applications: a case study N Catano, T Wahls Proceedings of the 2009 ACM symposium on Applied Computing, 404-408, 2009 | 23 | 2009 |
| The course scheduling problem as a source of student projects W Combs, R Hawkins, T Pore, A Schechet, T Wahls, L Ziantz Proceedings of the 36th SIGCSE technical symposium on Computer science …, 2005 | 16 | 2005 |
| Formal semantics for SA style data flow diagram specification languages GT Leavens, T Wahls, AL Baker Proceedings of the 1999 ACM symposium on Applied computing, 526-532, 1999 | 15 | 1999 |
| An Executable Semantics for a Formalized Data Flow Diagram Specification Language T Wahls, A Baker, G Leavens | 15 | 1993 |
| An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams G Leavens, T Wahls, A Baker, K Lyle | 14 | 1996 |
| The direct execution of SPECS-C++: A model-based specification language for C++ classes T Wahls, A Baker, G Leavens | 14 | 1994 |
| Translating Event-B machines to database applications Q Wang, T Wahls Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014 | 12 | 2014 |
| A case study on code generation of an ERP system from Event-B N Catano, T Wahls 2015 IEEE International Conference on Software Quality, Reliability and …, 2015 | 10 | 2015 |
| Executing formal specifications with constraint programming T Wahls, G Leavens, A Baker | 10 | 2000 |
| A machine-checked proof for a translation of Event-B machines to JML N Catano, C Rueda, T Wahls arXiv preprint arXiv:1309.2339, 2013 | 8 | 2013 |
| Executing formal specifications with constraint satisfaction T Wahls, GT Leavens, AL Baker Technical Report TR97-12, Department of Computer Science, Iowa State …, 1997 | 5 | 1997 |
| Formal semantics and soundness of a translation from Event-B actions to SQL statements T Wahls arXiv preprint arXiv:1606.02669, 2016 | 3 | 2016 |
| Code generation for Event-B N Cataņo, V Rivera, T Wahls, C Rueda International Journal on Software Tools for Technology Transfer 1, 2015, 2015 | 3 | 2015 |
