Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung. - Ingo Schreiber; Jens Schönherr; Eva Fordran; Klaus Schneider 001; Bernd Straube (MBMV, 1998)

Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. - Jens Schönherr; Ingo Schreiber; Eva Fordran; Bernd Straube (EUROMICRO, 1999)

Model Checking in an Industrial Environment. - Eva Fordran; Matthias Fruth; Ulrich Hensel; Hu Shaoyu; Madabhushi Srinivasan (MBMV, 2003)

Formal Verification of UML-modeled Machine Controls. - Thomas Klotz; Eva Fordran; Bernd Straube; Jürgen Haufe (ETFA, 2009)

Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. - Jürgen Haufe; Ulrich Donath; Eva Fordran; Thomas Klotz; Bernd Straube (MBMV, 2009)

An approach to the verification of material handling systems. - Thomas Klotz; Bernd Straube; Eva Fordran; Jürgen Haufe; Frank Schulze; Karsten Turek; Thorsten Schmidt (ETFA, 2011)

Formale Verifikation von Contiki-Anwendungen. - Thilo Vörtler; Thomas Klotz; Eva Fordran; Petra Hofstedt (MBMV, 2011)

On the formal verification of routing in material handling systems. - Thomas Klotz; Norman Seßler; Bernd Straube; Eva Fordran; Karsten Turek; Jens Schönherr (CASE, 2012)

Compositional verification of material handling systems. - Thomas Klotz; Norman Seßler; Bernd Straube; Eva Fordran; Karsten Turek; Jens Schönherr (ETFA, 2012)

Ein Ansatz zur Verifikation von Materialflusssteuerungen. - Thomas Klotz; Bernd Straube; Eva Fordran; Norman Seßler; Jürgen Haufe; Frank Schulze (MBMV, 2012)