Forscherprofil


Profile image

Prof. Dr.-Ing. Jens Schönherr

Fakultät Elektrotechnik | Professur für Digitale Schaltungen/Systementwurf
  • Digitale Signalverarbeitung auf FPGAs
  • High-Level Synthese für FPGAs
  • Verifikation digitaler Schaltungen (synthesefähige Testbenches, Equivalence Checking, Model Checking, Assertion Based Design)

ORCID: 0000-0003-3325-5686
E-Mail: jens.schoenherr(at)htw-dresden.de
Homepage: https://www.htw-dresden.de/hochschule/fakultaeten/ueber-uns/personen/professoren/prof-jens-schoenherr

3Publikationen
  • Digital high-pass filter deconvolution by means of an infinite impulse response filter.
    FÖDISCH, Philipp, WOHSMANN, Jerome, LANGE, Bert, SCHÖNHERR, Jens, ENGHARDT, Wolfgang, KAEVER, Peter, 2016. Digital high-pass filter deconvolution by means of an infinite impulse response filter.. In: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, Vol. 830, pp. 484–496.
  • Automated Formal Verification of Routing in Material Handling Systems
    KLOTZ, Thomas, SCHöNHERR, Jens, SEßLER, Norman, STRAUBE, Bernd, TUREK, Karsten, 2013. Automated Formal Verification of Routing in Material Handling Systems. IEEE Transactions on Automation Science and Engineering, 2013, Vol. 10, Issue 4, pp. 900-915. DOI: 10.1109/TASE.2013.2276763
  • On the Formal Verification of Routing in Material Handling Systems
    KLOTZ, Thomas, SEßLER, Norman, STRAUBE, Bernd, FORDRAN, Eva, TUREK, Karsten, SCHöNHERR, Jens, 2012. On the Formal Verification of Routing in Material Handling Systems. 8th IEEE International Conference on Automation Science and Engineering (CASE), Seoul, 2012. DOI: 10.1109/CoASE.2012.6386358
1Mitarbeit in externen Gremien und Verbänden
  • Programmkommitee GI/VDE/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)"
    Seit: 01.01.2013