Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware

Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat. Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. TACO, 16(3), 2019. [doi]

Authors

Keryan Didier

This author has not been identified. Look up 'Keryan Didier' in Google

Dumitru Potop-Butucaru

This author has not been identified. Look up 'Dumitru Potop-Butucaru' in Google

Guillaume Iooss

This author has not been identified. Look up 'Guillaume Iooss' in Google

Albert Cohen

This author has not been identified. It may be one of the following persons: Look up 'Albert Cohen' in Google

Jean Souyris

This author has not been identified. Look up 'Jean Souyris' in Google

Philippe Baufreton

This author has not been identified. Look up 'Philippe Baufreton' in Google

Amaury Graillat

This author has not been identified. Look up 'Amaury Graillat' in Google