Karsten Turek

According to our database, Karsten Turek authored at least 5 papers between 2011 and 2020.

Collaborative distances:

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

2020

Electrical Power Peaks in the Simulation of Material Handling Systems.

Karsten Turek, Armin Siegel, Thorsten Schmidt

Simul. Notes Eur., 2020

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

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

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