Bastian Schlich

42 papers A* 1A 1B 3C 9Misc 1Journal 6Unranked 16

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