Bastian Schlich

According to our database1, Bastian Schlich authored at least 37 papers between 2006 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2015
Analyzing the Restart Behavior of Industrial Control Applications.
Proceedings of the FM 2015: Formal Methods, 2015

Automatic test case generation for PLC programs using coverage metrics.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Cloud-Based Control: A Multi-tenant, Horizontally Scalable Soft-PLC.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Applying static code analysis on industrial controller code.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Performance and reliability prediction for evolving service-oriented software systems - Industrial experience report.
Empir. Softw. Eng., 2013

Accelerated robustness testing of state-based components using reverse execution.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

2012
Range and value-set analysis for programmable logic controllers.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

"Safety automata" - A new specification language for the development of PLC safety applications.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011
Application of static analyses for state-space reduction to the microcontroller binary code.
Sci. Comput. Program., 2011

Model checking embedded software of an industrial knitting machine.
Int. J. Inf. Technol. Commun. Convergence, 2011

An industrial case study on quality impact prediction for evolving service-oriented software.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Model checking of software for microcontrollers.
ACM Trans. Embed. Comput. Syst., 2010

Interval analysis of microcontroller code using abstract interpretation of hardware and software.
Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010

A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Automatically Deriving Symbolic Invariants for PLC Programs Written in IL.
Proceedings of the FORMS/FORMAT 2010, 2010

Synthesizing simulators for model checking microcontroller binary code.
Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

2009
Model checking C source code for embedded systems.
Int. J. Softw. Tools Technol. Transf., 2009

Operating System Verification.
J. Autom. Reason., 2009

Parallel and Distributed Invariant Checking of Microcontroller Software.
Electron. Notes Theor. Comput. Sci., 2009

Interprocedural Pointer Analysis in Goanna.
Electron. Notes Theor. Comput. Sci., 2009

Automatic Bug Detection in Microcontroller Software by Static Program Analysis.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Refining assembly code static analysis for the Intel MCS-51 microcontroller.
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Reduction of Interrupt Handler Executions for Model Checking Embedded Software.
Proceedings of the Hardware and Software: Verification and Testing, 2009

Using 3-valued memory representation for state space reduction in embedded assembly code model checking.
Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009

Stack bounds analysis for microcontroller assembly code.
Proceedings of the 4th Workshop on Embedded Systems Security, 2009

2008
Model checking of software for microcontrollers.
PhD thesis, 2008

Preface.
Electron. Notes Theor. Comput. Sci., 2008

Proving Correctness of an Efficient Abstraction for Interrupt Handling.
Electron. Notes Theor. Comput. Sci., 2008

Challenges in embedded model checking - a simulator for the [mc]square model checker.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Direct Support for Model Checking Abstract State Machines by Utilizing Simulation.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007
Applying Model Checking to an Automotive Microcontroller Application.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.
Proceedings of the Hardware and Software: Verification and Testing, 2007

Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006
[mc]square: A Model Checker for Microcontroller Code.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006


  Loading...