Eva Fordran

Publication Activity (10 Years)

Years Active: 1998-2012
Publications (10 Years): 0

Top Topics

Formal Verification

Complex Systems

Material Handling

Top Venues

Publications

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr
Compositional verification of material handling systems. ETFA (2012)
Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr
On the formal verification of routing in material handling systems. CASE (2012)
Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze
Ein Ansatz zur Verifikation von Materialflusssteuerungen. MBMV (2012)
Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt
Formale Verifikation von Contiki-Anwendungen. MBMV (2011)
Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt
An approach to the verification of material handling systems. ETFA (2011)
Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe
Formal Verification of UML-modeled Machine Controls. ETFA (2009)
Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube
Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. MBMV (2009)
Eva Fordran, Matthias Fruth, Ulrich Hensel, Hu Shaoyu, Madabhushi Srinivasan
Model Checking in an Industrial Environment. MBMV (2003)
Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube
Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. EUROMICRO (1999)
Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube
Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung. MBMV (1998)