Benjamin Kormann

According to our database, Benjamin Kormann authored at least 7 papers between 2010 and 2016.

Collaborative distances:

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

2016

Automatische Testdatengenerierung zur Absicherung fehlerbehafteter reaktiver Automatisierungssysteme.

Benjamin Kormann

PhD thesis, 2016

2013

Automatisierter modellbasierter Applikationstest für SPS Steuerungsprogramme auf der Basis von UML.

Birgit Vogel-Heuser, Benjamin Kormann, Dimitry Tikhonov, Susanne Rösch

Autom., 2013

2012

Fault-centric system modeling using SysML for reliability testing.

Andreas Thoma, Benjamin Kormann, Birgit Vogel-Heuser

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

2011

Automated Test Case Generation for Industrial Control Applications.

Reinhard Hametner, Benjamin Kormann, Birgit Vogel-Heuser, Dietmar Winkler, Alois Zoitl

Proceedings of the Recent Advances in Robotics and Automation [selected extended papers from ICARA 2011, 2011

Test case generation approach for industrial automation systems.

Reinhard Hametner, Benjamin Kormann, Birgit Vogel-Heuser, Dietmar Winkler, Alois Zoitl

Proceedings of the 5th International Conference on Automation, Robotics and Applications, 2011

Engineering process for an online testing process of control software in production systems.

Benjamin Kormann, Birgit Vogel-Heuser, Reinhard Hametner, Alois Zoitl

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

2010

Stereo Vision based Vehicle Detection.

Benjamin Kormann, Antje Neve, Gudrun Klinker, Walter Stechele

Proceedings of the VISAPP 2010 - Proceedings of the Fifth International Conference on Computer Vision Theory and Applications, Angers, France, May 17-21, 2010, 2010