Tim Wahls

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