| 2009 |
|---|
| 11 | EE | Néstor Cataño,
Tim Wahls:
Executing JML specifications of Java card applications: a case study.
SAC 2009: 404-408 |
| 2008 |
|---|
| 10 | EE | Grant Braught,
L. Martin Eby,
Tim Wahls:
The effects of pair-programming on individual programming skill.
SIGCSE 2008: 200-204 |
| 2006 |
|---|
| 9 | EE | Ben Krause,
Tim Wahls:
jmle: A Tool for Executing JML Specifications Via Constraint Programming.
FMICS/PDMC 2006: 293-296 |
| 2005 |
|---|
| 8 | EE | William Combs,
Robert Hawkins,
Thomas Pore,
Arik Schechet,
Tim Wahls,
Louis Ziantz:
The course scheduling problem as a source of student projects.
SIGCSE 2005: 81-85 |
| 2004 |
|---|
| 7 | EE | Tim Wahls:
Compiling Formal Specifications to Oz Programs.
MOZ 2004: 66-77 |
| 6 | EE | Brian Fenicle,
Tim Wahls:
A secure methodology for interchangeable services.
Information & Software Technology 46(5): 343-349 (2004) |
| 2003 |
|---|
| 5 | | Brian Fenicle,
Tim Wahls:
A Methodology to Provide and Use Interchangeable Services.
SAC 2003: 1140-1146 |
| 2001 |
|---|
| 4 | EE | Tim Wahls,
Gary T. Leavens:
Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs.
SAC 2001: 567-575 |
| 3 | EE | Xiaowen Chen,
Tim Wahls:
A graphical user interface for executing formal specifications.
SAC 2001: 648-652 |
| 2000 |
|---|
| 2 | | Tim Wahls,
Gary T. Leavens,
Albert L. Baker:
Executing Formal Specifications with Concurrent Constraint Programming.
Autom. Softw. Eng. 7(4): 315-343 (2000) |
| 1999 |
|---|
| 1 | EE | Gary T. Leavens,
Tim Wahls,
Albert L. Baker:
Formal Semantics for SA Style Data Flow Diagram Specification Languages.
SAC 1999: 526-532 |
