Formal Semantics for SA Style Data Flow Diagram Specification Languages. - Gary T. Leavens; Tim Wahls; Albert L. Baker (SAC, 1999)

Executing Formal Specifications with Concurrent Constraint Programming. - Tim Wahls; Gary T. Leavens; Albert L. Baker (Autom. Softw. Eng., 2000)

A graphical user interface for executing formal specifications. - Xiaowen Chen; Tim Wahls (SAC, 2001)

Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs. - Tim Wahls; Gary T. Leavens (SAC, 2001)

A graphical user interface for editing formal specification objects. - Duanqing Wu; Yiching Cheng; Tim Wahls (J. Comput. Sci. Coll., 2002)

A Methodology to Provide and Use Interchangeable Services. - Brian Fenicle; Tim Wahls (SAC, 2003)

Compiling Formal Specifications to Oz Programs. - Tim Wahls (MOZ, 2004)

A secure methodology for interchangeable services. - Brian Fenicle; Tim Wahls (Inf. Softw. Technol., 2004)

The course scheduling problem as a source of student projects. - William Combs; Robert K. Hawkins; Thomas Pore; Arik Schechet; Tim Wahls; Louis Ziantz (SIGCSE, 2005)

jmle: A Tool for Executing JML Specifications Via Constraint Programming. - Ben Krause; Tim Wahls (FMICS/PDMC, 2006)

The effects of pair-programming on individual programming skill. - Grant Braught; L. Martin Eby; Tim Wahls (SIGCSE, 2008)

Teaching objects in context. - Grant Braught; Tim Wahls (J. Comput. Sci. Coll., 2008)

Executing JML specifications of Java card applications: a case study. - Néstor Cataño; Tim Wahls (SAC, 2009)

The benefits of pairing by ability. - Grant Braught; John MacCormick; Tim Wahls (SIGCSE, 2010)

The Case for Pair Programming in the Computer Science Classroom. - Grant Braught; Tim Wahls; L. Martin Eby (ACM Trans. Comput. Educ., 2011)

Translating B machines to JML specifications. - Néstor Cataño; Tim Wahls; Camilo Rueda; Víctor Rivera; Danni Yu (SAC, 2012)

A Machine-Checked Proof for a Translation of Event-B Machines to JML. - Néstor Cataño; Camilo Rueda; Tim Wahls (CoRR, 2013)

Translating Event-B Machines to Database Applications. - Qi Wang; Tim Wahls (SEFM, 2014)

A Case Study on Code Generation of an ERP System from Event-B. - Néstor Cataño; Tim Wahls (QRS, 2015)

MedicationChecker: Development of a Formally Verified Android Application with EventB2SQL. - Tim Wahls (QRS, 2016)

Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements. - Tim Wahls (CoRR, 2016)

Code generation for Event-B. - Victor Rivera; Néstor Cataño; Tim Wahls; Camilo Rueda (Int. J. Softw. Tools Technol. Transf., 2017)