Jannis Stoppe

Jannis Stoppe

German Aerospace Center - Köln / Germany
Engineering & Technology / Aerospace Engineering
AD Scientific Index ID: 4572495
German Aerospace Centre
person_outline Jannis Stoppe's MOST POPULAR ARTICLES
1-) Data extraction from SystemC designs using debug symbols and the SystemC APIJ Stoppe, R Wille, R Drechsler2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 26-31, 2013262013
2-) AIBA: an Automated Intra-cycle Behavioral Analysis for SystemC-based design explorationM Goli, J Stoppe, R Drechsler2016 IEEE 34th International Conference on Computer Design (ICCD), 360-363, 2016232016
3-) Automated nonintrusive analysis of electronic system level designsM Goli, J Stoppe, R DrechslerIEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018222018
4-) Automatic protocol compliance checking of SystemC TLM-2.0 simulation behavior using timed automataM Goli, J Stoppe, R Drechsler2017 IEEE International Conference on Computer Design (ICCD), 377-384, 2017232017
5-) Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specificationsM Goli, J Stoppe, R DrechslerDesign, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017212017