| 2015 | ETFA | Automatic test case generation for PLC programs using coverage metrics. | Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski |
| 2015 | FM | Analyzing the Restart Behavior of Industrial Control Applications. | Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley |
| 2014 | ETFA | Applying static code analysis on industrial controller code. | Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski |
| 2013 | SAC | Accelerated robustness testing of state-based components using reverse execution. | Patrick Heckeler, Bastian Schlich, Thomas Kropf |
| 2012 | ETFA | "Safety automata" - A new specification language for the development of PLC safety applications. | Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach |
| 2011 | ICSE | 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 |
| 2010 | DDECS | Synthesizing simulators for model checking microcontroller binary code. | Dominique Gckel, Bastian Schlich, Jrg Brauer, Stefan Kowalewski |
| 2010 | ISSRE | A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis. | Heiko Koziolek, Bastian Schlich, Carlos G. Bilich |
| 2010 | SCOPES | Interval analysis of microcontroller code using abstract interpretation of hardware and software. | Jrg Brauer, Thomas Noll, Bastian Schlich |
| 2009 | CASES | Stack bounds analysis for microcontroller assembly code. | Jrg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski |
| 2009 | DDECS | Using 3-valued memory representation for state space reduction in embedded assembly code model checking. | Thomas Reinbacher, Martin Horauer, Bastian Schlich |
| 2009 | SOFSEM | Automatic Bug Detection in Microcontroller Software by Static Program Analysis. | Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp |
| 2007 | FMICS | Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. | Bastian Schlich, Jann Lll, Stefan Kowalewski |
| 2006 | GI | Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. | Jacob Palczynski, Bastian Schlich, Stefan Kowalewski |
| 2006 | ISoLA | [mc]square: A Model Checker for Microcontroller Code. | Bastian Schlich, Stefan Kowalewski |