Right so before anyone says "it was just a bird" - I've heard birds on roofs, this doesn't sound like that does it. The dog behaviour is the bit that gets me. Animals pick up on frequencies we can't, and a dog that won't stop staring at a fixed point on the ceiling isn't reacting to a pigeon.
Few questions worth thinking about. Was the movement in a pattern, like rhythmic footsteps, or more random? Did it move from one side of the roof to the other? And how big did it sound, like could you estimate weight from the sound?
Also what time was this? There's a weird cluster of reports around 2-4am specifically that I've been tracking for a while now, loads of them involve animals acting strange at the same time. Would be useful to know if yours fits that window.