Author Info
Name
Affiliation
Papers
BASTIAN SCHLICH
Embedded Software Laboratory, RWTH Aachen University, Aachen, Germany 52074
33
Collaborators
Citations 
PageRank 
44
214
17.98
Referers 
Referees 
References 
351
540
414
Search Limit
100540
Title
Citations
PageRank
Year
Analyzing the Restart Behavior of Industrial Control Applications.20.382015
Cloud-Based Control: A Multi-tenant, Horizontally Scalable Soft-PLC70.692015
Applying static code analysis on industrial controller code30.402014
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code.00.342014
Performance and reliability prediction for evolving service-oriented software systems - Industrial experience report.00.342013
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen.00.342013
Accelerated robustness testing of state-based components using reverse execution00.342013
Range and value-set analysis for programmable logic controllers.00.342012
"Safety automata" - A new specification language for the development of PLC safety applications.10.382012
Application of static analyses for state-space reduction to the microcontroller binary code90.552011
Model checking embedded software of an industrial knitting machine.30.462011
A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis150.662010
Synthesizing simulators for model checking microcontroller binary code10.382010
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL.00.342010
Interval analysis of microcontroller code using abstract interpretation of hardware and software110.552010
Parallel and Distributed Invariant Checking of Microcontroller Software10.352009
Refining assembly code static analysis for the Intel MCS-51 microcontroller20.382009
Stack bounds analysis for microcontroller assembly code40.422009
Using 3-valued memory representation for state space reduction in embedded assembly code model checking00.342009
Model checking C source code for embedded systems331.682009
Reduction of interrupt handler executions for model checking embedded software130.612009
Interprocedural Pointer Analysis in Goanna10.352009
Automatic Bug Detection in Microcontroller Software by Static Program Analysis90.512009
Operating System Verification71.242009
Proving Correctness of an Efficient Abstraction for Interrupt Handling20.412008
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation80.582008
Challenges in embedded model checking — a simulator for the [mc]square model checker30.412008
Model checking of software for microcontrollers281.032008
Application of static analyses for state space reduction to microcontroller assembly code120.712007
Delayed nondeterminism in model checking embedded systems assembly code140.702007
Applying Model Checking to an Automotive Microcontroller Application110.672007
Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern00.342006
[mc]square: A Model Checker for Microcontroller Code140.772006