Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Early SoC security validation by VP-based static information flow analysis.

M. Hassan, V. Herdt, H. Le, D. Große, und R. Drechsler. ICCAD, Seite 400-407. IEEE, (2017)

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.

Hoang-Huy Nguyen University of Stuttgart

M. Nudischer

M. Kratzer

M. Liewald

M. Fittingho

Weitere Publikationen von Autoren mit dem selben Namen

Data flow testing for virtual prototypes.M. Hassan, V. Herdt, H. Le, M. Chen, D. Große, und R. Drechsler. DATE, Seite 380-385. IEEE, (2017)On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study.V. Herdt, H. Le, D. Große, und R. Drechsler. FDL, Seite 1-8. IEEE, (2016)Temporal Tracing of On-Chip Signals using Timeprints.R. Massoud, H. Le, P. Chini, P. Saivasan, R. Meyer, und R. Drechsler. DAC, Seite 186. ACM, (2019)Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study.V. Herdt, D. Große, H. Le, und R. Drechsler. DAC, Seite 188. ACM, (2019)Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene.H. Le. Ausgezeichnete Informatikdissertationen, Volume D-16 von LNI, GI, (2015)Learning Online Smooth Predictors for Realtime Camera Planning Using Recurrent Decision Trees.J. Chen, H. Le, P. Carr, Y. Yue, und J. Little. CVPR, Seite 4688-4696. IEEE Computer Society, (2016)Data Flow Testing for SystemC-AMS Timed Data Flow Models.M. Hassan, D. Große, H. Le, und R. Drechsler. DATE, Seite 366-371. IEEE, (2019)Towards fully automated TLM-to-RTL property refinement.V. Herdt, H. Le, D. Große, und R. Drechsler. DATE, Seite 1508-1511. IEEE, (2018)Towards Automated Refinement of TLM Properties to RTL.V. Herdt, H. Le, D. Große, und R. Drechsler. MBMV, Universität Tübingen, (2018)Computations of the symmetric cosine transform using Forsythe and Clenshaw's recurrence formulae.M. Aburdene, H. Le, und J. Dorband. Electronic Imaging: Image and Video Communications and Processing, Volume 5685 von SPIE Proceedings, SPIE, (2005)