Mathias Obster

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 2

Top Topics

Static Analysis

Production System

Top Venues

Joint Workshop of the German Research Training Groups in Computer Science

Publications

Mathias Obster, Stefan Kowalewski
A live static code analysis architecture for PLC software. ETFA (2017)
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)
Mathias Obster, Igor Kalkov, Stefan Kowalewski
Development and execution of PLC programs on real-time capable mobile devices. ETFA (2014)
Mathias Obster
Using Static Analysis to Support Programming on Devices with Touch Based Input. Joint Workshop of the German Research Training Groups in Computer Science (2014)