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

Organizing and Planning the ASIC Design Process by Means of a Multi-agent System., , und . ICAART (1), Seite 459-463. INSTICC Press, (2010)Checking temporal properties under simulation of executable system descriptions., , , und . HLDVT, Seite 161-166. IEEE Computer Society, (2000)Cycle Accurate Binary Translation for Simulation Acceleration in Rapid Prototyping of SoCs, , und . CoRR, (2007)Resilience Articulation Point (RAP): Cross-layer dependability modeling for nanometer system-on-chip resilience., , , , , , , , , und 10 andere Autor(en). Microelectronics Reliability, 54 (6-7): 1066-1074 (2014)Optimized hybrid verification of embedded software., , , , , , und . LATW, Seite 1-6. IEEE, (2014)TPO++: An Object-Oriented Message-Passing Library in C++., , und . ICPP, Seite 43-50. IEEE Computer Society, (2000)Case Study: SystemC-Based Design of an Industrial Exposure Control Unit1., , , , , und . FDL, Seite 627-636. ECSI, (2003)Enabling Automated Code Transformation and Variable Tracing., , und . FDL, Seite 209-214. IEEE, (2008)Grid Based Fast Falsification For Bounded Property Checking., , , , , und . FDL, Seite 299-304. ECSI, (2007)Performance Analysis and Automated C++ Modularization Using Module-Adapters for SystemC., , und . FDL, Seite 416-428. ECSI, (2004)