Hendrik Simon

According to our database, Hendrik Simon authored at least 9 papers between 2013 and 2020.

Collaborative distances:

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

2020

Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion.

Marco Grochowski, Hendrik Simon, Dimitri Bohlender, Stefan Kowalewski, Andreas Löcklin, Timo Müller, Nasser Jazdi, Andreas Zeller, Michael Weyrich

Autom., 2020

2018

Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems".

Hendrik Simon, Stefan Kowalewski

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017

A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation.

Sebastian Ulewicz, Birgit Vogel-Heuser, Hendrik Simon, Dimitri Bohlender, Mathias Obster, Stefan Kowalewski

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Concolic test generation for PLC programs using coverage metrics.

Dimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Symbolic Verification of PLC Safety-Applications based on PLCopen Automata.

Dimitri Bohlender, Hendrik Simon, Stefan Kowalewski

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Static analysis of Sequential Function Charts using abstract interpretation.

Hendrik Simon, Stefan Kowalewski

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Automatic test case generation for PLC programs using coverage metrics.

Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2013

Bone age assessment using support vector regression with smart class mapping.

Daniel Haak, Jing Yu, Hendrik Simon, Hauke Schramm, Thomas Seidl, Thomas M. Deserno

Proceedings of the Medical Imaging 2013: Computer-Aided Diagnosis, 2013

Bone Age Assessment Using Support Vector Machine Regression.

Daniel Haak, Hendrik Simon, Jing Yu, Markus Harmsen, Thomas Martin Deserno

Proceedings of the Bildverarbeitung für die Medizin 2013 - Algorithmen - Systeme, 2013