BEST: a Binary Executable Slicing Tool. - Armel Mangean; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou (WCET, 2016)

WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction. - Armel Mangean; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou (VECoS, 2017)