Sebastian Biallas

According to our database, Sebastian Biallas authored at least 16 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Verification of Programmable Logic Controller Code using Model Checking and Static Analysis.

Sebastian Biallas

PhD thesis, 2016

2015

Analyzing the Restart Behavior of Industrial Control Applications.

Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley

Proceedings of the FM 2015: Formal Methods, 2015

Automatic test case generation for PLC programs using coverage metrics.

Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Cloud-Based Control: A Multi-tenant, Horizontally Scalable Soft-PLC.

Thomas Goldschmidt, Mahesh Kumar Murugaiah, Christian Sonntag, Bastian Schlich, Sebastian Biallas, Peter Weber

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code.

Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Applying static code analysis on industrial controller code.

Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Verification of Code for Programmable Logic Controllers.

Sebastian Biallas

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2013

PtrTracker: Pragmatic pointer analysis.

Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Predicate Abstraction for Programmable Logic Controllers.

Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2012

Static Analysis of Lockless Microcontroller C Programs

Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Range and value-set analysis for programmable logic controllers.

Sebastian Biallas, Stefan Kowalewski, Bastian Schlich

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Loop Leaping with Closures.

Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski

Proceedings of the Static Analysis - 19th International Symposium, 2012

Arcade.PLC: a verification platform for programmable logic controllers.

Sebastian Biallas, Jörg Brauer, Stefan Kowalewski

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2010

On-The-Fly Path Reduction.

Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski

Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

Counterexample-Guided Abstraction Refinement for PLCs.

Sebastian Biallas, Jörg Brauer, Stefan Kowalewski

Proceedings of the 5th International Workshop on Systems Software Verification, 2010

Automatically Deriving Symbolic Invariants for PLC Programs Written in IL.

Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich

Proceedings of the FORMS/FORMAT 2010, 2010