Bastian Schlich

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 3

Top Venues

ETFA

WODES

CLOUD

SAC

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski
Automatic test case generation for PLC programs using coverage metrics. ETFA (2015)
Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley
Analyzing the Restart Behavior of Industrial Control Applications. FM (2015)
Thomas Goldschmidt, Mahesh Kumar Murugaiah, Christian Sonntag, Bastian Schlich, Sebastian Biallas, Peter Weber
Cloud-Based Control: A Multi-tenant, Horizontally Scalable Soft-PLC. CLOUD (2015)
Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski
Applying static code analysis on industrial controller code. ETFA (2014)
Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. WODES (2014)
Patrick Heckeler, Bastian Schlich, Thomas Kropf
Accelerated robustness testing of state-based components using reverse execution. SAC (2013)
Heiko Koziolek, Bastian Schlich, Steffen Becker, Michael Hauck
Performance and reliability prediction for evolving service-oriented software systems - Industrial experience report. Empir. Softw. Eng. 18 (4) (2013)
Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. MBMV (2013)
Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach
"Safety automata" - A new specification language for the development of PLC safety applications. ETFA (2012)
Sebastian Biallas, Stefan Kowalewski, Bastian Schlich
Range and value-set analysis for programmable logic controllers. WODES (2012)
Bastian Schlich, Jörg Brauer, Stefan Kowalewski
Application of static analyses for state-space reduction to the microcontroller binary code. Sci. Comput. Program. 76 (2) (2011)
Heiko Koziolek, Bastian Schlich, Carlos G. Bilich, Roland Weiss, Steffen Becker, Klaus Krogmann, Mircea Trifu, Raffaela Mirandola, Anne Koziolek
An industrial case study on quality impact prediction for evolving service-oriented software. ICSE (2011)
Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Brauer, Florian Scheuer
Model checking embedded software of an industrial knitting machine. Int. J. Inf. Technol. Commun. Convergence 1 (2) (2011)
Jörg Brauer, Thomas Noll, Bastian Schlich
Interval analysis of microcontroller code using abstract interpretation of hardware and software. SCOPES (2010)
Bastian Schlich
Model checking of software for microcontrollers. ACM Trans. Embed. Comput. Syst. 9 (4) (2010)
Heiko Koziolek, Bastian Schlich, Carlos G. Bilich
A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis. ISSRE (2010)
Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT (2010)
Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski
Synthesizing simulators for model checking microcontroller binary code. DDECS (2010)
Jörg Brauer, Bastian Schlich, Stefan Kowalewski
Parallel and Distributed Invariant Checking of Microcontroller Software. Electron. Notes Theor. Comput. Sci. 254 (2009)
Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy
Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Haifa Verification Conference (2009)
Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp
Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM (2009)
Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski
Stack bounds analysis for microcontroller assembly code. WESS (2009)
Thomas Reinbacher, Martin Horauer, Bastian Schlich
Using 3-valued memory representation for state space reduction in embedded assembly code model checking. DDECS (2009)
Ralf Huuck, Gerwin Klein, Bastian Schlich
Preface. Electron. Notes Theor. Comput. Sci. 254 (2009)
Bastian Schlich, Stefan Kowalewski
Model checking C source code for embedded systems. Int. J. Softw. Tools Technol. Transf. 11 (3) (2009)
Gerwin Klein, Ralf Huuck, Bastian Schlich
Operating System Verification. J. Autom. Reason. 42 (2-4) (2009)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich
Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES (2009)
Jörg Brauer, Ralf Huuck, Bastian Schlich
Interprocedural Pointer Analysis in Goanna. Electron. Notes Theor. Comput. Sci. 254 (2009)
Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich
Challenges in embedded model checking - a simulator for the [mc]square model checker. SIES (2008)
Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. ABZ (2008)
Ralf Huuck, Gerwin Klein, Bastian Schlich
Preface. Electron. Notes Theor. Comput. Sci. 217 (2008)
Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll
Proving Correctness of an Efficient Abstraction for Interrupt Handling. Electron. Notes Theor. Comput. Sci. 217 (2008)
Thomas Noll, Bastian Schlich
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. Haifa Verification Conference (2007)
Bastian Schlich, Falk Salewski, Stefan Kowalewski
Applying Model Checking to an Automotive Microcontroller Application. SIES (2007)
Bastian Schlich, Jann Löll, Stefan Kowalewski
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. FMICS (2007)
Bastian Schlich, Stefan Kowalewski
[mc]square: A Model Checker for Microcontroller Code. ISoLA (2006)
Jacob Palczynski, Bastian Schlich, Stefan Kowalewski
Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. GI Jahrestagung (1) (2006)

Bastian Schlich.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bastian Schlich