Sebastian Biallas

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Venues

ETFA

WODES

SCAM

CLOUD

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski
Automatic test case generation for PLC programs using coverage metrics. ETFA (2015)
Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley
Analyzing the Restart Behavior of Industrial Control Applications. FM (2015)
Thomas Goldschmidt, Mahesh Kumar Murugaiah, Christian Sonntag, Bastian Schlich, Sebastian Biallas, Peter Weber
Cloud-Based Control: A Multi-tenant, Horizontally Scalable Soft-PLC. CLOUD (2015)
Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski
Applying static code analysis on industrial controller code. ETFA (2014)
Sebastian Biallas
Verification of Code for Programmable Logic Controllers. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. WODES (2014)
Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck
PtrTracker: Pragmatic pointer analysis. SCAM (2013)
Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski
Predicate Abstraction for Programmable Logic Controllers. FMICS (2013)
Sebastian Biallas, Jörg Brauer, Stefan Kowalewski
Arcade.PLC: a verification platform for programmable logic controllers. ASE (2012)
Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski
Static Analysis of Lockless Microcontroller C Programs SSV (2012)
Sebastian Biallas, Stefan Kowalewski, Bastian Schlich
Range and value-set analysis for programmable logic controllers. WODES (2012)
Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski
Loop Leaping with Closures. SAS (2012)
Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski
On-The-Fly Path Reduction. Electron. Notes Theor. Comput. Sci. 274 (2011)
Sebastian Biallas, Jörg Brauer, Stefan Kowalewski
Counterexample-Guided Abstraction Refinement for PLCs. SSV (2010)
Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT (2010)

Sebastian Biallas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Biallas