Hendrik Simon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2015–2018
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | IFM | Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems". | Hendrik Simon, Stefan Kowalewski |
| 2017 | ETFA | 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 |
| 2016 | ETFA | Static analysis of Sequential Function Charts using abstract interpretation. | Hendrik Simon, Stefan Kowalewski |
| 2015 | ETFA | Automatic test case generation for PLC programs using coverage metrics. | Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski |