Forming rocky exoplanets around K-dwarf stars