( en | de | ru )

 

Disambiguation of "Pouzet, Marc"

Author of the publication

copydeleteadd this publication to your clipboard
A formally verified compiler for Lustre.

, , , , , and . PLDI, page 586-601. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefanie Marczoch

Langzeitverlauf von 200 Patienten mit kraniofazialen und zervikalen Dystonien bis zu 12 Jahre nach der ersten Botulinumtoxin-Behandlung. TU München, (2009)

Ivan Marchesini

André Marchand

Britta Marcinek

Jacob Rader Marcus

 

Other publications of authors with the same name

Modular Causality in a Synchronous Stream Language., and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 237-251. Springer, (2001)From Lustre to Graphical Models and SCCharts., , , , and . FDL, page 1-8. IEEE, (2020)Multi-Mode DAE Models - Challenges, Theory and Implementation., , , , , and . Computing and Software Science, volume 10000 of Lecture Notes in Computer Science, Springer, (2019)Clocks as First Class Abstract Types., and . EMSOFT, volume 2855 of Lecture Notes in Computer Science, page 134-155. Springer, (2003)SCADE 6: A formal language for embedded critical software development (invited paper)., , and . TASE, page 1-11. IEEE Computer Society, (2017)A conservative extension of synchronous data-flow with state machines., , and . EMSOFT, page 173-182. ACM, (2005)Reactive Probabilistic Programming, , , , , and . (2019)cite arxiv:1908.07563Comment: Version with appendices of the PLDI 2020 paper "Reactive Probabilistic Programming".Type-based initialization analysis of a synchronous dataflow language., and . Int. J. Softw. Tools Technol. Transf., 6 (3): 245-255 (2004)Programming parallelism with futures in lustre, , and . Proceedings of the tenth ACM international conference on Embedded software, ACM, (October 2012)Clock-directed modular code generation for synchronous data-flow languages., , , and . LCTES, page 121-130. ACM, (2008)