Homepage Sitemap Contact




Home « Team « Publications
» Publications of Jannis Stoppe



BOOKS

» Computer: Wie funktionieren Smartphone, Tablet & Co.?
[Read more about this book!]



Publisher:


Springer
Author:

Rolf Drechsler, Andrea Fink, Jannis Stoppe
Format:
Taschenbuch
Year:


2017





BOOK CONTRIBUTIONS


JOURNALS

» Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
[Link to the Homepage of this journal]




Author:

Jannis Stoppe, Rolf Drechsler
Journal:
Sensors
Details:
Volume (issue) 15(5), pages 10399-10421
Year:


2015






CONFERENCES



» Semi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction




Author:

Rehab Massoud, Jannis Stoppe, Daniel Große, Rolf Drechsler
Conference:
15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)
Reference:

Berlin, Germany, 2017
Hyperlink:

[To the Site of this Conference]



» BioViz: An Interactive Visualization Engine for Digital Microfluidic Biochips




Author:

Jannis Stoppe, Oliver Keszöcze, Maximilian Luenert, Robert Wille, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Bochum, Germany, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Effects of Cell Shapes on the Routability of Digital Microfluidic Biochips




Author:

Kevin Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Automatic Equivalence Checking for SystemC-TLM 2.0 Models Against their Formal Specifications




Author:

Mehran Goli, Jannis Stoppe, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» AIBA: an Automated Intra-Cycle Behavioral Analysis for SystemC-based Design Exploration




Author:

Mehran Goli, Jannis Stoppe, Rolf Drechsler
Conference:
IEEE International Conference on Computer Design (ICCD)
Reference:

Phoenix, USA, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Hardware/Software Co-Visualization on the Electronic System Level using SystemC




Author:

Rolf Drechsler, Jannis Stoppe
Conference:
International Conference on VLSI Design
Reference:

Kolkata, India, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Verification-driven Design Across Abstraction Levels - A Case Study




Author:

Nils Przigoda, Jannis Stoppe, Julia Seiter, Robert Wille, Rolf Drechsler
Conference:
Euromicro Conference on Digital System Design (DSD)
Reference:

Funchal, Madeira, Portugal, 2015
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Automated Feature Localization for Dynamically Generated SystemC Designs




Author:

Jannis Stoppe, Robert Wille, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE'15)
Reference:

Grenoble, France, 2015
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Validating SystemC Implementations Against Their Formal Specifications




Author:

Jannis Stoppe, Robert Wille, Rolf Drechsler
Conference:
Symposium on Integrated Circuits and System Design (SBCCI)
Reference:

Aracaju, Brazil, 2014
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» RevVis: Visualization of Structures and Properties in Reversible Circuits




Author:

Robert Wille, Jannis Stoppe, Eleonora Schönborn, Kamalika Datta, Rolf Drechsler
Conference:
Reversible Computation
Reference:

Kyoto, Japan, 2014
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Cone of Influence Analysis at the Electronic System Level Using Machine Learning




Author:

Jannis Stoppe, Robert Wille, Rolf Drechsler
Conference:
Euromicro Conference on Digital System Design (DSD)
Reference:

Santander, Spain, 2013
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Data Extraction from SystemC Designs using Debug Symbols and the SystemC API




Author:

Jannis Stoppe, Robert Wille, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Natal, Brazil, 2013
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» Making Waveforms Great Again




Author:

Jannis Stoppe and Rolf Drechsler
Workshop:
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[Link to the Workshop]



» Verilog2GEXF - Dynamic Large Scale Circuit Visualization




Author:

Kenneth Schmitz, Jannis Stoppe, Rolf Drechsler
Workshop:
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[Link to the Workshop]



» Der Einfluss von Zellformen auf das Routing von Digital Microfluidic Biochips




Author:

Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

Bremen, Germany, 2017
Hyperlink:

[Link to the Workshop]



» SystemCDG - AI Based Coverage Driven Stimuli Generation for SystemC




Author:

Jannis Stoppe, Arved Friedemann, Rolf Drechsler
Workshop:
International Workshop on Logic & Synthesis (IWLS)
Reference:

Austin, TX, USA, 2016
Hyperlink:

[Link to the Workshop]



» Change Management for Hardware Designers




Author:

Martin Ring, Jannis Stoppe, Christoph Lüth, Rolf Drechsler
Workshop:
Workshop on Design Automation for Understanding Hardware Designs (DUHDE)
Reference:

Dresden, Germany, 2016
Hyperlink:

[Link to the Workshop]



» Visualizing Microfluidic Biochips Interactively




Author:

Jannis Stoppe, Oliver Keszöcze, Robert Wille, Rolf Drechsler
Workshop:
Workshop on Design Automation for Understanding Hardware Designs (DUHDE)
Reference:

Dresden, Germany, 2016
Hyperlink:

[Link to the Workshop]



» Ecore Model Generation from SystemC/C++ Implementations




Author:

Jannis Stoppe, Rolf Drechsler
Workshop:
DATE Friday Workshop: Design Automation for Understanding Hardware Designs (DUHDe)
Reference:

Grenoble, France, 2015
Hyperlink:

[Link to the Workshop]



» Towards a Multi-dimensional and Dynamic Visualization for ESL Designs




Author:

Jannis Stoppe, Marc Michael, Mathias Soeken, Robert Wille, Rolf Drechsler
Workshop:
DATE Friday Workshop: Design Automation for Understanding Hardware Designs
Reference:

Dresden, Germany, 2014
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