Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bastian Schlich
2010 – today
- 2013
[j11]Heiko Koziolek, Bastian Schlich, Steffen Becker, Michael Hauck: Performance and reliability prediction for evolving service-oriented software systems - Industrial experience report. Empirical Software Engineering 18(4): 746-790 (2013)- [c20]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: 161-170
- [c19]Patrick Heckeler, Bastian Schlich, Thomas Kropf: Accelerated robustness testing of state-based components using reverse execution. SAC 2013: 1188-1195
- 2012
- [c18]Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach: "Safety automata" - A new specification language for the development of PLC safety applications. ETFA 2012: 1-8
- [e1]Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich (Eds.): Proceedings Seventh Conference on Systems Software Verification. EPTCS 102, 2012
- 2011
- [j10]Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Brauer, Florian Scheuer: Model checking embedded software of an industrial knitting machine. IJITCC 1(2): 186-205 (2011)
- [j9]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): 100-118 (2011)
- [c17]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: 776-785
- 2010
- [j8]Bastian Schlich: Model checking of software for microcontrollers. ACM Trans. Embedded Comput. Syst. 9(4) (2010)
- [c16]Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski: Synthesizing simulators for model checking microcontroller binary code. DDECS 2010: 313-316
- [c15]Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich: Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT 2010: 237-245
- [c14]Heiko Koziolek, Bastian Schlich, Carlos G. Bilich: A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis. ISSRE 2010: 279-288
- [c13]Jörg Brauer, Thomas Noll, Bastian Schlich: Interval analysis of microcontroller code using abstract interpretation of hardware and software. SCOPES 2010: 3
2000 – 2009
- 2009
- [j7]Ralf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 254: 1-3 (2009)
- [j6]Jörg Brauer, Bastian Schlich, Stefan Kowalewski: Parallel and Distributed Invariant Checking of Microcontroller Software. Electr. Notes Theor. Comput. Sci. 254: 45-63 (2009)
- [j5]Jörg Brauer, Ralf Huuck, Bastian Schlich: Interprocedural Pointer Analysis in Goanna. Electr. Notes Theor. Comput. Sci. 254: 65-83 (2009)
- [j4]Gerwin Klein, Ralf Huuck, Bastian Schlich: Operating System Verification. J. Autom. Reasoning 42(2-4): 123-124 (2009)
- [j3]Bastian Schlich, Stefan Kowalewski: Model checking C source code for embedded systems. STTT 11(3): 187-202 (2009)
- [c12]Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski: Stack bounds analysis for microcontroller assembly code. WESS 2009
- [c11]Thomas Reinbacher, Martin Horauer, Bastian Schlich: Using 3-valued memory representation for state space reduction in embedded assembly code model checking. DDECS 2009: 114-119
- [c10]Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy: Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Haifa Verification Conference 2009: 5-20
- [c9]Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich: Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES 2009: 161-170
- [c8]Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp: Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM 2009: 267-278
- 2008
- [b1]
- [j2]Ralf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 217: 1-3 (2008)
- [j1]Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll: Proving Correctness of an Efficient Abstraction for Interrupt Handling. Electr. Notes Theor. Comput. Sci. 217: 133-150 (2008)
- [c7]Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich: Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. ABZ 2008: 112-124
- [c6]Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich: Challenges in embedded model checking - a simulator for the [mc]square model checker. SIES 2008: 245-248
- 2007
- [c5]Bastian Schlich, Jann Löll, Stefan Kowalewski: Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. FMICS 2007: 21-37
- [c4]Thomas Noll, Bastian Schlich: Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. Haifa Verification Conference 2007: 185-201
- [c3]Bastian Schlich, Falk Salewski, Stefan Kowalewski: Applying Model Checking to an Automotive Microcontroller Application. SIES 2007: 209-216
- 2006
- [c2]Jacob Palczynski, Bastian Schlich, Stefan Kowalewski: Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. GI Jahrestagung (1) 2006: 751-755
- [c1]Bastian Schlich, Stefan Kowalewski: [mc]square: A Model Checker for Microcontroller Code. ISoLA 2006: 466-473
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:57 CEST by the dblp team