Tim Wahls

According to our database, Tim Wahls authored at least 20 papers between 1999 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Code generation for Event-B.

Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda

Int. J. Softw. Tools Technol. Transf., 2017

2016

Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements.

Tim Wahls

CoRR, 2016

MedicationChecker: Development of a Formally Verified Android Application with EventB2SQL.

Tim Wahls

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

2015

A Case Study on Code Generation of an ERP System from Event-B.

Néstor Cataño, Tim Wahls

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

2014

Translating Event-B Machines to Database Applications.

Qi Wang, Tim Wahls

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2013

A Machine-Checked Proof for a Translation of Event-B Machines to JML.

Néstor Cataño, Camilo Rueda, Tim Wahls

CoRR, 2013

2012

Translating B machines to JML specifications.

Néstor Cataño, Tim Wahls, Camilo Rueda, Víctor Rivera, Danni Yu

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

The Case for Pair Programming in the Computer Science Classroom.

Grant Braught, Tim Wahls, L. Martin Eby

ACM Trans. Comput. Educ., 2011

2010

The benefits of pairing by ability.

Grant Braught, John MacCormick, Tim Wahls

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

2009

Executing JML specifications of Java card applications: a case study.

Néstor Cataño, Tim Wahls

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008

The effects of pair-programming on individual programming skill.

Grant Braught, L. Martin Eby, Tim Wahls

Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

2006

jmle: A Tool for Executing JML Specifications Via Constraint Programming.

Ben Krause, Tim Wahls

Proceedings of the Formal Methods: Applications and Technology, 2006

2005

The course scheduling problem as a source of student projects.

William Combs, Robert K. Hawkins, Thomas Pore, Arik Schechet, Tim Wahls, Louis Ziantz

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2004

A secure methodology for interchangeable services.

Brian Fenicle, Tim Wahls

Inf. Softw. Technol., 2004

Compiling Formal Specifications to Oz Programs.

Tim Wahls

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

2003

A Methodology to Provide and Use Interchangeable Services.

Brian Fenicle, Tim Wahls

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

2001

Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs.

Tim Wahls, Gary T. Leavens

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

A graphical user interface for executing formal specifications.

Xiaowen Chen, Tim Wahls

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

2000

Executing Formal Specifications with Concurrent Constraint Programming.

Tim Wahls, Gary T. Leavens, Albert L. Baker

Autom. Softw. Eng., 2000

1999

Formal Semantics for SA Style Data Flow Diagram Specification Languages.

Gary T. Leavens, Tim Wahls, Albert L. Baker

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999