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

Model-driven design and validation of embedded software., , , , , , and . AST, page 98-104. ACM, (2011)On the integration of model-driven design and dynamic assertion-based verification for embedded software., , , , , , and . J. Syst. Softw., 86 (8): 2013-2033 (2013)Neural network accelerator for quantum control., , , , , , and . CoRR, (2022)Applications and Techniques for Fast Machine Learning in Science., , , , , , , , , and 37 other author(s). Frontiers Big Data, (2022)Distance-Weighted Graph Neural Networks on FPGAs for Real-Time Particle Reconstruction in High Energy Physics., , , , , , , , , and 12 other author(s). Frontiers Big Data, (2020)Accurate profiling of oracles for self-checking time-constrained embedded software., , , and . HLDVT, page 96-99. IEEE Computer Society, (2012)FATE: a Functional ATPG to Traverse Unstabilized EFSMs., , , and . ETS, page 179-184. IEEE Computer Society, (2006)An FPGA-based infrastructure for fine-grained DVFS analysis in high-performance embedded systems., , , , , , and . DAC, page 157:1-157:6. ACM, (2016)On the design of scalable and reusable accelerators for big data applications., , , , and . Conf. Computing Frontiers, page 406-411. ACM, (2016)Design and Implementation of a Dynamic Information Flow Tracking Architecture to Secure a RISC-V Core for IoT Applications., , , and . HPEC, page 1-7. IEEE, (2018)