Homepage Sitemap Contact




Home « Team « Publications
» Publications of Hoang M. Le



BOOKS


BOOK CONTRIBUTIONS
» Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene
Bigpicture: Ausgezeichnete Informatikdissertationen 2015 Author:

Hoang M. Le

Editor:S. Hölldobler et al.
Booktitle:Ausgezeichnete Informatikdissertationen 2015
Publisher:GI
Sites:179-188
Year:2016
Format:Paperback



» Formal Verification of SystemC-based Cyber Components
Bigpicture: Industrial Internet of Things: Cybermanufacturing Systems Author:

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

Editor:Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat
Booktitle:Industrial Internet of Things: Cybermanufacturing Systems
Publisher:Springer
Sites:137-167
Year:2016
Format:Hardcover





JOURNALS

» Automatic TLM Fault Localization for SystemC
[Link to the Homepage of this journal]




Author:

Hoang M. Le, Daniel Große, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 31, Number 8, pp. 1249-1262,
DOI: 10.1109/TCAD.2012.2188800
Year:


2012






CONFERENCES



» 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:

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:

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]



» Guided Lightweight Software Test Qualification for IP Integration using Virtual Prototypes




Author:

Daniel Große, Hoang M. Le, Muhammad Hassan, Rolf Drechsler
Conference:
IEEE International Conference on Computer Design (ICCD)
Reference:

Phoenix, USA, 2016
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]



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




Author:

Hoang M. Le, Rolf Drechsler
Conference:
Design and Verification Conference and Exhibition Europe (DVCon Europe)
Reference:

Munich, Germany, 2015
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

pp. 228-233, Shanghai, China, 2015
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]



» CRAVE 2.0: The Next Generation Constrained Random Stimuli Generator for SystemC




Author:

Hoang M. Le, Rolf Drechsler
Conference:
Design and Verification Conference and Exhibition Europe (DVCon Europe)
Reference:

Munich, Germany, 2014
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Self-Verification as the Key Technology for Next Generation Electronic Systems




Author:

Rolf Drechsler, Hoang M. Le, Mathias Soeken
Conference:
Symposium on Integrated Circuits and System Design (SBCCI)
Reference:

Aracaju, Brazil, 2014
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State-of-the-Art and Research Challenges




Author:

Jan-Hendrik Oetjens, Nico Bannow, Markus Becker, Oliver Bringmann, Andreas Burger, Moomen Chaari, Samarjit Chakraborty, Rolf Drechsler, Wolfgang Ecker, Kim Gruettner, Thomas Kruse, Christoph Kuznik, Hoang M. Le, Andreas Mauderer, Wolfgang Mueller, Daniel Mueller-Gritschneder, Frank Poppen, Hendrik Post, Sebastian Reiter, Wolfgang Rosenstiel, Simon Roth, Ulf Schlichtmann, Andreas von Schwerin, Bogdan-Andrei Tabacaru, Alexander Viehl
Conference:
Design Automation Conference (DAC)
Reference:

pp. 113:1-6, San Francisco, 2014
Hyperlink:

[To the Site of this Conference]



» Towards Verifying Determinism of SystemC Designs




Author:

Hoang M. Le, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE'14)
Reference:

pp. 153:1-4, Dresden, Germany, 2014
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]



» Synchronized Debugging across Different Abstraction Levels in System Design




Author:

Rolf Drechsler, Daniel Große, Hoang M. Le, André Sülflow
Conference:
embedded world Conference 2013
Reference:

Nürnberg, 2013
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Scalable Fault Localization for SystemC TLM Designs




Author:

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

pp. 35-38, Grenoble, France, 2013
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» From Requirements and Scenarios to ESL Design in SystemC




Author:

Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
International Symposium on Electronic System Design (ISED)
Reference:

pp. 183-187, Kolkata, WB, India, 2012
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» The System Verification Methodology for Advanced TLM Verification




Author:

Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Mueller, Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler, Wolfgang Ecker, Volkan Esen
Conference:
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Reference:

pp. 313-322, Tampere, 2012
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Completeness-Driven Development




Author:

Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter, Mathias Soeken, Robert Wille
Conference:
International Conference on Graph Transformation
Reference:

pp. 38-50, Bremen, 2012
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC




Author:

Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
International Symposium on System-on-Chip (SoC)
Reference:

pp. 1-7, Tampere, 2012
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Proving Transaction and System-level Properties of Untimed SystemC TLM Designs




Author:

Daniel Große, Hoang M. Le, Rolf Drechsler
Conference:
International Conference on Formal Methods and Models for Codesign (MEMOCODE)
Reference:

pp. 113-122, Grenoble, 2010
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Structural Heuristics for SAT-based ATPG




Author:

Daniel Tille, Stephan Eggersglüß, Hoang M. Le, Rolf Drechsler
Conference:
17th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2009)
Reference:

pp. 77-82, Florianópolis, 2009
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Quantified Synthesis of Reversible Logic




Author:

Robert Wille, Hoang M. Le, Gerhard W. Dueck, Daniel Große
Conference:
Design, Automation, and Test in Europe (DATE)
Reference:

pp. 1015-1020, Munich, 2008
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» 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]



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




Author:

Aljoscha Windhorst, Hoang M. Le, Daniel Große, Rolf Drechsler
Workshop:
1st International ESWEEK Workshop on Resiliency in Embedded Electronic Systems
Reference:

Amsterdam, The Netherlands, 2015
Hyperlink:

[Link to the Workshop]



» Fehlereffektsimulation mittels virtueller Prototypen




Author:

Sebastian Reiter, Markus Becker, Oliver Bringmann, Andreas Burger, Moomen Chaari, Rolf Drechsler, Wolfgang Ecker, Thomas Kruse, Christoph Kuznik, Jo Laufenberg, Hoang M. Le, Petra Maier, Daniel Müller-Gritschneder, Hendrik Post, Jan-Hendrik Oetjens, Wolfgang Rosenstiel, Andreas von Schwerin, Bogdan-Andrei Tabacaru, Alexander Viehl
Workshop:
GI/GMM/ITG-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ)
Reference:

Bad Urach, 2015
Hyperlink:

[Link to the Workshop]



» Funktionale Abdeckungsanalyse von C-Programmen




Author:

Aljoscha Windhorst, Hoang M. Le, Daniel Große, Rolf Drechsler
Workshop:
17. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'14)
Reference:

pp. 201-204, Böblingen, Germany, 2014
Hyperlink:

[Link to the Workshop]



» Law-based Verification for Complex Swarm Systems




Author:

Rolf Drechsler, Hoang M. Le, Mathias Soeken, Robert Wille
Workshop:
International Workshop on the Swarm at the Edge of the Cloud
Reference:

Montreal, Canada
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]



» Compilation of Methodologies to Speed up the Verification Process at System Level




Author:

Stephan Radke, Steffen Rülke, Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, Volkan Esen, Simon Hufnagel, Nico Bannow, Helmut Brazdrum, Peter Janssen, Hoang M. Le, Daniel Große, Rolf Drechsler, Erhard Fehlauer, Gernot Koch, Andreas Burger, Oliver Bringmann, Wolfgang Rosenstiel, Finn Haedicke, Ralph Görgen, Jan-Hendrik Oetjens
Workshop:
edaWorkshop
Reference:

pp. 57-62, Hannover, 2012
Hyperlink:

[Link to the Workshop]



» SystemC-based ESL Verification Flow Integrating Property Checking and Automatic Debugging




Author:

Hoang M. Le, Daniel Große, Rolf Drechsler
Workshop:
DATE Friday Workshop: OSCI and Accellera Core Technologies for the Next Generation of System-Level Design
Reference:

Dresden, 2012
Hyperlink:

[Link to the Workshop]



» CRAVE: An Advanced Constrained Random Verification Environment for SystemC




Author:

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

pp. 37-48, Kaiserslautern, 2012
Software and benchmarks available at www.systemc-verification.org
Hyperlink:

[Link to the Workshop]



» Towards Proving TLM Properties with Local Variables




Author:

Hoang M. Le, Daniel Große, Rolf Drechsler
Workshop:
7th International Workshop on Constraints in Formal Verification (CFV)
Reference:

San Jose, 2011
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» Automatic Fault Localization for SystemC TLM Designs




Author:

Hoang M. Le, Daniel Große, Rolf Drechsler
Workshop:
11th International Workshop on Microprocessor Test and Verification (MTV)
Reference:

pp. 35-40, Austin, Texas, 2010
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» Towards Analyzing Functional Coverage in SystemC TLM Property Checking




Author:

Hoang M. Le, Daniel Große, Rolf Drechsler
Workshop:
IEEE International Workshop on High-Level Design Validation and Test (HLDVT)
Reference:

pp. 67-74, Anaheim, 2010
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» Induction-based Formal Verification of SystemC TLM Designs




Author:

Daniel Große, Hoang M. Le, Rolf Drechsler
Workshop:
10th International Workshop on Microprocessor Test and Verification (MTV)
Reference:

pp. 101-106, Austin, Texas, 2009
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