Niusha Hakimipour RHD Student Room 321, General Purpose South Building (building 78) Division of Systems and Software Engineering School of Information Technology and Electrical Engineering The University of Queensland Queensland 4072 AUSTRALIA Phone: +61 7 3365 1204 email: niusha@itee.uq.edu.au Research Interest Software engineering: specification, verification, and testing Real-time systems

Current Research Project

Evaluation of tools and techniques for model-checking real-time Java code 

Supervisor:	Professor Paul Strooper
Advisor:	Associated professor Roger Duke

Gear Controller Example

Publications

Niusha Hakimipour,  Paul Strooper,   Roger Duke "Exploring Model-Based Development for the Verification of Real-Time Java Code", 4th International Joint Conference on Automated Reasoning(IJCAR08-VERIFY08) [PDF]

N. Hakimipour,  N. Razavi,   M. Sirjani "Modeling and Formal Verification of Hardware Designs", 5th IEEE East-West Design & Test Symposium(EWDTS'07) [PDF]

Resume