Smooth biarc curves. - Jens Schönherr (Comput. Aided Des., 1993)

Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung. - Ingo Schreiber; Jens Schönherr; Eva Fordran; Klaus Schneider 001; Bernd Straube (MBMV, 1998)

Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. - Jens Schönherr; Ingo Schreiber; Eva Fordran; Bernd Straube (EUROMICRO, 1999)

Formal Verification for Microprocessors with Extendable Instruction Set. - Sergej Sawitzki; Rainer G. Spallek; Jens Schönherr; Bernd Straube (ASAP, 2000)

Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level. - Jens Schönherr; Bernd Straube (DATE, 2000)

Formal Verification of a Reconfigurable Microprocessor. - Sergej Sawitzki; Jens Schönherr; Rainer G. Spallek; Bernd Straube (FPL, 2000)

Induction based Equivalence Check at Register Transfer Level. - Jens Schönherr; Bernd Straube (MBMV, 2000)

Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten. - Jens Schönherr; Bernd Straube (MBMV, 2000)

Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking. - Martin Freibothe; Jens Schönherr; Bernd Straube; Jörg Bormann (ISoLA (Preliminary proceedings), 2004)

Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking. - Martin Freibothe; Jens Schönherr; Bernd Straube (FAC, 2005)

Ein Schritt zur formalen Verifikation auf der Transaktionsebene. - Jens Schönherr (MBMV, 2007)

Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking. - Jens Schönherr; Martin Freibothe; Bernd Straube; Jörg Bormann (Theor. Comput. Sci., 2008)

Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns. - Jens Schönherr (MBMV, 2009)

Abstracting from Register-Transfer to Algorithmic Level for Verification. - Jens Schönherr (MBMV, 2010)

On the formal verification of routing in material handling systems. - Thomas Klotz; Norman Seßler; Bernd Straube; Eva Fordran; Karsten Turek; Jens Schönherr (CASE, 2012)

Compositional verification of material handling systems. - Thomas Klotz; Norman Seßler; Bernd Straube; Eva Fordran; Karsten Turek; Jens Schönherr (ETFA, 2012)

Automated Formal Verification of Routing in Material Handling Systems. - Thomas Klotz; Jens Schönherr; Norman Seßler; Bernd Straube; Karsten Turek (IEEE Trans Autom. Sci. Eng., 2013)