Concepedia

Bastian Schlich

BS

16

Publications

503

Citations

15

H-Index

2006

Active since

Affiliations

RWTH Aachen University(Current)

FZI Research Center for Information Technology

Paderborn University

Software (Germany)

Bastian Schlich is an author at RWTH Aachen University specializing in engineering, software analysis, and program analysis.

Top concepts

EngineeringSoftware AnalysisComputer ScienceProgram AnalysisComputer EngineeringFormal MethodsFormal VerificationVerificationSystem SoftwareSoftware Testing

Publications per year

2006–2015

16

Publications

16

Model checking of software for microcontrollers

Bastian Schlich · ACM Transactions on Embedded Computing Systems · 2010 · 91 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

Model checking C source code for embedded systems

Bastian Schlich, Stefan Kowalewski · International Journal on Software Tools for Technology Transfer · 2009 · 58 citations

Program Checking, Engineering, Program Analysis +12

Direct Model Checking of PLC Programs in IL

Bastian Schlich, Jörg Bräuer, Jörg Wernerus et al. · IFAC Proceedings Volumes · 2009 · 34 citations

Engineering, Program Analysis, Verification +11

A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis

Heiko Koziolek, Bastian Schlich, Carlos Bilich · 2010 · 30 citations

Software Maintenance, Software Reliability Testing, Engineering +22

Rows per page

1–5 of 16