Rémy Boutonnet

I am a computer science Ph.D student in the PACSS group at Verimag, under the supervision of Nicolas Halbwachs. I am interested in modular program analysis by abstract interpretation.

Publications

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
Rémy Boutonnet, Nicolas Halbwachs.
Formal Methods in System Design (FMSD), 2017.

The WCET analysis using counters - a preliminary assessment
Rémy Boutonnet, Mihail Asavoae.
8th Junior Researcher Workshop on Real-Time Computing (JRWRTC), 2014.

Contact

    /* email: remy (dot) boutonnet (at) univ-grenoble-alpes.fr */

Verimag
Bâtiment IMAG
700, avenue centrale
38401 Saint Martin d'Hères
FRANCE