http://putmanfamily.org/Family/The%20De%20Vos%20Family.pdf gives her name as "Aertje Kirkse (Coeymans) Bastions", currently Geni shows her father as Bastiaen Coeyman Bastiaens but this name does not make sense, recently a conflict has been introduced by Wilhelmina Giltjes which suggests Aertje's father is Pieter Coeyman but gives no sources or evidence.
The second name of this new father, "Coeyman", could fit with the "(Coeymans)" in Aertje's name but i would actually have expected if this really is her father that her name would have been Aertje Pieterse.