Dont know about the belediye bus, but the Havaş runs through the winter - basically it meets all inbound flights to the domestic terminal, so the service will be reduced due to less flights. It start from domestic and usually goes round to the international terminal before leaving the airport.
JF