LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students

OUDIN Rémi

PhD student
Team : MoVe
Arrival date : 07/13/2019
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 231
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 51 28, Remi.Oudin (at) nulllip6.fr
Supervision : Fabrice KORDON
Co-supervision : SOPENA julien

Sytare, formally proving transiently powered systems

2020 Publications

  • 2020
    • G. Berthou, P.‑E. Dagand, D. Demange, R. Oudin, T. Risset : “Intermittent Computing with Peripherals, Formally Verified”, LCTES '20: 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems Proceedings, London / Virtual, United Kingdom, pp. 85-96, (ACM) (2020)
 Mentions légales
Site map |