Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Vladimir Herdt


BÜCHER


BUCHBEITRÄGE
» 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
Großformat des Buches: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016 Autor:

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

Herausgeber:Franco Fummi, Robert Wille
Buchtitel:Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016
Verlag:Springer
Seiten:39-58
Erscheinungsjahr:2018
Format:Hardcover



ZEITSCHRIFTEN


KONFERENZEN


» Resiliency Evaluation via Symbolic Fault Injection on Intermediate Code




Autor:

Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Dresden, Germany, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Towards Fully Automated TLM-to-RTL Property Refinement




Autor:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Dresden, Germany, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


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




Autor:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

Verona, Italy, 2017
Best Paper Candidate
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Early SoC Security Validation by VP-based Static Information Flow Analysis




Autor:

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Konferenz:
International Conference on Computer Aided Design (ICCAD)
Referenz:

pp. 400-407, Irvine, USA, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Data Flow Testing for Virtual Prototypes




Autor:

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Lausanne, Switzerland, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» 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




Autor:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

Bremen, Germany, 2016
Best Paper Candidate
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Compiled Symbolic Simulation for SystemC




Autor:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Konferenz:
International Conference on Computer Aided Design (ICCAD)
Referenz:

Austin, USA, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» ParCoSS: Efficient Parallelized Compiled Symbolic Simulation




Autor:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Konferenz:
International Conference on Computer Aided Verification (CAV)
Referenz:

Toronto, Canada, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Towards Formal Verification of Real-World SystemC TLM Peripheral Models - A Case Study




Autor:

Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

pp. 1160-1163, Dresden, Germany, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


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




Autor:

Vladimir Herdt, Hoang M. Le, Daniel Große and Rolf Drechsler
Konferenz:
Automated Technology for Verification and Analysis (ATVA)
Referenz:

pp. 228-233, Shanghai, China, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Verifying SystemC using Stateful Symbolic Simulation




Autor:

Vladimir Herdt, Hoang M. Le, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

San Francisco, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation




Autor:

Hoang M. Le, Daniel Große, Vladimir Herdt, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

pp. 116:1-6 Austin, Texas, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» Revisiting Symbolic Software-implemented Fault Injection




Autor:

Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
Workshop:
2nd International Workshop on Resiliency in Embedded Electronic Systems (REES)
Referenz:

Lausanne, Switzerland, 2017
Hyperlink:

[Link zum Workshop]


» SystemC Verifikation mittels symbolischer Simulation einer Zwischensprache




Autor:

Hoang M. Le, Daniel Große, Vladimir Herdt, Rolf Drechsler
Workshop:
edaWorkshop
Referenz:

pp. 53-58, Dresden, 2013
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt