Hendrik Simon
According to our database1,
Hendrik Simon
authored at least 10 papers
between 2013 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
0
1
2
3
4
1
1
1
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2020
Autom., 2020
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
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016
2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
2013
Proceedings of the Medical Imaging 2013: Computer-Aided Diagnosis, 2013
Proceedings of the Bildverarbeitung für die Medizin 2013 - Algorithmen - Systeme, 2013