Jens Schönherr

17 papers A 1B 1C 1Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2013 J jnl
Automated Formal Verification of Routing in Material Handling Systems.
IEEE Trans Autom. Sci. Eng.
Thomas Klotz, Jens Schönherr, Norman Seßler, Bernd Straube, Karsten Turek
2012 C conf
Compositional verification of material handling systems.
ETFA
Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr
2012 — conf
On the formal verification of routing in material handling systems.
CASE
Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr
2010 — conf
Abstracting from Register-Transfer to Algorithmic Level for Verification.
MBMV
Jens Schönherr
2009 — conf
Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns.
MBMV
Jens Schönherr
2008 J jnl
Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking.
Theor. Comput. Sci.
Jens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann
2007 — conf
Ein Schritt zur formalen Verifikation auf der Transaktionsebene.
MBMV
Jens Schönherr
2005 — conf
Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking.
FAC
Martin Freibothe, Jens Schönherr, Bernd Straube
2004 — conf
Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking.
ISoLA (Preliminary proceedings)
Martin Freibothe, Jens Schönherr, Bernd Straube, Jörg Bormann
2000 A conf
Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level.
DATE
Jens Schönherr, Bernd Straube
2000 — conf
Formal Verification for Microprocessors with Extendable Instruction Set.
ASAP
Sergej Sawitzki, Rainer G. Spallek, Jens Schönherr, Bernd Straube
2000 B conf
Formal Verification of a Reconfigurable Microprocessor.
FPL
Sergej Sawitzki, Jens Schönherr, Rainer G. Spallek, Bernd Straube
2000 — conf
Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten.
MBMV
Jens Schönherr, Bernd Straube
2000 — conf
Induction based Equivalence Check at Register Transfer Level.
MBMV
Jens Schönherr, Bernd Straube
1999 — conf
Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking.
EUROMICRO
Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube
1998 — conf
Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung.
MBMV
Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube
1993 J jnl
Smooth biarc curves.
Comput. Aided Des.
Jens Schönherr