Jörg Brauer

Jörg Brauer, Andy King: Transfer Function Synthesis without Quantifier Elimination. Logical Methods in Computer Science 8(3) (2012)

Eva Beckschulze, Stefan Kowalewski, Jörg Brauer: Access-Based Localization for Octagons. Electr. Notes Theor. Comput. Sci. 287: 29-40 (2012)

Sebastian Biallas, Jörg Brauer, Stefan Kowalewski: Arcade.PLC: a verification platform for programmable logic controllers. ASE 2012: 338-341

Jörg Brauer, Axel Simon: Inferring Definite Counterexamples through Under-Approximation. NASA Formal Methods 2012: 54-69

Jörg Brauer, Jan Peleska, Uwe Schulze: Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. ICTSS 2012: 8-23

Thomas Reinbacher, Matthias Függer, Jörg Brauer: Real-Time Runtime Verification on Chip. RV 2012: 110-125

Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski: Loop Leaping with Closures. SAS 2012: 214-230

Jörg Brauer, Marco Roveri, Hendrik Tews (Eds.): 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands. OASICS 24, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, isbn 978-3-939897-36-1

Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski: On-The-Fly Path Reduction. Electr. Notes Theor. Comput. Sci. 274: 3-16 (2011)

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)

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)

Jörg Brauer, Andy King, Jael Kriener: Existential Quantification as Incremental SAT. CAV 2011: 191-207

Thomas Reinbacher, Jörg Brauer: Precise control flow reconstruction using boolean logic. EMSOFT 2011: 117-126

Jörg Brauer, Andy King: Transfer Function Synthesis without Quantifier Elimination. ESOP 2011: 97-115

Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski: Past Time LTL Runtime Verification for Microcontroller Binary Code. FMICS 2011: 37-51

Jörg Brauer, Andy King: Approximate Quantifier Elimination for Propositional Boolean Formulae. NASA Formal Methods 2011: 73-88

Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski: Automated Test-Trace Inspection for Microcontroller Binary Code. RV 2011: 239-244

Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen: Adaptable Value-Set Analysis for Low-Level Code. SSV 2011: 32-43

Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski: Synthesizing simulators for model checking microcontroller binary code. DDECS 2010: 313-316

Jörg Brauer, Andy King, Stefan Kowalewski: Range Analysis of Microcontroller Code Using Bit-Level Congruences. FMICS 2010: 82-98

Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich: Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT 2010: 237-245

Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski: Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. MEMICS 2010: 101-108

Jörg Brauer, Andy King: Automatic Abstraction for Intervals Using Boolean Formulae. SAS 2010: 167-183

Jörg Brauer, Thomas Noll, Bastian Schlich: Interval analysis of microcontroller code using abstract interpretation of hardware and software. SCOPES 2010: 3

Dominique Gückel, Jörg Brauer, Stefan Kowalewski: A system for synthesizing abstraction-enabled simulators for binary code verification. SIES 2010: 118-127

Jörg Brauer, Bastian Schlich, Stefan Kowalewski: Parallel and Distributed Invariant Checking of Microcontroller Software. Electr. Notes Theor. Comput. Sci. 254: 45-63 (2009)

Jörg Brauer, Ralf Huuck, Bastian Schlich: Interprocedural Pointer Analysis in Goanna. Electr. Notes Theor. Comput. Sci. 254: 65-83 (2009)

Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski: Stack bounds analysis for microcontroller assembly code. WESS 2009

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

Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich: Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES 2009: 161-170

Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer: Goanna: Syntactic Software Model Checking. ATVA 2008: 216-221