Armel Mangean

According to our database, Armel Mangean authored at least 2 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction.

Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

2016

BEST: a Binary Executable Slicing Tool.

Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou

Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016