Jens Schönherr

According to our database, Jens Schönherr authored at least 17 papers between 1993 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

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

2012

Compositional verification of material handling systems.

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

On the formal verification of routing in material handling systems.

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2010

Abstracting from Register-Transfer to Algorithmic Level for Verification.

Jens Schönherr

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

2009

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

Jens Schönherr

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

2008

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

2007

Ein Schritt zur formalen Verifikation auf der Transaktionsebene.

Jens Schönherr

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

2005

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

Martin Freibothe, Jens Schönherr, Bernd Straube

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005

2004

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

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2000

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

Jens Schönherr, Bernd Straube

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

Induction based Equivalence Check at Register Transfer Level.

Jens Schönherr, Bernd Straube

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

Formal Verification of a Reconfigurable Microprocessor.

Sergej Sawitzki, Jens Schönherr, Rainer G. Spallek, Bernd Straube

Proceedings of the Field-Programmable Logic and Applications, 2000

Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level.

Jens Schönherr, Bernd Straube

Proceedings of the 2000 Design, 2000

Formal Verification for Microprocessors with Extendable Instruction Set.

Sergej Sawitzki, Rainer G. Spallek, Jens Schönherr, Bernd Straube

Proceedings of the 12th IEEE International Conference on Application-Specific Systems, 2000

1999

Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking.

Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1998

Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung.

Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

1993

Smooth biarc curves.

Jens Schönherr

Comput. Aided Des., 1993