Author of the publication

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 Foundations for MARTE-SystemC Interoperability., , and . FDL, page 197-202. ECSI, Electronic Chips & Systems design Initiative, (2010)Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis., , and . FDL, page 74-79. ECSI, Electronic Chips & Systems design Initiative, (2010)Modeling of CSP, KPN and SR Systems with SystemC., , and . FDL, page 572-583. ECSI, (2003)Local application of simulation directed for Exhaustive Coverage of Schedulings of SystemC specifications., and . FDL, page 1-6. IEEE, (2009)A model-driven methodology for the development of SystemC executable environments., , , and . FDL, page 177-184. IEEE, (2012)The COMPLEX Eclipse framework for UML/MARTE specification and design space exploration of embedded systems., , , , , and . DASIP, page 1-2. IEEE, (2012)Systemic Embedded Software Generation from SystemC., , , and . DATE, page 10142-10149. IEEE Computer Society, (2003)A framework for embedded system specification under different models of computation in SystemC., and . DAC, page 911-914. ACM, (2006)Enhanced IP-XACT Platform Descriptions for Automatic Generation from UML/MARTE of Fast Performance Models for DSE., , , and . DSD, page 692-699. IEEE Computer Society, (2012)Heterogeneous System-Level Specification in SystemC., , and . FDL, page 404-416. ECSI, (2004)