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

Digital Hardware Design Based on Metamodels and Model Transformations., and . VLSI-SoC (Selected Papers), volume 508 of IFIP Advances in Information and Communication Technology, page 83-107. Springer, (2016)Protocol merging: a VHDL-based method for clock cycle minimizing and protocol preserving scheduling of IO-operations., , and . EURO-DAC, page 624-629. IEEE Computer Society, (1994)MetFI: Model-driven Fault Simulation Framework., , , , , and . CoRR, (2022)Fast and Accurate Model-Driven FPGA-based System-Level Fault Emulation., , , , , , , and . VLSI-SoC, page 1-6. IEEE, (2022)Modelling Peripheral Designs using FSM-like Notation for Complete Property Set Generation., , , , and . MCSoC, page 508-515. IEEE, (2023)MetaFS: Model-driven Fault Simulation Framework., , , , , , and . DFT, page 1-4. IEEE, (2022)Design centric modeling of digital hardware., , and . HLDVT, page 46-52. IEEE, (2016)A Machine Learning Approach for Area Prediction of Hardware Designs from Abstract Specifications., , , and . DSD, page 413-420. IEEE Computer Society, (2018)G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators., , , , , , , , , and 2 other author(s). DAC, page 1-6. IEEE, (2023)Formal Verification Methodology in an Industrial Setup., , , , and . DSD, page 610-614. IEEE, (2019)