Norman Seßler

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Complex Systems

Material Handling

Temporal Properties

Top Venues

IEEE Trans Autom. Sci. Eng.

Publications

Karin Greimel, Norman Seßler, Thomas Klotz
Model checking specifications of smart cards. IECON (2013)
Thomas Klotz, Jens Schönherr, Norman Seßler, Bernd Straube, Karsten Turek
Automated Formal Verification of Routing in Material Handling Systems. IEEE Trans Autom. Sci. Eng. 10 (4) (2013)
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)