( en | de | ru )

 

Disambiguation of "Lora, Michele"

Author of the publication

copydeleteadd this publication to your clipboard
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models.

, , , , , , , , and . J. Electron. Test., 31 (2): 167-180 (2015)

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.

Lora Dimitrova

Alois Loracher

Clemens Loracher

Markus Lorang

Clemens Loracher

 

Other publications of authors with the same name

Production Recipe Validation through Formalization and Digital Twin Generation., , , , and . DATE, page 1698-1703. IEEE, (2020)Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads., , , , and . IROS, page 7362-7369. (2023)Automatic generation of cycle-accurate Simulink blocks from hdl ips., , , , and . FDL, page 1-8. IEEE, (2017)Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress., , , and . CODES+ISSS, page 4. IEEE / ACM, (2018)Automatic abstraction of multi-discipline analog models for efficient functional simulation., , and . DATE, page 662-665. IEEE, (2017)Hardware Synthesis from Software-Oriented UML Descriptions., , and . MTV, page 33-38. IEEE Computer Society, (2014)A unifying flow to ease smart systems integration., , and . HLDVT, page 113-120. IEEE, (2016)Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems., , , and . ETFA, page 1-8. IEEE, (2021)Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project., , , , , and . DATE, page 1-6. IEEE, (2024)Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0., , , and . FDL, page 1-4. IEEE, (2019)