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]
@article{DidierPICSBG19,
title = {Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware},
author = {Keryan Didier and Dumitru Potop-Butucaru and Guillaume Iooss and Albert Cohen and Jean Souyris and Philippe Baufreton and Amaury Graillat},
year = {2019},
doi = {10.1145/3328799},
url = {https://doi.org/10.1145/3328799},
researchr = {https://researchr.org/publication/DidierPICSBG19},
cites = {0},
citedby = {0},
journal = {TACO},
volume = {16},
number = {3},
}