Bastian Schlich

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Analyzing the Restart Behavior of Industrial Control Applications.

Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley

Proceedings of the FM 2015: Formal Methods, 2015

Automatic test case generation for PLC programs using coverage metrics.

Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

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

Thomas Goldschmidt, Mahesh Kumar Murugaiah, Christian Sonntag, Bastian Schlich, Sebastian Biallas, Peter Weber

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.

Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Applying static code analysis on industrial controller code.

Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski

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.

Heiko Koziolek, Bastian Schlich, Steffen Becker, Michael Hauck

Empir. Softw. Eng., 2013

Accelerated robustness testing of state-based components using reverse execution.

Patrick Heckeler, Bastian Schlich, Thomas Kropf

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen.

Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich

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.

Sebastian Biallas, Stefan Kowalewski, Bastian Schlich

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

"Safety automata" - A new specification language for the development of PLC safety applications.

Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach

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.

Bastian Schlich, Jörg Brauer, Stefan Kowalewski

Sci. Comput. Program., 2011

Model checking embedded software of an industrial knitting machine.

Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Brauer, Florian Scheuer

Int. J. Inf. Technol. Commun. Convergence, 2011

An industrial case study on quality impact prediction for evolving service-oriented software.

Heiko Koziolek, Bastian Schlich, Carlos G. Bilich, Roland Weiss, Steffen Becker, Klaus Krogmann, Mircea Trifu, Raffaela Mirandola, Anne Koziolek

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Model checking of software for microcontrollers.

Bastian Schlich

ACM Trans. Embed. Comput. Syst., 2010

Interval analysis of microcontroller code using abstract interpretation of hardware and software.

Jörg Brauer, Thomas Noll, Bastian Schlich

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.

Heiko Koziolek, Bastian Schlich, Carlos G. Bilich

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Automatically Deriving Symbolic Invariants for PLC Programs Written in IL.

Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich

Proceedings of the FORMS/FORMAT 2010, 2010

Synthesizing simulators for model checking microcontroller binary code.

Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski

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.

Bastian Schlich, Stefan Kowalewski

Int. J. Softw. Tools Technol. Transf., 2009

Operating System Verification.

Gerwin Klein, Ralf Huuck, Bastian Schlich

J. Autom. Reason., 2009

Parallel and Distributed Invariant Checking of Microcontroller Software.

Jörg Brauer, Bastian Schlich, Stefan Kowalewski

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Interprocedural Pointer Analysis in Goanna.

Jörg Brauer, Ralf Huuck, Bastian Schlich

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Automatic Bug Detection in Microcontroller Software by Static Program Analysis.

Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Refining assembly code static analysis for the Intel MCS-51 microcontroller.

Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich

Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Reduction of Interrupt Handler Executions for Model Checking Embedded Software.

Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy

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.

Thomas Reinbacher, Martin Horauer, Bastian Schlich

Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009

Stack bounds analysis for microcontroller assembly code.

Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski

Proceedings of the 4th Workshop on Embedded Systems Security, 2009

2008

Model checking of software for microcontrollers.

Bastian Schlich

PhD thesis, 2008

Preface.

Ralf Huuck, Gerwin Klein, Bastian Schlich

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

Proving Correctness of an Efficient Abstraction for Interrupt Handling.

Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

Challenges in embedded model checking - a simulator for the [mc]square model checker.

Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Direct Support for Model Checking Abstract State Machines by Utilizing Simulation.

Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Applying Model Checking to an Automotive Microcontroller Application.

Bastian Schlich, Falk Salewski, Stefan Kowalewski

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.

Thomas Noll, Bastian Schlich

Proceedings of the Hardware and Software: Verification and Testing, 2007

Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.

Bastian Schlich, Jann Löll, Stefan Kowalewski

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006

[mc]square: A Model Checker for Microcontroller Code.

Bastian Schlich, Stefan Kowalewski

Proceedings of the Leveraging Applications of Formal Methods, 2006

Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern.

Jacob Palczynski, Bastian Schlich, Stefan Kowalewski

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006