Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. - Sebastian Biallas; Jörg Brauer; Stefan Kowalewski; Bastian Schlich (FORMS/FORMAT, 2010)

Counterexample-Guided Abstraction Refinement for PLCs. - Sebastian Biallas; Jörg Brauer; Stefan Kowalewski (SSV, 2010)

On-The-Fly Path Reduction. - Sebastian Biallas; Jörg Brauer; Dominique Gückel; Stefan Kowalewski (TTSS, 2010)

Arcade.PLC: a verification platform for programmable logic controllers. - Sebastian Biallas; Jörg Brauer; Stefan Kowalewski (ASE, 2012)

Loop Leaping with Closures. - Sebastian Biallas; Jörg Brauer; Andy King; Stefan Kowalewski (SAS, 2012)

Range and value-set analysis for programmable logic controllers. - Sebastian Biallas; Stefan Kowalewski; Bastian Schlich (WODES, 2012)

Static Analysis of Lockless Microcontroller C Programs - Eva Beckschulze; Sebastian Biallas; Stefan Kowalewski (SSV, 2012)

Predicate Abstraction for Programmable Logic Controllers. - Sebastian Biallas; Mirco Giacobbe; Stefan Kowalewski (FMICS, 2013)

PtrTracker: Pragmatic pointer analysis. - Sebastian Biallas; Mads Chr. Olesen; Franck Cassez; Ralf Huuck (SCAM, 2013)

Verification of Code for Programmable Logic Controllers. - Sebastian Biallas (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Applying static code analysis on industrial controller code. - Stefan Stattelmann; Sebastian Biallas; Bastian Schlich; Stefan Kowalewski (ETFA, 2014)

Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. - Sebastian Biallas; Stefan Kowalewski; Stefan Stattelmann; Bastian Schlich (WODES, 2014)

Cloud-Based Control: A Multi-tenant, Horizontally Scalable Soft-PLC. - Thomas Goldschmidt; Mahesh Kumar Murugaiah; Christian Sonntag; Bastian Schlich; Sebastian Biallas; Peter Weber (CLOUD, 2015)

Automatic test case generation for PLC programs using coverage metrics. - Hendrik Simon; Nico Friedrich; Sebastian Biallas; Stefan Hauck-Stattelmann; Bastian Schlich; Stefan Kowalewski (ETFA, 2015)

Analyzing the Restart Behavior of Industrial Control Applications. - Stefan Hauck-Stattelmann; Sebastian Biallas; Bastian Schlich; Stefan Kowalewski; Raoul Jetley (FM, 2015)

Verification of Programmable Logic Controller Code using Model Checking and Static Analysis. - Sebastian Biallas (Shaker, 2016)