Publikationen Prof. Jens Schönherr

Philipp Födisch, Jerome Wohsmann, Bert Lange, Jens Schönherr, Wolfgang Enghardt, Peter Kaever:
Digital high-pass filter deconvolution by means of an infinite impulse response filter.
Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, Vol. 830, pp. 484–496, Sept. 2016

Thomas Klotz, Jens Schönherr, Norman Seßler, Bernd Straube, Karsten Turek:
Automated Formal Verification of Routing in Material Handling Systems.
IEEE Transactions on Automation Science and Engineering, Vol. 10, Issue 4, pp. 900-915, Oct. 2013

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr:
On the Formal Verification of Routing in Material Handling Systems.
8th IEEE International Conference on Automation Science and Engineering (CASE), August 20-24, 2012, Grand Hyatt Hotel, Seoul, Korea

Jens Schönherr:
Abstracting from Register-Transfer to Algorithmic Level for Verification.
13. ITG/GI/GMM-Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Dresden, 22. - 24. Februar 2010

Jens Schönherr:
Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns.
12. GI / ITG / GME Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Berlin, 2.-4. März 2009

Jens Schönherr:
A Common Approach for Formal and Simulative Verification of Digital Circuit Designs

Jens Schönherr:
Ein Schritt zur formalen Verifikation auf der Transaktionsebene.
10. GI / ITG / GME Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Erlangen, 5. - 7. März 2007

Martin Freibothe, Jens Schönherr, Bernd Straube:
Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking.
First Workshop on Formal Verification of Analog Circuits (FAC 2005)
Edinburgh, Großbritanien, 9. April 2005,
published in Electronic Notes in Theoretical Computer Science 153(3), June 2006

Martin Freibothe, Jens Schönherr, Bernd Straube:
Formale Verifikation des quasistatischen Verhaltens von Mixed-Signal-Schaltungen durch Eigenschaftsüberprüfung.
8. GI / ITG / GME Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 6. - 7. April 2005, München

Jens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann:
Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking.
1st International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004)
Paphos, Zypern, 30. Oktober - 2. November 2004
in Theoretical Computer Science, Volume 404, Issue 3, 28 September 2008, Pages 293-307

Jens Schönherr:
Verfahren der Erreichbarkeitsanalyse von Transitionssystemen zur formalen Verifikation von Schaltungsbeschreibungen auf der Register-Transfer-Ebene.
(Dissertation) 2002

Jens Schönherr, Bernd Straube:
Formal Verification of Digital Circuits at Register Transfer Level using Reachability Analysis.
Workshop on System Design Automation (SDA 2002), Pirna, 25. - 26. April 2002

Sergej Sawitzki, Jens Schönherr, Rainer G. Spallek, Bernd Straube:
Formal Verification of a Reconfigurable Microprocessors.
International Conference on Field Programmable Logic and Applications (FPL 2000),
Villach, Österreich, 28. - 30. August 2000

Sergej Sawitzki, Rainer G. Spallek, Jens Schönherr, Bernd Straube:
Formal Verification for Microprocessors with Extendable Instruction Set.
IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2000),
Boston, MA, USA, 10. - 12. Juli 2000

Jens Schönherr, Bernd Straube:
Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level.
DATE 2000 - Design, Automation & Test In Europe, Paris, Frankreich, 27. - 30. März 2000

Jens Schönherr, Bernd Straube:
Induction based Equivalence Check at Register Transfer Level.
ITG/GI/GMM-Workshop ,,Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Frankfurt/Main, 28. Februar - 1. März 2000

Jens Schönherr, Bernd Straube:
Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten.
ITG/GI/GMM-Workshop ,,Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Frankfurt/Main, 28. Februar - 1. März 2000

Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube:
Hazard Checking in Pipelined Processor Designs using Symbolic Model Checking.
25th EUROMICRO Conference, Workshop on Digital System Design, Mailand, Italien, 8. - 10. September 1999

Jens Schönherr, Bernd Straube:
Automatic, Formal Verification of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level.
Workshop System Design Automation SDA'99, Kurort Rathen, 19. - 20. April 1999

Jens Schönherr, Bernd Straube:
A BDD-based Procedure for Conformance Test.
8th BELSIGN Workshop, Madrid, Spanien, 22. - 23. Oktober 1998

Ingo Schreiber, Jens Schönherr, Eva Fordran, Bernd Straube:
Hazard checking of a processor pipeline.
7th BELSIGN Workshop, Enschede, Niederlande, 7. - 8. Mai 1998

Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube:
Kontrollfluß-Verifikation von Algorithmen mittels Modellprüfung.
Gemeinsamer Workshop der GI/ITG/GME Fachgruppen Methoden des Entwurfs und der Verifikation digitaler Schaltungen und Systeme & Beschreibungssprachen und Modellierung von Schaltungen und Systemen,
Paderborn, 9. - 11. März 1998

Eva Fordran, Jens Schönherr, Ingo Schreiber, Bernd Straube:
Voruntersuchungen zur Modellprüfung und Modellierung kommunizierender Protokolle durch asynchrone Kopplung endlicher Automaten am Beispiel des X.25-Protokolls.
Technical Report SFB 358-C1-2/98, TU Dresden

I. Schreiber, J. Schönherr, E. Fordran, A. Römer, M. Weiß:
Verifikationsbezogene Modellierung von Pipelines und Untersuchung der Modelle bezüglich Steuerhasards.
Technical Report SFB 358-A6C1-3/98, TU Dresden

Ingo Schreiber, Eva Fordran, Jens Schönherr, Bernd Straube:
Modelling and Verification of the full-rate speech transcoder GSM 06.10.
5th BELSIGN Workshop, Dresden, April 16-18, 1997

Jens Schönherr, Bernd Straube:
Ein BDD-basiertes Verfahren für den Conformancetest.
Technical Report SFB 358-C1-3/97, TU Dresden

Jens Schönherr, Ingo Schreiber, Bernd Straube:
Verification of Digital Systems by Symbolic State Space Traversal.
4th BELSIGN Workshop, Santander, Spanien, 30. - 31. Oktober, 1996

Ingo Schreiber, Jens Schönherr, Bernd Straube:
Analyzing Digital Systems by Symbolic Model Checking.
4th BELSIGN Workshop, Santander, Spanien, 30. - 31. Oktober, 1996

Bernd Straube, Jens Schönherr (Hrsg.):
Methoden des Entwurfs und der Verifikation digitaler Systeme,
Tagungsband des 4. GI/ITG/GME Workshop "Methoden des Entwurfs und der Verifikation digitaler Systeme",
Dresden-Kreischa, 25. - 27. März 1996

Jens Schönherr, Ingo Schreiber, Bernd Straube, Rainer G. Spallek:
Ein Vergleich von Verfahren zur Traversierung des Zustandsraums abstrakter Produktautomaten.
4. GI/ITG/GME Workshop "Methoden des Entwurfs und der Verifikation digitaler Systeme",
Dresden, 25. - 27. März 1996

Jens Schönherr:
Verfahren zum Nachweis der Ein-/Ausgabeäquivalenz zweier endlicher, deterministischer, abstrakter Automaten mit binären Ein- und Ausgängen.
Technische Berichte / TU Dresden, Fakultät Informatik, 96,07, 1996 (Reprint der Diplomarbeit)

Eva Fordran, Bernd Straube, Jens Schönherr:
Hierarchical Test Pattern Generation Algorithm for Multiple Stuck-at Faults in Combinational Circuits.
Second Workshop on Hierachical Test Generation, Duisburg, 25. - 26. September 1995.

Bernd Straube, Michael Galetzka, Günter Elst, Jens Schönherr:
Ein Verfahren zur Berechnung des Klemmenverhaltens kombinatorischer Switch-Level Netzwerke.
37. Internationales Wissenschaftliches Kolloquium der TH Ilmenau, 21. - 24. September 1992