Norman Seßler

According to our database, Norman Seßler authored at least 5 papers between 2012 and 2013.

Collaborative distances:

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

2013

Automated Formal Verification of Routing in Material Handling Systems.

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

IEEE Trans Autom. Sci. Eng., 2013

Model checking specifications of smart cards.

Karin Greimel, Norman Seßler, Thomas Klotz

Proceedings of the IECON 2013, 2013

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