DFKI Logo

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

en

Publikationen

Aktive Filter:

Jahr: 2015 Autoren: Hoang M. Le Alle Filter entfernen
Zeige Ergebnisse 1 bis 4 von 4
Aljoscha Windhorst, Hoang M. Le, Daniel Große, Rolf Drechsler

Towards Generating Test Suites with High Functional Coverage for Error Effect Simulation

In: 1st International ESWEEK Workshop on Resiliency in Embedded Electronic Systems. International ESWEEK Workshop on Resiliency in Embedded Electronic Systems 1st October 8 Amsterdam Netherlands 2015.

Zur Publikation
Hoang M. Le, Rolf Drechsler

Boosting SystemC-based Testbenches with Modern C++ and Coverage-Driven Generation

In: Design and Verification Conference and Exhibition Europe (DVCon Europe). Design and Verification Conference (DVCon Europe) November 11-12 München Germany 2015.

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

Lazy-CSeq-SP: Boosting Sequentialization-based Verification of Multi-Threaded C Programs via Symbolic Pruning of Redundant Schedules

In: Proceedings of ATVA 2015. International Symposium on Automated Technology for Verification and Analysis (ATVA-2015) October 12-15 Shanghai China Lecture Notes in Computer Science (LNCS) Springer 2015.

Zur Publikation
Vladimir Herdt, Hoang M. Le, Rolf Drechsler

Verifying SystemC using Stateful Symbolic Simulation

In: Design Automation Conference (DAC). Design Automation Conference (DAC) June 7-11 San Francisco United States 2015.

Zur Publikation

Jahr

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, 2022

DFKI Logo

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

© DFKI, 2022