Hendrik Simon

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 7

Top Topics

Multiprocessor Architecture

Special Session

Production System

Top Venues

Bildverarbeitung für die Medizin

Medical Imaging: Computer-Aided Diagnosis

Publications

Marco Grochowski, Hendrik Simon, Dimitri Bohlender, Stefan Kowalewski, Andreas Löcklin, Timo Müller, Nasser Jazdi, Andreas Zeller, Michael Weyrich
Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion. Autom. 68 (1) (2020)
Hendrik Simon, Stefan Kowalewski
Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems". IFM (2018)
Sebastian Ulewicz, Birgit Vogel-Heuser, Hendrik Simon, Dimitri Bohlender, Mathias Obster, Stefan Kowalewski
A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation. ETFA (2017)
Hendrik Simon, Stefan Kowalewski
Static analysis of Sequential Function Charts using abstract interpretation. ETFA (2016)
Dimitri Bohlender, Hendrik Simon, Stefan Kowalewski
Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. MBMV (2016)
Dimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann
Concolic test generation for PLC programs using coverage metrics. WODES (2016)
Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski
Automatic test case generation for PLC programs using coverage metrics. ETFA (2015)
Daniel Haak, Jing Yu, Hendrik Simon, Hauke Schramm, Thomas Seidl, Thomas M. Deserno
Bone age assessment using support vector regression with smart class mapping. Medical Imaging: Computer-Aided Diagnosis (2013)
Daniel Haak, Hendrik Simon, Jing Yu, Markus Harmsen, Thomas Martin Deserno
Bone Age Assessment Using Support Vector Machine Regression. Bildverarbeitung für die Medizin (2013)