Lélio Brun
Postdoctoral research scientist in Computer Science
My research interests include synchronous languages, functional programming and verified compilation.
Publications
Events
Specifications based on block diagrams and state machines are used to design control software, especially in the certified development …
Oct 14, 2021 3:30 PM
ENAC
Les spécifications basées sur les schémas-blocs et machines à états sont utilisées pour la conception de systèmes de contrôle-commande, …
May 20, 2021 9:30 AM
ISAE-SUPAERO
Les spécifications basées sur les schémas-blocs et machines à états sont utilisées pour la conception de systèmes de contrôle-commande, …
Dec 17, 2020 11:00 AM
IRISA - Inria Rennes
Specifications based on block diagrams and state machines are used to design control software, especially in the certified development …
Jan 24, 2020 4:18 PM
JW Marriott New Orleans
We present the formalization of the semantics of the modular reset construct of Lustre, and show how to integrate it into Vélus, a …
Nov 28, 2019 9:45 AM
CAES CNRS - Centre Paul-Langevin
We present ongoing work on the compilation of the modular reset and its proof of correctness.
Nov 29, 2018 9:00 AM
CAES CNRS - Villa Clythia
We present a formalization of the semantics of the modular reset and discuss its compilation.
May 30, 2018 11:30 AM
Schloss Rheinfels Hotel
We present two ideas in this talk:
- A co-inductive based semantics formalization for normalized Lustre
- A formalization of the semantics …
Nov 29, 2017 2:45 PM
Centre Inria Rennes - Bretagne Atlantique
The compilation of block diagram languages like Lustre or Scade often use an intermediary language between the source data-flow code …
Dec 7, 2016 5:30 PM
Dominikanerkloster Bamberg
Les compilateurs de langages schémas-blocs, comme Lustre ou Scade, utilisent souvent un langage intermédiaire entre le code flot de …
Nov 28, 2016 4:25 PM
Laboratoire de Recherche en Informatique