Concepedia

Sebastian Biallas

SB

5

Publications

196

Citations

5

H-Index

2010

Active since

Affiliations

RWTH Aachen University(Current)

Sebastian Biallas is an author at RWTH Aachen University specializing in computer engineering, systems engineering, and engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware Engineering

Publications per year

2010–2015

5

Publications

5

Arcade.PLC: a verification platform for programmable logic controllers

Sebastian Biallas, Jörg Bräuer, Stefan Kowalewski · 2012 · 74 citations

Program Checking, Engineering, Verification +18

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

Thomas Goldschmidt, Mahesh Kumar Murugaiah, Christian Sonntag et al. · 2015 · 68 citations

Engineering, Cloud Computing Architecture, Industrial Control System +16

Automatic test case generation for PLC programs using coverage metrics

Hendrik Simon, Nico Friedrich, Sebastian Biallas et al. · 2015 · 20 citations

Engineering, Verification, Test Coverage +21

Applying static code analysis on industrial controller code

Stefan Stattelmann, Sebastian Biallas, Bastian Schlich et al. · 2014 · 19 citations

Counterexample-guided abstraction refinement for PLCs

Sebastian Biallas, Jörg Bräuer, Stefan Kowalewski · RWTH Publications (RWTH Aachen) · 2010 · 15 citations · Full text

Model Checking Programs, Program Checking, Engineering +22

Rows per page

1–5 of 5