Hendrik Simon

According to our database1, Hendrik Simon authored at least 8 papers between 2013 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems".
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.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016
Concolic test generation for PLC programs using coverage metrics.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Symbolic Verification of PLC Safety-Applications based on PLCopen Automata.
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.
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.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2013
Bone age assessment using support vector regression with smart class mapping.
Proceedings of the Medical Imaging 2013: Computer-Aided Diagnosis, 2013

Bone Age Assessment Using Support Vector Machine Regression.
Proceedings of the Bildverarbeitung für die Medizin 2013 - Algorithmen - Systeme, 2013


  Loading...