COMP 393: Constraint Programming
B.S. 1990, Computer Science, Iowa State University
M.S. 1992, Computer Science, Iowa State University
Ph.D. 1995, Computer Science, Iowa State University
Research and Teaching Interests
My main research interests
are in specification language design and semantics (especially for
object-oriented specification languages), and in the execution of formal
the applications of constraint logic programming techniques in executing
formal specifications). I have also done some work in linguistic content
analysis and computer science education.
My teaching specializations are in software engineering and programming
languages. I have also taught courses in database, compilers, constraint
programming, networking, Java, Visual Basic, C and UNIX,
algorithms and simulation.
(717) 245 - 1743
T 10:30 a.m. - 12:00 p.m., F 2:45 - 4:00 p.m.
also by appointment and whenever my office door is open
- Tim Wahls. MedicationChecker: Development of a Formally Verified Android
Application with EventB2SQL. Proceedings of the 2016 IEEE International
Conference on Software Quality, Reliability and Security (QRS 2016).
Vienna, Austria. August 1 - 3, 2016. 307 - 314.
- Nestor Catano and Tim Wahls. A Case Study on Code Generation of an
ERP System from Event-B. Proceedings of the 2015 IEEE International
Conference on Software Quality, Reliability and Security (QRS 2015).
Vancouver, British Columbia. August 3 - 5, 2015. 183 - 188.
- Victor Rivera, Nestor Catano, Tim Wahls and Camilo Rueda.
Code Generation for Event-B. The International Journal on Software
Tools for Technology Transfer. May 2015. 1 - 22.
- Qi Wang and Tim Wahls. Translating Event-B Machines to Database Applications.
Software Engineering and Formal Methods (SEFM 2014).
Grenoble, France. September 1 - 5, 2014. 265 - 270.
- Nestor Catano, Victor Rivera, Camilo Rueda and Tim Wahls.
Translating B and Event-B Machines to Java and JML.
In: Formal Methods Applied to Industrial Complex
Systems: Implementation of the B Method,
edited by: Jean-Louis Boulanger.
Wiley Computer Engineering Series, July 2104.
- Michael Keating, Adrian Kostrubiak and Tim Wahls.
Enhancing the jmle Tool.
Proceedings of the 26th Annual Conference of The Pennsylvania Association of
Computer and Information Science Educators (PACISE). 15 - 21.
April 8 - 9, 2011. Shippensburg University, Shippensburg, PA.
- Grant Braught and Tim Wahls.
Teaching Objects in Context.
The Journal of Computing Sciences in Colleges.
Volume 23, Number 5, May 2008. 101 - 109.
- Ben Krause and Tim Wahls.
jmle: A Tool for Executing JML Specifications via Constraint Programming.
in L. Brim, editor, Formal Methods for Industrial Critical Systems
Bonn, Germany. August 26 - 27, 2006.
Volume 4346 of Lecture Notes in Computer Science. 293 - 296.
- Tim Wahls. Compiling Formal Specifications to Oz Programs.
MOZ 2004, The Second International Mozart/Oz Conference,
Charleroi, Belgium. October 7 - 8, 2004.
Lecture Notes in Computer Science, Volume 3389. 66 - 77. 2005.
- Brian Fenicle and Tim Wahls.
A Secure Methodology for Interchangeable Services.
The Journal of Information and Software Technology.
Volume 46, Number 5. 343 - 349. 2004.
- Ping Wang, Qingru Zhang and Tim Wahls.
WebQuery: A Simple Web-Enabled System
for Database Management. The Journal of Computing in Small Conferences,
Volume 17, Number 4, March 2002. 7 - 15. Also presented at the the Consortium
for Computing in Small Colleges Central Plains Regional Conference. Kansas
City, Kansas. April 5 - 6, 2002.
- Danqing Wu, Yiching Cheng and Tim Wahls.
A Graphical User Interface for Editing Formal Specification Objects. The
Journal of Computing in Small Conferences, Volume 17, Number 4, March 2002.
79 - 86. Also presented at the Consortium for Computing in Small Colleges
Central Plains Regional Conference. Kansas City, Kansas. April 5 - 6, 2002.
- Tim Wahls, Gary T. Leavens and Albert L. Baker.
Executing Formal Specifications with Concurrent Constraint Programming.
The Automated Software Engineering Journal, Volume 7, Number 4, December
- Tim Wahls. Teaching Software Engineering
with TCL/Tk. The Journal of Computing in Small Colleges, Volume 14, Number
3, March 1999. 278 - 287.
- Tim Wahls and Linda Null. Developing
Web-based Course Materials - How to Start and Why. The Journal of Computing
in Small Colleges, Volume 12, Number 4, March 1997. 366 - 373.
- Tim Wahls and Linda Null. The Information Turnpike? Proceedings
of The Thirteenth International Conference on Technology and Education (ICTE96).
Volume II, 1996. 437 - 439.