Jannis Stoppe

According to our database, Jannis Stoppe authored at least 27 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Learning Representative Trajectories of Dynamical Systems via Domain-Adaptive Imitation.

Edgardo Solano-Carrillo, Jannis Stoppe

CoRR, 2023

Look ATME: The Discriminator Mean Entropy Needs Attention.

Edgardo Solano-Carrillo, Ángel Bueno Rodríguez, Borja Carrillo-Perez, Yannik Steiniger, Jannis Stoppe

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2021

A Whole World of Circuitry - Visualizing Integrated Circuits using Geo Information Systems.

Jannis Stoppe, Tino Flenker

Balt. J. Mod. Comput., 2021

Detection and Geovisualization of Abnormal Vessel Behavior from Video.

Edgardo Solano-Carrillo, Borja Carrillo-Perez, Tino Flenker, Yannik Steiniger, Jannis Stoppe

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

A Backwards Compatible Approach to Authenticate Automatic Identification System Messages.

Malte Christian Struck, Jannis Stoppe

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021

2020

Automated Nonintrusive Analysis of Electronic System Level Designs.

Mehran Goli, Jannis Stoppe, Rolf Drechsler

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2018

Resilience Evaluation for Approximating SystemC Designs Using Machine Learning Techniques.

Mehran Goli, Jannis Stoppe, Rolf Drechsler

Proceedings of the 2018 International Symposium on Rapid System Prototyping, 2018

Building Fast Multi Agent Systems Using Hardware Design Languages for High-Throughput Systems.

Jannis Stoppe, Christina Plump, Sebastian Huhn, Rolf Drechsler

Proceedings of the Dynamics in Logistics, 2018

2017

SystemC Through the Looking Glass: Non-Intrusive Analysis of Electronic System Level Designs in SystemC (SystemC hinter den Spiegeln: Nichtinvasive Analyse von SystemC-Systemdesigns)

Jannis Stoppe

PhD thesis, 2017

Einfluss von Zellformen auf das Routing von Digital Microfluidic Biochips.

Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips.

Jannis Stoppe, Oliver Keszöcze, Maximilian Luenert, Robert Wille, Rolf Drechsler

Proceedings of the 2017 IEEE Computer Society Annual Symposium on VLSI, 2017

Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata.

Mehran Goli, Jannis Stoppe, Rolf Drechsler

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction.

Rehab Massoud, Jannis Stoppe, Daniel Große, Rolf Drechsler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Effects of cell shapes on the routability of Digital Microfluidic Biochips.

Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specifications.

Mehran Goli, Jannis Stoppe, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Hardware/Software Co-Visualization on the Electronic System Level Using SystemC.

Rolf Drechsler, Jannis Stoppe

Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

AIBA: An Automated Intra-cycle Behavioral Analysis for SystemC-based design exploration.

Mehran Goli, Jannis Stoppe, Rolf Drechsler

Proceedings of the 34th IEEE International Conference on Computer Design, 2016

Change impact analysis for hardware designs from natural language to system level.

Martin Ring, Jannis Stoppe, Christoph Lüth, Rolf Drechsler

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2015

Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications.

Jannis Stoppe, Rolf Drechsler

Sensors, 2015

Verification-Driven Design Across Abstraction Levels: A Case Study.

Nils Przigoda, Jannis Stoppe, Julia Seiter, Robert Wille, Rolf Drechsler

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

Automated feature localization for dynamically generated SystemC designs.

Jannis Stoppe, Robert Wille, Rolf Drechsler

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Validating SystemC Implementations Against Their Formal Specifications.

Jannis Stoppe, Robert Wille, Rolf Drechsler

Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, 2014

RevVis: Visualization of Structures and Properties in Reversible Circuits.

Robert Wille, Jannis Stoppe, Eleonora Schönborn, Kamalika Datta, Rolf Drechsler

Proceedings of the Reversible Computation - 6th International Conference, 2014

2013

Data extraction from SystemC designs using debug symbols and the SystemC API.

Jannis Stoppe, Robert Wille, Rolf Drechsler

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013

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

Jannis Stoppe, Robert Wille, Rolf Drechsler

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2011

Skeleton comparisons: the junction neighbourhood histogram.

Jannis Stoppe, Björn Gottfried

Proceedings of the 2011 ACM Symposium on Document Engineering, 2011

2010

Down to the bone: simplifying skeletons.

Jannis Stoppe, Björn Gottfried

Proceedings of the 2010 ACM Symposium on Document Engineering, 2010