We stand with Ukraine  

Heila van der Merwe

Affiliations:
  • University of Stellenbosch


According to our database1, Heila van der Merwe authored at least 6 papers between 2006 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Generation of Library Models for Verification of Android Applications.
[BibTeX]
[DOI]
Heila van der Merwe
,
Oksana Tkachuk
,
Brink van der Merwe
,
Willem Visser
ACM SIGSOFT Softw. Eng. Notes, 2015

Verification of Android Applications.
[BibTeX]
[DOI]
Heila van der Merwe
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Execution and property specifications for JPF-android.
[BibTeX]
[DOI]
Heila van der Merwe
,
Brink van der Merwe
,
Willem Visser
ACM SIGSOFT Softw. Eng. Notes, 2014

2012
Verifying android applications using Java PathFinder.
[BibTeX]
[DOI]
Heila van der Merwe
,
Brink van der Merwe
,
Willem Visser
ACM SIGSOFT Softw. Eng. Notes, 2012

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


  Loading...