In one example, a method for generating air traffic alerts includes determining a predicted trajectory for a target air-craft, based at least in part on a comparison of information received on a recent trajectory of the target aircraft with a set of procedural trajectory information. The method further includes determining whether a violation of protected airspace is predicted between the target aircraft and an ownship, based at least in part on the predicted trajectory for the target aircraft and a predicted trajectory for the ownship. The method further includes generating an alert output in response to determining that the violation of protected airspace is predicted.