Jörg Brauer (Selection)

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

15		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)
14		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)
13		Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski: Synthesizing simulators for model checking microcontroller binary code. DDECS 2010: 313-316
11		Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich: Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT 2010: 237-245
8		Jörg Brauer, Thomas Noll, Bastian Schlich: Interval analysis of microcontroller code using abstract interpretation of hardware and software. SCOPES 2010: 3
6		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
5		Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich: Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES 2009: 161-170
4		Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski: Stack bounds analysis for microcontroller assembly code. WESS 2009
3		Jörg Brauer, Bastian Schlich, Stefan Kowalewski: Parallel and Distributed Invariant Checking of Microcontroller Software. Electr. Notes Theor. Comput. Sci. 254: 45-63 (2009)
2		Jö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 Team — Content released under the ODC-BY 1.0 license — See also our legal information page