Yes, all are correct., there are some subtle differences though. The first is a genuine question where you do not know the answer to. The seconds and third show surprise, you *expected* him to be 'up' (out of bed) or 'awake' (not asleep) and are surprised he is not.