dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jörg Brauer (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastian 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)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski: Synthesizing simulators for model checking microcontroller binary code. DDECS 2010: 313-316
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich: Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT 2010: 237-245
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Brauer, Thomas Noll, Bastian Schlich: Interval analysis of microcontroller code using abstract interpretation of hardware and software. SCOPES 2010: 3
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy: Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Haifa Verification Conference 2009: 5-20
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich: Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES 2009: 161-170
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski: Stack bounds analysis for microcontroller assembly code. WESS 2009
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Brauer, Bastian Schlich, Stefan Kowalewski: Parallel and Distributed Invariant Checking of Microcontroller Software. Electr. Notes Theor. Comput. Sci. 254: 45-63 (2009)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Brauer, Ralf Huuck, Bastian Schlich: Interprocedural Pointer Analysis in Goanna. Electr. Notes Theor. Comput. Sci. 254: 65-83 (2009)

Selection of 10 from 27 records - Jörg Brauer has 22 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page