Sebastian Biallas

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