Author of the publication

A method for describing the syntax and semantics of UML statecharts.

, , and . Softw. Syst. Model., 3 (2): 150-163 (2004)

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

Reconfigurable Media Coding: A New Specification Model for Multimedia Coders., , , and . SiPS, page 481-486. IEEE, (2007)Clock-Gating of Streaming Applications for Energy Efficient Implementations on FPGAs., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 36 (4): 699-703 (2017)Dataflow programs analysis and optimization using model predictive control techniques: An example of bounded buffer scheduling., , , , and . SiPS, page 7-12. IEEE, (2014)Trace-based manycore partitioning of stream-processing applications., , , , and . ACSSC, page 422-426. IEEE, (2016)Analysing Dataflow Programs with Causation Traces., , , and . PACT, page 534-535. ACM, (2022)Triggered Scheduling: Efficient Detection of Dataflow Network Idleness on Heterogeneous Systems., , , and . FPGA, page 226-227. ACM, (2021)MPEG Reconfigurable Video Coding., , and . Handbook of Signal Processing Systems, Springer, (2010)Execution trace graph analysis of dataflow programs: Bounded buffer scheduling and deadlock recovery using model predictive control., , , , and . DASIP, page 1-6. IEEE, (2014)TURNUS: An open-source design space exploration framework for dynamic stream programs., , , , , and . DASIP, page 1-2. IEEE, (2014)Dataflow Programs Analysis and Optimization Using Model Predictive Control Techniques - Two Examples of Bounded Buffer Scheduling: Deadlock Avoidance and Deadlock Recovery Strategies., , , , and . J. Signal Process. Syst., 84 (3): 371-381 (2016)