Jens Schnherr
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2000–2012
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ETFA | Compositional verification of material handling systems. | Thomas Klotz, Norman Seler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schnherr |
| 2004 | ISoLA | Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking. | Martin Freibothe, Jens Schnherr, Bernd Straube, Jrg Bormann |
| 2000 | DATE | Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level. | Jens Schnherr, Bernd Straube |
| 2000 | FPL | Formal Verification of a Reconfigurable Microprocessor. | Sergej Sawitzki, Jens Schnherr, Rainer G. Spallek, Bernd Straube |