( en | de | ru )

 

Disambiguation of "Pouzet, Marc"

Author of the publication

copydeleteadd this publication to your clipboard
A conservative extension of synchronous data-flow with state machines.

, , and . EMSOFT, page 173-182. ACM, (2005)

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)

Hans-Peter Marchal

Erna Marcus

Friedrich Marcus

Paul March

 

Other publications of authors with the same name

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