Armel Mangean

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Dynamic Analysis

Temporal Properties

Top Venues

Publications

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