Yes, they all do have different names in English apart from Asterix and Obelix. Dogmatix is a good pun, just like the original Idefix. Same goes for Getafix (Panoramix).
If they’re gonna do Asterix Roman soldiers however, I hope they make some of them using the fat bodies - that would be SO Asterix.