BOLD responses to stimuli: Dependence on frequency, stimulus form, amplitude, and repetition rate. - Peter A. Robinson; Peter M. Drysdale; Heila van der Merwe; E. Kyriakou; M. K. Rigozzi; B. Germanoska; Christopher J. Rennie (NeuroImage, 2006)

Verifying android applications using Java PathFinder. - Heila van der Merwe; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2012)

Execution and property specifications for JPF-android. - Heila van der Merwe; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2014)

Verification of Android Applications. - Heila van der Merwe (ICSE (2), 2015)

Generation of Library Models for Verification of Android Applications. - Heila van der Merwe; Oksana Tkachuk; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2015)

Environment Modeling Using Runtime Values for JPF-Android. - Heila van der Merwe; Oksana Tkachuk; Sean Nel; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2015)