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

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

Reduction of Interrupt Handler Executions for Model Checking Embedded Software. - Bastian Schlich; Thomas Noll 001; Jörg Brauer; Lucas Brutschy (Haifa Verification Conference, 2009)

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

Interprocedural Pointer Analysis in Goanna. - Jörg Brauer; Ralf Huuck; Bastian Schlich (SSV, 2009)

Parallel and Distributed Invariant Checking of Microcontroller Software. - Jörg Brauer; Bastian Schlich; Stefan Kowalewski (SSV, 2009)

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

Range Analysis of Microcontroller Code Using Bit-Level Congruences. - Jörg Brauer; Andy King; Stefan Kowalewski (FMICS, 2010)

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

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

Automatic Abstraction for Intervals Using Boolean Formulae. - Jörg Brauer; Andy King (SAS, 2010)

Interval analysis of microcontroller code using abstract interpretation of hardware and software. - Jörg Brauer; Thomas Noll 001; Bastian Schlich (SCOPES, 2010)

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

Counterexample-Guided Abstraction Refinement for PLCs. - Sebastian Biallas; Jörg Brauer; Stefan Kowalewski (SSV, 2010)

On-The-Fly Path Reduction. - Sebastian Biallas; Jörg Brauer; Dominique Gückel; Stefan Kowalewski (TTSS, 2010)

Existential Quantification as Incremental SAT. - Jörg Brauer; Andy King; Jael Kriener (CAV, 2011)

Precise control flow reconstruction using boolean logic. - Thomas Reinbacher; Jörg Brauer (EMSOFT, 2011)

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

Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations. - Eva Beckschulze; Jörg Brauer; André Stollenwerk; Stefan Kowalewski (ISORC Workshops, 2011)

Approximate Quantifier Elimination for Propositional Boolean Formulae. - Jörg Brauer; Andy King (NASA Formal Methods, 2011)

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

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

Model checking embedded software of an industrial knitting machine. - Thomas Reinbacher; Martin Horauer; Bastian Schlich; Jörg Brauer; Florian Scheuer (Int. J. Inf. Technol. Commun. Convergence, 2011)

Application of static analyses for state-space reduction to the microcontroller binary code. - Bastian Schlich; Jörg Brauer; Stefan Kowalewski (Sci. Comput. Program., 2011)

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

Inferring Definite Counterexamples through Under-Approximation. - Jörg Brauer; Axel Simon (NASA Formal Methods, 2012)

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. - Jörg Brauer; Jan Peleska 001; Uwe Schulze (ICTSS, 2012)

Real-Time Runtime Verification on Chip. - Thomas Reinbacher; Matthias Függer; Jörg Brauer (RV, 2012)

Loop Leaping with Closures. - Sebastian Biallas; Jörg Brauer; Andy King; Stefan Kowalewski (SAS, 2012)

Transfer Function Synthesis without Quantifier Elimination - Jörg Brauer; Andy King (Log. Methods Comput. Sci., 2012)

Access-Based Localization for Octagons. - Eva Beckschulze; Stefan Kowalewski; Jörg Brauer (NSAD@SAS, 2012)

Abstract interpretation of microcontroller code: Intervals meet congruences. - Jörg Brauer; Andy King; Stefan Kowalewski (Sci. Comput. Program., 2013)

Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009. - Stefan Kowalewski; Anna Philippou; Jörg Brauer (Int. J. Softw. Tools Technol. Transf., 2013)

Automatic abstraction for bit-vectors using decision procedures. - Jörg Brauer (2013)

Runtime verification of embedded real-time systems. - Thomas Reinbacher; Matthias Függer; Jörg Brauer (Formal Methods Syst. Des., 2014)

Runtime verification of microcontroller binary code. - Thomas Reinbacher; Jörg Brauer; Martin Horauer; Andreas Steininger; Stefan Kowalewski (Sci. Comput. Program., 2014)

Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. - Jörg Brauer; Markus Dahlweid; Tobias Pankrath; Jan Peleska 001 (SAFECOMP, 2015)

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Peter Fritzson; Jörg Brauer; Christian Kleijn; Thierry Lecomte; Markus Pfeil; Ole Green; Stylianos Basagiannis; Andrey Sadovykh (CPS Data, 2016)

Model-Based Testing for Avionics Systems. - Jörg Brauer; Uwe Schulze (FM, 2018)

Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. - Jan Peleska 001; Jörg Brauer; Wen-ling Huang (ISoLA (4), 2018)

Testing Avionics Software: Is FMI up to the Task? - Jörg Brauer; Oliver Möller; Jan Peleska 001 (ISoLA (3), 2018)

Towards the Verification of Hybrid Co-simulation Algorithms. - Casper Thule; Cláudio Gomes 001; Julien Deantoni; Peter Gorm Larsen; Jörg Brauer; Hans Vangheluwe (STAF Workshops, 2018)

Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support. - Jörg Brauer (Applicable Formal Methods for Safe Industrial Products, 2023)