Bernd Straube - RankMe

39 papers A 1B 1C 10Journal 5Unranked 20

Year	Rank	Type	Title / 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`	Ein Ansatz zur Verifikation von Materialflusssteuerungen. MBMV Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze
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
2011	C	`conf`	An approach to the verification of material handling systems. ETFA Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt
2011	C	`conf`	Characterization of digital cells for statistical test. DDECS Fabian Hopsch, Michael Lindig, Bernd Straube, Wolfgang Vermeiren
2011	J	`jnl`	Variation-aware fault modeling. Sci. China Inf. Sci. Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich
2010	—	`conf`	Developing digital test sequences for through-silicon vias within 3D structures. 3DIC Matthias Gulbins, Fabian Hopsch, Peter Schneider, Bernd Straube, Wolfgang Vermeiren
2010	—	`conf`	Massive statistical process variations: A grand challenge for testing nanoelectronic circuits. DSN Workshops Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich
2010	—	`conf`	Variation-Aware Fault Modeling. Asian Test Symposium Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich
2009	C	`conf`	Formal Verification of UML-modeled Machine Controls. ETFA Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe
2009	—	`conf`	Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. MBMV Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube
2008	C	`ed.`	Proceedings of the 11th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2008), Bratislava, Slovakia, April 16-18, 2008 DDECS Bernd Straube, Milos Drutarovský, Michel Renovell, Peter Gramata, Mária Fischerová
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`	A Refined Electrical Model for Particle Strikes and its Impact on SEU Prediction. DFT Sybille Hellebrand, Christian G. Zoellin, Hans-Joachim Wunderlich, Stefan Ludwig, Torsten Coym, Bernd Straube
2006	J	`jnl`	DFG-Projekt RealTest - Test und Zuverlässigkeit nanoelektronischer Systeme (DFG-Project - Test and Reliability of Nano-Electronic Systems). it Inf. Technol. Bernd Becker, Ilia Polian, Sybille Hellebrand, Bernd Straube, Hans-Joachim Wunderlich
2006	C	`conf`	Embedded Self Repair by Transistor and Gate Level Reconfiguration. DDECS René Kothe, Heinrich Theodor Vierhaus, Torsten Coym, Wolfgang Vermeiren, Bernd Straube
2006	—	`ed.`	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006 MBMV Bernd Straube, Martin Freibothe
2006	—	`conf`	Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-Verifikation. MBMV Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock
2006	C	`ed.`	Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), Prague, Czech Republic, April 18-21, 2006 DDECS Matteo Sonza Reorda, Ondrej Novák, Bernd Straube, Hana Kubátová, Zdenek Kotásek, Pavel Kubalík, Raimund Ubar, Jirí Bucek
2006	C	`conf`	Verification-Oriented Behavioral Modeling of Non-Linear Analog. FDL Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock
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	C	`conf`	Fault Tolerant Mechatronics. IOLTS Elmar Dilger, Roland Karrelmeyer, 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
2003	—	`conf`	Fehlertoleranter Lenkwinkelgeber. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") Elmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube
2003	C	`conf`	On a Redundant Diversified Steering Angle. IOLTS Elmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube
2001	J	`jnl`	Process Deviations and Spot Defects: Two Aspects of Test and Test Development for Mixed-Signal Circuits. J. Electron. Test. Carsten Wegener, Michael Peter Kennedy, Bernd Straube
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
1999	—	`conf`	On the fault-injection-caused increase of the DAE-index in analogue fault simulation. ETW Bernd Straube, Kurt Reinschke, Wolfgang Vermeiren, Klaus Röbenack, Bert Müller, Christoph Clauß
1998	—	`conf`	Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung. MBMV Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube
1996	—	`conf`	Applying Behavioural Level Test Generation to High-Level Design Validation. ED&TC Matthias Gulbins, Bernd Straube
1996	—	`conf`	Defect-Oriented Experiments in Fault Modelling and Fault Simulation of Microsystem Components. ED&TC Wolfgang Vermeiren, Bernd Straube, Andreas Holubek
1994	—	`conf`	A Suggestion for Accelerating the Analog Fault Simulation. EDAC-ETC-EUROASIC Wolfgang Vermeiren, Bernd Straube, Günter Elst
1984	—	`—`	Anwendungen der Theorie unscharfer Mengen bei der Modellierung realer Systeme. Bernd Straube