default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBastian Schlich
Person information
- affiliation: RWTH Aachen University, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
[c31]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: 909-916- [c30]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: 1-4 - [c29]Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley:
Analyzing the Restart Behavior of Industrial Control Applications. FM 2015: 585-588 - 2014
- [c28]Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski:
Applying static code analysis on industrial controller code. ETFA 2014: 1-4 - [c27]Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich:
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. WODES 2014: 400-405 - 2013
- [j6]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): 746-790 (2013) - [c26]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 - [c25]Patrick Heckeler, Bastian Schlich, Thomas Kropf:
Accelerated robustness testing of state-based components using reverse execution. SAC 2013: 1188-1195 - 2012
- [c24]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 - [c23]Sebastian Biallas, Stefan Kowalewski, Bastian Schlich:
Range and value-set analysis for programmable logic controllers. WODES 2012: 378-383 - [e4]Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. EPTCS 102, 2012 [contents] - 2011
- [j5]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): 186-205 (2011) - [j4]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) - [c22]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
- [j3]Bastian Schlich:
Model checking of software for microcontrollers. ACM Trans. Embed. Comput. Syst. 9(4): 36:1-36:27 (2010) - [c21]Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski:
Synthesizing simulators for model checking microcontroller binary code. DDECS 2010: 313-316 - [c20]Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich:
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT 2010: 237-245 - [c19]Heiko Koziolek, Bastian Schlich, Carlos G. Bilich:
A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis. ISSRE 2010: 279-288 - [c18]Jörg Brauer, Thomas Noll, Bastian Schlich:
Interval analysis of microcontroller code using abstract interpretation of hardware and software. SCOPES 2010: 3 - [e3]Ralf Huuck, Gerwin Klein, Bastian Schlich:
5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010. USENIX Association 2010 [contents]
2000 – 2009
- 2009
- [j2]Gerwin Klein, Ralf Huuck, Bastian Schlich:
Operating System Verification. J. Autom. Reason. 42(2-4): 123-124 (2009) - [j1]Bastian Schlich, Stefan Kowalewski:
Model checking C source code for embedded systems. Int. J. Softw. Tools Technol. Transf. 11(3): 187-202 (2009) - [c17]Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski:
Stack bounds analysis for microcontroller assembly code. WESS 2009 - [c16]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 - [c15]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 - [c14]Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich:
Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES 2009: 161-170 - [c13]Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp:
Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM 2009: 267-278 - [c12]Ralf Huuck, Gerwin Klein, Bastian Schlich:
Preface. SSV 2009: 1-3 - [c11]Jörg Brauer, Bastian Schlich, Stefan Kowalewski:
Parallel and Distributed Invariant Checking of Microcontroller Software. SSV 2009: 45-63 - [c10]Jörg Brauer, Ralf Huuck, Bastian Schlich:
Interprocedural Pointer Analysis in Goanna. SSV 2009: 65-83 - 2008
- [b1]Bastian Schlich:
Model checking of software for microcontrollers. RWTH Aachen University, 2008 - [c9]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 - [c8]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 - [c7]Ralf Huuck, Gerwin Klein, Bastian Schlich:
Preface. SSV 2008: 1-3 - [c6]Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll:
Proving Correctness of an Efficient Abstraction for Interrupt Handling. SSV 2008: 133-150 - [e2]Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008. Electronic Notes in Theoretical Computer Science 217, Elsevier 2008 [contents] - [e1]Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009. Electronic Notes in Theoretical Computer Science 254, Elsevier 2008 [contents] - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
