Niusha Hakimipour Postdoctoral Research Officer    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 email: niusha@itee.uq.edu.au Research Interest Software engineering: specification, verification, and testing Real-time systems

Current Research Project

 

 Model-based testing using behaviour trees

Supervisor:

Professor Paul Strooper

Recent Research Project

 

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

Supervisor:	Professor Paul Strooper
Advisor:	Associated professor Roger Duke

Journals

 

Niusha Hakimipour, Paul Strooper,   Andy Wellings  “A Model-Based Development Approach for the Verification of Real-Time Java Code” Journal of Concurrency and Computation: Practice and Experience

 

Publications

           

           Niusha Hakimipour, Paul Strooper,   Andy Wellings  “TART: Timed-Automata to Real-Time Java Tool”  8th International Conference on Software Engineering and

              Formal Methods (SEFM)

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