Using Static Analysis to Support Programming on Devices with Touch Based Input. - Mathias Obster (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Development and execution of PLC programs on real-time capable mobile devices. - Mathias Obster; Igor Kalkov; Stefan Kowalewski (ETFA, 2014)

A live static code analysis architecture for PLC software. - Mathias Obster; Stefan Kowalewski (ETFA, 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 (ETFA, 2017)