Lelio Brun's homepage
Lelio Brun's homepage
About
Publications
Talks
Projects
Experience
Teaching
Academic service
Contact
CV
Light
Dark
Automatic
Stream Languages
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation
Model-based design tools like SCADE Suite and Simulink are often used to design safety-critical embedded software. Consequently, …
Lelio Brun
,
Christophe Garion
,
Pierre-Loïc Garoche
,
Xavier Thirioux
PDF
Cite
Project
Slides
DOI
Faites-vous confiance à votre thermostat ?
Certains systèmes logiciels qui interagissent avec le monde réel ne doivent échouer sous aucun prétexte, au risque de provoquer des …
Lelio Brun
Cite
Project
Source Document
Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset
Specifications based on block diagrams and state machines are used to design control software, especially in the certified development …
Timothy Bourke
,
Lelio Brun
,
Marc Pouzet
PDF
Cite
Project
Slides
Video
DOI
Cite
×