Karsten Turek

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 1

Top Topics

Formal Verification

Complex Systems

Material Handling

Electrical Power

Top Venues

IEEE Trans Autom. Sci. Eng.

Simul. Notes Eur.

Publications

Karsten Turek, Armin Siegel, Thorsten Schmidt
Electrical Power Peaks in the Simulation of Material Handling Systems. Simul. Notes Eur. 30 (4) (2020)
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, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt
An approach to the verification of material handling systems. ETFA (2011)