Niusha Hakimipour

Ph.D. 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

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]

Materials

Gear Controller Example (old)

Examples (the XML model and RTSJ code for the Gear controler and Audio/Video protocol)

TART TOOL Demonstration

Resume