Timothy Bourke

Ph. D. Student / Research Engineer
School of Computer Science & Engineering
The University of New South Wales
Sydney, Australia
tel: +61 2 9385 6913
fax: +61 2 9385 4936
email: tbourke@cse.unsw.edu.au
mail: PO Box...

Details

Photo of Tim.
  • Publications
  • Public Key (I sign all email)
  • NICTA Managing Complexity / L4.verified
  • Prof. A. Sowmya, Prof. R.J. van Glabbeek
  • Other

Esterel

  • backhoe loader simulator
  • v5_92 with Win32, and __ctype_b
  • a2ps stylesheet
  • SML/NJ Reactive library

Uppaal

  • Urpal (timed trace inclusion testing)
  • Change system declarations

Software

  • FreeBSD
  • Standard ML
  • Miscellany
  • snespp
  • otl2draft
  • svgtoquiz
  • treeplate
  • mnemogogo

Site menu

  • Home
    • Papers
    • Address
    • Other
  • Software
  • Esterel