Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Sudhashree Sayenju
Tidjani Négadi
S. M. Dilip Kumar
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Jan Kietzmann
Jing-Sheng Wong
Radu Timofte
Home
/
Author
/
JENS SCHÖNHERR
Author Info
Open Visualization
Name
Affiliation
Papers
JENS SCHÖNHERR
HTW Dresden, Dresden, Germany
15
Collaborators
Citations
PageRank
12
8
5.40
Referers
Referees
References
24
168
75
Search Limit
100
168
Publications (15 rows)
Collaborators (12 rows)
Referers (24 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Automated Formal Verification of Routing in Material Handling Systems.
0
0.34
2013
Compositional verification of material handling systems.
2
0.36
2012
Abstracting from Register-Transfer to Algorithmic Level for Verification.
0
0.34
2010
Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns.
0
0.34
2009
Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
0
0.34
2008
Ein Schritt zur formalen Verifikation auf der Transaktionsebene.
0
0.34
2007
Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking
5
0.58
2006
Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking
0
0.34
2004
Induction based Equivalence Check at Register Transfer Level.
0
0.34
2000
Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level
0
0.34
2000
Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten.
0
0.34
2000
Formal Verification of a Reconfigurable Microprocessor
0
0.34
2000
Formal Verification for Microprocessors with Extendable Instruction Set
1
0.40
2000
Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking
0
0.34
1999
Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung.
0
0.34
1998
1