Exploring Model-Based Development for the Verification of Real-Time Java Code. - Niusha Hakimipour; Paul A. Strooper; Roger Duke (VERIFY, 2008)

TART: Timed-Automata to Real-Time Java Tool. - Niusha Hakimipour; Paul A. Strooper; Andy J. Wellings (SEFM, 2010)

A model-based development approach for the verification of real-time Java code. - Niusha Hakimipour; Paul A. Strooper; Andy J. Wellings (Concurr. Comput. Pract. Exp., 2011)

Exploring an Approach to Model-Based Testing from Behavior Trees. - Niusha Hakimipour; Paul A. Strooper (APSEC Workshops, 2012)