Author of the publication

Semi-formal refinement of heterogeneous embedded systems by foreign model integration.

, and . FDL, page 1-8. IEEE, (2011)

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

Formal Design, Co-Simulation and Validation of a Radar Signal Processing System., , , , and . FDL, page 1-8. IEEE, (2019)A formal, model-driven design flow for system simulation and multi-core implementation., , , , , and . SIES, page 254-263. IEEE, (2015)Modeling and Simulation of Dynamic Applications Using Scenario-Aware Dataflow., , , and . ACM Trans. Design Autom. Electr. Syst., 24 (5): 58:1-58:29 (2019)Satellite Image Compression Guided by Regions of Interest., , , , , and . Sensors, 23 (2): 730 (January 2023)Rapid virtual prototyping of real-time systems using predictable platform characterizations., , and . FDL, page 1-8. IEEE, (2013)Heterogeneous system-level modeling for small and medium enterprises., , , , and . SBCCI, page 1-6. IEEE, (2012)Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems., , and . FDL, page 1-4. IEEE, (2020)Heterogeneous co-simulation for embedded and cyber-physical systems design., and . Simul., (2020)An extensible modeling methodology for embedded and cyber-physical system design., and . Simulation, 92 (8): 771-794 (2016)A multi-view and programming language agnostic framework for model-driven engineering., , , and . FDL, page 1-8. IEEE, (2022)