Author of the publication

CalMAR - a multi-application dataflow runtime: work-in-progress.

, , , , and . EMSOFT Companion, page 7:1-7:2. 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.

 

Other publications of authors with the same name

CalMAR - a multi-application dataflow runtime: work-in-progress., , , , and . EMSOFT Companion, page 7:1-7:2. ACM, (2017)Stepwise Development of Simulink Models Using the Refinement Calculus Framework., , and . ICTAC, volume 4711 of Lecture Notes in Computer Science, page 79-93. Springer, (2007)Polyhedral Dataflow Programming: A Case Study., , and . SBAC-PAD, page 171-179. IEEE, (2018)Expressing Iterative Properties Logically in a Symbolic Setting., , and . AMAST, volume 3116 of Lecture Notes in Computer Science, page 460-474. Springer, (2004)Idols with Feet of Clay: On the Security of Bootloaders and Firmware Updaters for the IoT., and . NEWCAS, page 1-4. IEEE, (2019)A Survey on Parallelism and Determinism., , , and . ACM Comput. Surv., 55 (10): 210:1-210:28 (2023)A Survey on Parallelism and Determinism., , , and . CoRR, (2022)Code Polymorphism Meets Code Encryption: Confidentiality and Side-Channel Protection of Software Components., , and . CoRR, (2023)Executable Contracts for Incremental Prototypes of Embedded Systems., and . FESCA@ETAPS, volume 203 of Electronic Notes in Theoretical Computer Science, page 121-135. Elsevier, (2007)Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation.. EURASIP J. Embed. Syst., (2007)