The Laser Interferometer Space Antenna (LISA) is a European Space Agency mission that aims to measure gravitational waves in the millihertz range. Laser frequency noise enters the interferometric measurements and dominates the expected gravitational signals by many orders of magnitude. Time-delay interferometry (TDI) is a technique that reduces this laser noise by synthesizing virtual equal-arm interferometric measurements. Laboratory experiments and numerical simulations have confirmed that this reduction is sufficient to meet the scientific goals of the mission in proof-of-concept setups. In this paper, we show that the on-board antialiasing filters play an important role in TDIs performance when the flexing of the constellation is accounted for. This coupling was neglected in previous studies. To reach an optimal reduction level, filters with vanishing group delays must be used on board or synthesized off-line. We propose a theoretical model of the residual laser noise including this flexing-filtering coupling. We also use two independent simulators to produce realistic measurement signals and compute the corresponding TDI Michelson variables. We show that our theoretical model agrees with the simulated data with exquisite precision. Using these two complementary approaches, we confirm TDIs ability to reduce laser frequency noise in a more realistic mission setup. The theoretical model provides insight on filter design and implementation.