Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. - Jacob Palczynski; Bastian Schlich; Stefan Kowalewski (GI Jahrestagung (1), 2006)

[mc]square: A Model Checker for Microcontroller Code. - Bastian Schlich; Stefan Kowalewski (ISoLA, 2006)

Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. - Bastian Schlich; Jann Löll; Stefan Kowalewski (FMICS, 2007)

Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. - Thomas Noll 001; Bastian Schlich (Haifa Verification Conference, 2007)

Applying Model Checking to an Automotive Microcontroller Application. - Bastian Schlich; Falk Salewski; Stefan Kowalewski (SIES, 2007)

Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. - Jörg Beckers; Daniel Klünder; Stefan Kowalewski; Bastian Schlich (ABZ, 2008)

Challenges in embedded model checking - a simulator for the [mc]square model checker. - Thomas Reinbacher; Martin Kramer; Martin Horauer; Bastian Schlich (SIES, 2008)

Proving Correctness of an Efficient Abstraction for Interrupt Handling. - Gerlind Herberich; Bastian Schlich; Carsten Weise; Thomas Noll 001 (SSV, 2008)

Model checking of software for microcontrollers. - Bastian Schlich (2008)

Stack bounds analysis for microcontroller assembly code. - Jörg Brauer; Bastian Schlich; Thomas Reinbacher; Stefan Kowalewski (WESS, 2009)

Using 3-valued memory representation for state space reduction in embedded assembly code model checking. - Thomas Reinbacher; Martin Horauer; Bastian Schlich (DDECS, 2009)

Reduction of Interrupt Handler Executions for Model Checking Embedded Software. - Bastian Schlich; Thomas Noll 001; Jörg Brauer; Lucas Brutschy (Haifa Verification Conference, 2009)

Refining assembly code static analysis for the Intel MCS-51 microcontroller. - Thomas Reinbacher; Jörg Brauer; Martin Horauer; Bastian Schlich (SIES, 2009)

Automatic Bug Detection in Microcontroller Software by Static Program Analysis. - Ansgar Fehnker; Ralf Huuck; Bastian Schlich; Michael Tapp (SOFSEM, 2009)

Interprocedural Pointer Analysis in Goanna. - Jörg Brauer; Ralf Huuck; Bastian Schlich (SSV, 2009)

Parallel and Distributed Invariant Checking of Microcontroller Software. - Jörg Brauer; Bastian Schlich; Stefan Kowalewski (SSV, 2009)

Preface. - Ralf Huuck; Gerwin Klein; Bastian Schlich (SSV, 2009)

Operating System Verification. - Gerwin Klein; Ralf Huuck; Bastian Schlich (J. Autom. Reason., 2009)

Model checking C source code for embedded systems. - Bastian Schlich; Stefan Kowalewski (Int. J. Softw. Tools Technol. Transf., 2009)

Synthesizing simulators for model checking microcontroller binary code. - Dominique Gückel; Bastian Schlich; Jörg Brauer; Stefan Kowalewski (DDECS, 2010)

Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. - Sebastian Biallas; Jörg Brauer; Stefan Kowalewski; Bastian Schlich (FORMS/FORMAT, 2010)

A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis. - Heiko Koziolek; Bastian Schlich; Carlos G. Bilich (ISSRE, 2010)

Interval analysis of microcontroller code using abstract interpretation of hardware and software. - Jörg Brauer; Thomas Noll 001; Bastian Schlich (SCOPES, 2010)

Model checking of software for microcontrollers. - Bastian Schlich (ACM Trans. Embed. Comput. Syst., 2010)

An industrial case study on quality impact prediction for evolving service-oriented software. - Heiko Koziolek; Bastian Schlich; Carlos G. Bilich; Roland Weiss; Steffen Becker 001; Klaus Krogmann; Mircea Trifu; Raffaela Mirandola; Anne Koziolek (ICSE, 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)

Application of static analyses for state-space reduction to the microcontroller binary code. - Bastian Schlich; Jörg Brauer; Stefan Kowalewski (Sci. Comput. Program., 2011)

"Safety automata" - A new specification language for the development of PLC safety applications. - Georg Frey; Rainer Drath; Bastian Schlich; Robert Eschbach (ETFA, 2012)

Range and value-set analysis for programmable logic controllers. - Sebastian Biallas; Stefan Kowalewski; Bastian Schlich (WODES, 2012)

Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. - Hanno Eichelberger; Patrick Heckeler; Stefan Huster; Sebastian Burg; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Bastian Schlich (MBMV, 2013)

Accelerated robustness testing of state-based components using reverse execution. - Patrick Heckeler; Bastian Schlich; Thomas Kropf (SAC, 2013)

Performance and reliability prediction for evolving service-oriented software systems - Industrial experience report. - Heiko Koziolek; Bastian Schlich; Steffen Becker 001; Michael Hauck 001 (Empir. Softw. Eng., 2013)

Applying static code analysis on industrial controller code. - Stefan Stattelmann; Sebastian Biallas; Bastian Schlich; Stefan Kowalewski (ETFA, 2014)

Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. - Sebastian Biallas; Stefan Kowalewski; Stefan Stattelmann; Bastian Schlich (WODES, 2014)

Cloud-Based Control: A Multi-tenant, Horizontally Scalable Soft-PLC. - Thomas Goldschmidt; Mahesh Kumar Murugaiah; Christian Sonntag; Bastian Schlich; Sebastian Biallas; Peter Weber (CLOUD, 2015)

Automatic test case generation for PLC programs using coverage metrics. - Hendrik Simon; Nico Friedrich; Sebastian Biallas; Stefan Hauck-Stattelmann; Bastian Schlich; Stefan Kowalewski (ETFA, 2015)

Analyzing the Restart Behavior of Industrial Control Applications. - Stefan Hauck-Stattelmann; Sebastian Biallas; Bastian Schlich; Stefan Kowalewski; Raoul Jetley (FM, 2015)