Jens Schönherr

发表

Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking

Jörg Bormann, Martin Freibothe, Bernd Straube, 2008, Theor. Comput. Sci..

Jens Schönherr, J. Schönherr, 1993, Comput. Aided Des..

Ein Schritt zur formalen Verifikation auf der Transaktionsebene

Jens Schönherr, 2007, MBMV.

On the formal verification of routing in material handling systems

Thomas Klotz, Bernd Straube, Jens Schönherr, 2012, 2012 IEEE International Conference on Automation Science and Engineering (CASE).

Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung

Klaus Schneider, Bernd Straube, Jens Schönherr, 1998, MBMV.

Compositional verification of material handling systems

Thomas Klotz, Bernd Straube, Jens Schönherr, 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

Induction based Equivalence Check at Register Transfer Level

Bernd Straube, Jens Schönherr, 2000, MBMV.

Formal Verification of a Reconfigurable Microprocessor

Sergei Sawitzki, Rainer G. Spallek, Bernd Straube, 2000, FPL.

Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking

Jörg Bormann, Martin Freibothe, Bernd Straube, 2004, ISoLA.

Abstracting from Register-Transfer to Algorithmic Level for Verification

Jens Schönherr, J. Schönherr, 2010, MBMV.

Automatic equivalence check of circuit descriptions at clocked algorithmic and register transfer level (poster paper)

Bernd Straube, Jens Schönherr, 2000, DATE '00.

Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns

Jens Schönherr, 2009, MBMV.

Hazard checking in pipelined processor designs using symbolic model checking

Jens Schönherr, Eva Fordran, Bernd Straube, 1999, Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium.

Automated Formal Verification of Routing in Material Handling Systems

Thomas Klotz, Bernd Straube, Jens Schönherr, 2013, IEEE Transactions on Automation Science and Engineering.

Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking

Martin Freibothe, Bernd Straube, Jens Schönherr, 2006, Electron. Notes Theor. Comput. Sci..

Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten

Bernd Straube, Jens Schönherr, J. Schönherr, 2000, MBMV.

Formal verification for microprocessors with extendable instruction set

Sergei Sawitzki, Rainer G. Spallek, Bernd Straube, 2000, Proceedings IEEE International Conference on Application-Specific Systems, Architectures, and Processors.