| 2018 | FM | Model-Based Testing for Avionics Systems. | Jrg Brauer, Uwe Schulze |
| 2018 | ISoLA | Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. | Jan Peleska, Jrg Brauer, Wen-ling Huang |
| 2018 | ISoLA | Testing Avionics Software: Is FMI up to the Task? | Jrg Brauer, Oliver Mller, Jan Peleska |
| 2015 | SAFECOMP | Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. | Jrg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska |
| 2012 | RV | Real-Time Runtime Verification on Chip. | Thomas Reinbacher, Matthias Fgger, Jrg Brauer |
| 2012 | SAS | Loop Leaping with Closures. | Sebastian Biallas, Jrg Brauer, Andy King, Stefan Kowalewski |
| 2011 | CAV | Existential Quantification as Incremental SAT. | Jrg Brauer, Andy King, Jael Kriener |
| 2011 | EMSOFT | Precise control flow reconstruction using boolean logic. | Thomas Reinbacher, Jrg Brauer |
| 2011 | ESOP | Transfer Function Synthesis without Quantifier Elimination. | Jrg Brauer, Andy King |
| 2011 | FMICS | Past Time LTL Runtime Verification for Microcontroller Binary Code. | Thomas Reinbacher, Jrg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski |
| 2011 | ISORC | Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations. | Eva Beckschulze, Jrg Brauer, Andr Stollenwerk, Stefan Kowalewski |
| 2011 | RV | Automated Test-Trace Inspection for Microcontroller Binary Code. | Thomas Reinbacher, Jrg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski |
| 2010 | DDECS | Synthesizing simulators for model checking microcontroller binary code. | Dominique Gckel, Bastian Schlich, Jrg Brauer, Stefan Kowalewski |
| 2010 | FMICS | Range Analysis of Microcontroller Code Using Bit-Level Congruences. | Jrg Brauer, Andy King, Stefan Kowalewski |
| 2010 | SAS | Automatic Abstraction for Intervals Using Boolean Formulae. | Jrg Brauer, Andy King |
| 2010 | SCOPES | Interval analysis of microcontroller code using abstract interpretation of hardware and software. | Jrg Brauer, Thomas Noll, Bastian Schlich |
| 2009 | CASES | Stack bounds analysis for microcontroller assembly code. | Jrg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski |
| 2008 | ATVA | Goanna: Syntactic Software Model Checking. | Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jrg Brauer |