Tim Wahls

Publication Activity (10 Years)

Years Active: 1999-2017
Publications (10 Years): 3

Top Topics

Code Generation

Database Applications

Modelling Language

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda
Code generation for Event-B. Int. J. Softw. Tools Technol. Transf. 19 (1) (2017)
Tim Wahls
MedicationChecker: Development of a Formally Verified Android Application with EventB2SQL. QRS (2016)
Tim Wahls
Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements. CoRR (2016)
Néstor Cataño, Tim Wahls
A Case Study on Code Generation of an ERP System from Event-B. QRS (2015)
Qi Wang, Tim Wahls
Translating Event-B Machines to Database Applications. SEFM (2014)
Néstor Cataño, Camilo Rueda, Tim Wahls
A Machine-Checked Proof for a Translation of Event-B Machines to JML. CoRR (2013)
Néstor Cataño, Tim Wahls, Camilo Rueda, Víctor Rivera, Danni Yu
Translating B machines to JML specifications. SAC (2012)
Grant Braught, Tim Wahls, L. Martin Eby
The Case for Pair Programming in the Computer Science Classroom. ACM Trans. Comput. Educ. 11 (1) (2011)
Grant Braught, John MacCormick, Tim Wahls
The benefits of pairing by ability. SIGCSE (2010)
Néstor Cataño, Tim Wahls
Executing JML specifications of Java card applications: a case study. SAC (2009)
Grant Braught, L. Martin Eby, Tim Wahls
The effects of pair-programming on individual programming skill. SIGCSE (2008)
Ben Krause, Tim Wahls
jmle: A Tool for Executing JML Specifications Via Constraint Programming. FMICS/PDMC (2006)
William Combs, Robert K. Hawkins, Thomas Pore, Arik Schechet, Tim Wahls, Louis Ziantz
The course scheduling problem as a source of student projects. SIGCSE (2005)
Brian Fenicle, Tim Wahls
A secure methodology for interchangeable services. Inf. Softw. Technol. 46 (5) (2004)
Tim Wahls
Compiling Formal Specifications to Oz Programs. MOZ (2004)
Brian Fenicle, Tim Wahls
A Methodology to Provide and Use Interchangeable Services. SAC (2003)
Xiaowen Chen, Tim Wahls
A graphical user interface for executing formal specifications. SAC (2001)
Tim Wahls, Gary T. Leavens
Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs. SAC (2001)
Tim Wahls, Gary T. Leavens, Albert L. Baker
Executing Formal Specifications with Concurrent Constraint Programming. Autom. Softw. Eng. 7 (4) (2000)
Gary T. Leavens, Tim Wahls, Albert L. Baker
Formal Semantics for SA Style Data Flow Diagram Specification Languages. SAC (1999)