Sebastian Biallas
Sebastian Biallas
Research Assistent, RWTH Aachen, Germany
Verified email at
Cited by
Cited by
Arcade. PLC: A verification platform for programmable logic controllers
S Biallas, J Brauer, S Kowalewski
Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
Cloud-based control: A multi-tenant, horizontally scalable soft-PLC
T Goldschmidt, MK Murugaiah, C Sonntag, B Schlich, S Biallas, P Weber
2015 ieee 8th international conference on cloud computing, 909-916, 2015
{Counterexample-Guided} Abstraction Refinement for {PLCs}
S Biallas, J Brauer, S Kowalewski
5th International Workshop on Systems Software Verification (SSV 10), 2010
Applying static code analysis on industrial controller code
S Stattelmann, S Biallas, B Schlich, S Kowalewski
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014
Automatic test case generation for PLC programs using coverage metrics
H Simon, N Friedrich, S Biallas, S Hauck-Stattelmann, B Schlich, ...
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015
Efficient handling of states in abstract interpretation of industrial programmable logic controller code
S Biallas, S Kowalewski, S Stattelmann, B Schlich
IFAC Proceedings Volumes 47 (2), 400-405, 2014
Loop leaping with closures
S Biallas, J Brauer, A King, S Kowalewski
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
Range and value-set analysis for programmable logic controllers
S Biallas, S Kowalewski, B Schlich
IFAC Proceedings Volumes 45 (29), 378-383, 2012
Predicate abstraction for programmable logic controllers
S Biallas, M Giacobbe, S Kowalewski
International Workshop on Formal Methods for Industrial Critical Systems …, 2013
PtrTracker: Pragmatic pointer analysis
S Biallas, MC Olesen, F Cassez, R Huuck
2013 IEEE 13th International Working Conference on Source Code Analysis and …, 2013
Sat-based abstraction refinement for programmable logic controllers
S Biallas, J Brauer, S Kowalewski
2011 3rd International Workshop on Dependable Control of Discrete Systems …, 2011
Formale Verifikation von Sicherheits-Funktionsbausteinen der PLCopen auf Modell-und Code-Ebene
S Biallas, G Frey, S Kowalewski, B Schlich, D Soliman
Proceedings of the 11th Fachtagung Entwurf komplexer Automatisierungssysteme …, 2010
Analyzing the restart behavior of industrial control applications
S Hauck-Stattelmann, S Biallas, B Schlich, S Kowalewski, R Jetley
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
PearPC-PowerPC architecture emulator
S Biallas
May, 2004
Verification of programmable logic controller code using model checking and static analysis
S Biallas
Dissertation, RWTH Aachen University, 2016, 2016
Verifikation von sicherheitsgerichteten SPS-Programmen mit Hilfe von Safety-Automaten
S Biallas, V Kamin, S Kowalewski, B Schlich, S Sehestedt, S Stattelmann
Automation, 75-79, 2013
On-the-fly path reduction
S Biallas, J Brauer, D Gückel, S Kowalewski
Electronic Notes in Theoretical Computer Science 274, 3-16, 2011
Automatic error cause localization of faulty PLC programs
S Biallas, N Friedrich, H Simon, S Kowalewski
IFAC-PapersOnLine 48 (7), 79-84, 2015
Static analysis of lockless microcontroller C programs
E Beckschulze, S Biallas, S Kowalewski
arXiv preprint arXiv:1211.6192, 2012
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL
S Biallas, J Brauer, S Kowalewski, B Schlich
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and …, 2011
The system can't perform the operation now. Try again later.
Articles 1–20