Eva Fordran

According to our database, Eva Fordran authored at least 10 papers between 1998 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Ein Ansatz zur Verifikation von Materialflusssteuerungen.

Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

Compositional verification of material handling systems.

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

On the formal verification of routing in material handling systems.

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

Formale Verifikation von Contiki-Anwendungen.

Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

An approach to the verification of material handling systems.

Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2009

Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik.

Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Formal Verification of UML-modeled Machine Controls.

Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2003

Model Checking in an Industrial Environment.

Eva Fordran, Matthias Fruth, Ulrich Hensel, Hu Shaoyu, Madabhushi Srinivasan

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

1999

Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking.

Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1998

Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung.

Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998