Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Hoang M. Le


BÜCHER


BUCHBEITRÄGE
» Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2015 Autor:

Hoang M. Le

Herausgeber:S. Hölldobler et al.
Buchtitel:Ausgezeichnete Informatikdissertationen 2015
Verlag:GI
Seiten:179-188
Erscheinungsjahr:2016
Format:Paperback

» Formal Verification of SystemC-based Cyber Components
Großformat des Buches: Industrial Internet of Things: Cybermanufacturing Systems Autor:

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

Herausgeber:Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat
Buchtitel:Industrial Internet of Things: Cybermanufacturing Systems
Verlag:Springer
Seiten:137-167
Erscheinungsjahr:2016
Format:Hardcover



ZEITSCHRIFTEN

» Automatic TLM Fault Localization for SystemC
[Link zur Zeitschriften-Homepage]




Autor:

Hoang M. Le, Daniel Große, Rolf Drechsler
Zeitschrift:
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
Jahr:


2012





KONFERENZEN


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

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]


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




Autor:

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

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


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




Autor:

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

Munich, Germany, 2015
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]


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




Autor:

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

Munich, Germany, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


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




Autor:

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

Aracaju, Brazil, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


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




Autor:

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
Konferenz:
Design Automation Conference (DAC)
Referenz:

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

[Link zur Konferenz]


» Towards Verifying Determinism of SystemC Designs




Autor:

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

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


» Synchronized Debugging across Different Abstraction Levels in System Design




Autor:

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

Nürnberg, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Scalable Fault Localization for SystemC TLM Designs




Autor:

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

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

[Link zur Konferenz]
PDF:

[hier ansehen]


» From Requirements and Scenarios to ESL Design in SystemC




Autor:

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

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

[Link zur Konferenz]
PDF:

[hier ansehen]


» The System Verification Methodology for Advanced TLM Verification




Autor:

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

pp. 313-322, Tampere, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Completeness-Driven Development




Autor:

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

pp. 38-50, Bremen, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC




Autor:

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

pp. 1-7, Tampere, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


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




Autor:

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

pp. 113-122, Grenoble, 2010
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Structural Heuristics for SAT-based ATPG




Autor:

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

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

[Link zur Konferenz]
PDF:

[hier ansehen]


» Quantified Synthesis of Reversible Logic




Autor:

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

pp. 1015-1020, Munich, 2008
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]


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




Autor:

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

Amsterdam, The Netherlands, 2015
Hyperlink:

[Link zum Workshop]


» Fehlereffektsimulation mittels virtueller Prototypen




Autor:

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)
Referenz:

Bad Urach, 2015
Hyperlink:

[Link zum Workshop]


» Funktionale Abdeckungsanalyse von C-Programmen




Autor:

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)
Referenz:

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

[Link zum Workshop]


» Law-based Verification for Complex Swarm Systems




Autor:

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

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


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




Autor:

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

pp. 57-62, Hannover, 2012
Hyperlink:

[Link zum Workshop]


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




Autor:

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

Dresden, 2012
Hyperlink:

[Link zum Workshop]


» CRAVE: An Advanced Constrained Random Verification Environment for SystemC




Autor:

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)
Referenz:

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

[Link zum Workshop]


» Towards Proving TLM Properties with Local Variables




Autor:

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

San Jose, 2011
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Automatic Fault Localization for SystemC TLM Designs




Autor:

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

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

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Towards Analyzing Functional Coverage in SystemC TLM Property Checking




Autor:

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

pp. 67-74, Anaheim, 2010
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Induction-based Formal Verification of SystemC TLM Designs




Autor:

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

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