Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bastian Schlich" ( http://dblp.L3S.de/Authors/Bastian_Schlich )

URL (Homepage):  http://embedded.rwth-aachen.de/doku.php?id=lehrstuhl:mitarbeiter:schlich  Author page on DBLP  Author page in RDF  Community of Bastian Schlich in ASPL-2

Publication years (Num. hits)
2006-2009 (20) 2010-2011 (7)
Publication types (Num. hits)
article(9) inproceedings(17) phdthesis(1)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(5) SIES(3) DDECS(2) Haifa Verification Conference(2) ABZ(1) ACM Trans. Embedded Comput. Sy...(1) FMICS(1) FORMS/FORMAT(1) GI Jahrestagung(1) ICSE(1) ISoLA(1) ISSRE(1) J. Autom. Reasoning(1) Sci. Comput. Program.(1) SCOPES(1) SOFSEM(1) More (+10 of total 18)
Authors
Bastian Schlich(27) Stefan Kowalewski(11) Jörg Brauer(9) Ralf Huuck(5) Thomas Noll(4) Thomas Reinbacher(4) Gerwin Klein(3) Martin Horauer(3) Carlos G. Bilich(2) Heiko Koziolek(2) Anne Koziolek(1) Ansgar Fehnker(1) Carsten Weise(1) Daniel Klünder(1) Dominique Gückel(1) Falk Salewski(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 8 keywords
Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Bastian Schlich, Jörg Brauer, Stefan Kowalewski Application of static analyses for state-space reduction to the microcontroller binary code. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Heiko 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. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bastian Schlich Model checking of software for microcontrollers. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Thomas Noll, Bastian Schlich Interval analysis of microcontroller code using abstract interpretation of hardware and software. Search on Bibsonomy SCOPES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski Synthesizing simulators for model checking microcontroller binary code. Search on Bibsonomy DDECS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Heiko Koziolek, Bastian Schlich, Carlos G. Bilich A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis. Search on Bibsonomy ISSRE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Bastian Schlich, Stefan Kowalewski Parallel and Distributed Invariant Checking of Microcontroller Software. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ralf Huuck, Gerwin Klein, Bastian Schlich Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Ralf Huuck, Bastian Schlich Interprocedural Pointer Analysis in Goanna. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gerwin Klein, Ralf Huuck, Bastian Schlich Operating System Verification. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bastian Schlich, Stefan Kowalewski Model checking C source code for embedded systems. Search on Bibsonomy STTT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Model checking, Embedded systems, Microcontroller, Assembly code, C code
1Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski Stack bounds analysis for microcontroller assembly code. Search on Bibsonomy WESS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, verification, static analysis, embedded software, assembly code
1Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich Refining assembly code static analysis for the Intel MCS-51 microcontroller. Search on Bibsonomy SIES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Reinbacher, Martin Horauer, Bastian Schlich Using 3-valued memory representation for state space reduction in embedded assembly code model checking. Search on Bibsonomy DDECS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp Automatic Bug Detection in Microcontroller Software by Static Program Analysis. Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bastian Schlich Model checking of software for microcontrollers. Search on Bibsonomy 2008   RDF
1Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll Proving Correctness of an Efficient Abstraction for Interrupt Handling. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ralf Huuck, Gerwin Klein, Bastian Schlich Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich Challenges in embedded model checking - a simulator for the [mc]square model checker. Search on Bibsonomy SIES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bastian Schlich, Jann Löll, Stefan Kowalewski Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bastian Schlich, Falk Salewski, Stefan Kowalewski Applying Model Checking to an Automotive Microcontroller Application. Search on Bibsonomy SIES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Noll, Bastian Schlich Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jacob Palczynski, Bastian Schlich, Stefan Kowalewski Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. Search on Bibsonomy GI Jahrestagung The full citation details ... 2006 DBLP  BibTeX  RDF
1Bastian Schlich, Stefan Kowalewski [mc]square: A Model Checker for Microcontroller Code. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.