Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2013Ein Ansatz zur Verifikation von Materialflusssystemen durch Model Checking
Turek, Karsten; Klotz, Thomas; Schmidt, Thorsten; Straube, Bernd
Konferenzbeitrag
2013Automated formal verification of routing in material handling systems
Klotz, Thomas; Schönherr, Jens; Seßler, Norman; Straube, Bernd; Turek, Karsten
Zeitschriftenaufsatz
2013Formale Verifikation von Materialflusssystemen
Turek, Karsten; Klotz, Thomas; Straube, Bernd
Konferenzbeitrag
2013Modeling and verification of material handling systems
Klotz, Thomas
: Spallek, Rainer G. (Erstgutachter); Eveking, Hans (Zweitgutachter); Straube, Bernd (Fachreferent)
Dissertation
2012Ein Ansatz zur Verifikation von Materialflusssteuerungen
Klotz, Thomas; Straube, Bernd; Fordran, Eva; Seßler, Norman; Haufe, Jürgen; Schulze, Frank
Konferenzbeitrag
2012Compositional verification of material handling systems
Klotz, Thomas; Seßler, Norman; Straube, Bernd; Fordran, Eva; Turek, Karsten; Schönherr, Jens
Konferenzbeitrag
2012On the formal verification of routing in material handling systems
Klotz, Thomas; Seßler, Norman; Straube, Bernd; Fordran, Eva; Turek, Karsten; Schönherr, Jens
Konferenzbeitrag
2012Testentwicklung für digitale Schaltungen unter Verwendung von elektrischer Fehlersimulation
Hopsch, Fabian; Straube, Bernd; Vermeiren, Wolfgang; Vierhaus, Heinrich Theodor
Konferenzbeitrag
2011An approach to the verification of material handling systems
Klotz, Thomas; Straube, Bernd; Fordran, Eva; Haufe, Jürgen; Schulze, Frank; Turek, Karsten; Schmidt, Thorsten
Konferenzbeitrag
2011Characterization of digital cells for statistical test
Hopsch, Fabian; Lindig, Michael; Straube, Bernd; Vermeiren, Wolfgang
Konferenzbeitrag
2011Toward verification of material handling systems
Klotz, Thomas; Straube, Bernd; Fordran, Eva; Haufe, Jürgen; Schulze, Frank; Turek, Karsten; Schmidt, Thorsten
Konferenzbeitrag
2010Applying electric fault simulation for deriving tests for through-silicon vias
Gulbins, Matthias; Hopsch, Fabian; Schneider, Peter; Straube, Bernd; Vermeiren, Wolfgang
Konferenzbeitrag
2003Fehlertolerante Lenkwinkelgeber
Dilger, Elmar; Gulbins, Matthias; Ohnesorge, Thomas; Straube, Bernd
Konferenzbeitrag
2003On a redundant diversified steering angle sensor
Dilger, Elmar; Gulbins, Matthias; Ohnesorge, Thomas; Straube, Bernd
Konferenzbeitrag