DFKI Logo

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence

Publikationen

Aktive Filter:

Jahr: 2019 Autoren: Rolf Drechsler Autoren: Hoang M. Le Alle Filter entfernen
Zeige Ergebnisse 1 bis 9 von 9
Rehab Massoud, Hoang M. Le, Rolf Drechsler

Property-driven Timestamps Encoding for Timeprints-based Tracing and Monitoring

In: 17th International Conference on FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS). International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS-2019) August 27-29 Amsterdam Netherlands 2019.

Zur Publikation
Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler

Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study

In: Design Automation Conference (DAC). Design Automation Conference (DAC-2019) June 2-6 Las Vegas Nevada United States 2019.

Zur Publikation
Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler

Temporal Tracing of On-chip Signals using Timeprints

In: Design Automation Conference (DAC). Design Automation Conference (DAC-2019) June 2-6 Las Vegas Nevada United States 2019.

Zur Publikation
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction

In: International Journal of Software Tools for Technology Transfer (STTT) 2019.

Zur Publikation
Vladimir Herdt, Daniel Große, Hoang M. Le, Daniel Große, Rolf Drechsler

Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach

In: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017. Springer 2019.

Zur Publikation
Muhammad Hassan, Daniel Große, Hoang M. Le, Rolf Drechsler

Data Flow Testing for SystemC-AMS Timed Data Flow Models

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019) March 25-29 Florence Italy 2019.

Zur Publikation
Hoang M. Le, Daniel Große, Niklas Bruns, Rolf Drechsler

Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019) March 25-29 Florence Italy 2019.

Zur Publikation
Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler

Verifying Instruction Set Simulators using Coverage-guided Fuzzing

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019) March 25-29 Florence Italy 2019.

Zur Publikation
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

Maximizing Power State Cross Coverage in Firmware-based Power Management

In: 24th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-24) 24th January 21-24 Tokyo Japan 2019.

Zur Publikation

Folgen Sie uns auf:

Herausgeber

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)

Trippstadter Str. 122
67663 Kaiserslautern
Deutschland

Tel.: +49 631 20575 0
Fax: +49 631 20575 5030

Newsletter

Alle Ansehen

Standorte

© DFKI, 2019

DFKI Logo

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence

© DFKI, 2019