Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Test Generation for Stuck-at and Gate-Delay Faults in Sequential Circuits: A Mixed Functional/Structural Method., , und . DFT, Seite 254-262. IEEE Computer Society, (1994)Model-driven design and validation of embedded software., , , , , , und . AST, Seite 98-104. ACM, (2011)An error simulation based approach to measure error coverage of formal properties., , , , , und . ACM Great Lakes Symposium on VLSI, Seite 53-58. ACM, (2002)System/network design-space exploration based on TLM for networked embedded systems., , und . ACM Trans. Embed. Comput. Syst., 9 (4): 37:1-37:32 (2010)Enabling Kubernetes Orchestration of Mixed-Criticality Software for Autonomous Mobile Robots., , , und . IEEE Trans. Robotics, (2024)Virtual Prototyping a Production Line Using Assume-Guarantee Contracts., , , , und . IEEE Trans. Ind. Informatics, 17 (9): 6294-6302 (2021)A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection., , , , , , , , und . Sensors, 15 (7): 17076-17088 (2015)Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications., , , , , und . DDECS, Seite 39-44. IEEE, (2023)HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package., , , , und . DDECS, Seite 87-90. IEEE, (2023)Cyber-Physical Systems Integration in a Production Line Simulator., , und . VLSI-SoC, Seite 237-242. IEEE, (2018)