Homepage Sitemap Contact




Home « Team « Publications
» Publications of Vladimir Herdt



BOOKS


BOOK CONTRIBUTIONS
» Extensible and Configurable RISC-V Based Virtual Prototype
Bigpicture: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 Author:

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

Editor:Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große
Booktitle:Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018
Publisher:Springer
Sites:115-134
Year:2020
Format:Hardcover



» Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach
Bigpicture: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017 Author:

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

Editor:Daniel Große, Sara Vinco, Hiren Patel
Booktitle:Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017
Publisher:Springer
Sites:25-44
Year:2019
Format:Hardcover



» 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
Bigpicture: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016 Author:

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

Editor:Franco Fummi, Robert Wille
Booktitle:Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016
Publisher:Springer
Sites:39-58
Year:2018
Format:Hardcover





JOURNALS

» RISC-V based Virtual Prototype: An Extensible and Configurable Platform for the System-level
[Link to the Homepage of this journal]




Author:

Vladimir Herdt, Daniel Große, Pascal Pieper, Rolf Drechsler
Journal:
Journal of Systems Architecture - Embedded Software Design (JSA)
Details:
accepted
Year:


2020





» Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction
[Link to the Homepage of this journal]




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Journal:
International Journal of Software Tools for Technology Transfer (STTT)
Details:
21(5):545-565. doi.org/10.1007/s10009-019-00507-5
Year:


2019





» Verifying SystemC using Intermediate Verification Language and Stateful Symbolic Simulation
[Link to the Homepage of this journal]




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)
Details:
38(7):1359-1372. doi.org/10.1109/TCAD.2018.2846638
Year:


2018






CONFERENCES



» Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling




Author:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler
Conference:
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Reference:

Rhodes, Greece, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study




Author:

Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler
Conference:
Forum on Specification & Design Languages (FDL)
Reference:

Kiel, Germany, 2020
Hyperlink:

[To the Site of this Conference]



» RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Automated Technology for Verification and Analysis (ATVA)
Reference:

Hanoi, Vietnam, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Efficient Techniques to Strongly Enhance the Virtual Prototype based Design Flow




Author:

Vladimir Herdt, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Limassol, Cyprus, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes




Author:

Vladimir Herdt, Daniel Große, Jonas Wloka, Tim Güneysu, Rolf Drechsler
Conference:
30th ACM Great Lakes Symposium on VLSI (GLSVLSI)
Reference:

Beijing, China, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, USA, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes




Author:

Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, USA, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Towards Specification and Testing of RISC-V ISA Compliance




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Grenoble, France, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Fast and Accurate Performance Evaluation for RISC-V using Virtual Prototypes




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Grenoble, France, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Systematic RISC-V based Firmware Design




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha-Joel Benz, Oliver Bringmann, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz
Conference:
Forum on specification & Design Languages (FDL)
Reference:

Southampton, United Kingdom, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents




Author:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
EUROMICRO Digital System Design Conference (DSD)
Reference:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

Las Vegas, USA, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Verifying Instruction Set Simulators using Coverage-guided Fuzzing




Author:

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

Florence, Italy, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Maximizing Power State Cross Coverage in Firmware-based Power Management




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
24th Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Tokyo, Japan, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Extensible and Configurable RISC-V based Virtual Prototype




Author:

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

Munich, Germany, 2018
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Resiliency Evaluation via Symbolic Fault Injection on Intermediate Code




Author:

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

pp. 845-850, Dresden, Germany, 2018
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Towards Fully Automated TLM-to-RTL Property Refinement




Author:

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

pp. 1508-1511, Dresden, Germany, 2018
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

pp. 1-8, Verona, Italy, 2017
Best Paper Candidate
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]



» Data Flow Testing for Virtual Prototypes




Author:

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

Lausanne, Switzerland, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» 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




Author:

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

Bremen, Germany, 2016
Best Paper Candidate
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Compiled Symbolic Simulation for SystemC




Author:

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

Austin, USA, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» ParCoSS: Efficient Parallelized Compiled Symbolic Simulation




Author:

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

Toronto, Canada, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]



» Verifying SystemC using Stateful Symbolic Simulation




Author:

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

San Francisco, 2015
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» Fuzz-Testing RISC-V Simulators




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

Stuttgart, Germany, 2020
Hyperlink:

[Link to the Workshop]



» Evaluation of Power State Cross Coverage in Firmware-Based Power Management




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Workshop:
Embedded Software for Industrial IoTs (ESIIT)
Reference:

Dresden, Germany, 2018
Hyperlink:

[Link to the Workshop]



» Towards Automated Refinement of TLM Properties to RTL




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

Tübingen, Germany, 2018
Hyperlink:

[Link to the Workshop]



» Revisiting Symbolic Software-implemented Fault Injection




Author:

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

Lausanne, Switzerland, 2017
Hyperlink:

[Link to the Workshop]



» SystemC Verifikation mittels symbolischer Simulation einer Zwischensprache




Author:

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

pp. 53-58, Dresden, 2013
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE