Jörg Brauer

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 7

Top Venues

Sci. Comput. Program.

CPS Data

Applicable Formal Methods for Safe Industrial Products

Int. J. Softw. Tools Technol. Transf.

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Jörg Brauer
Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support. Applicable Formal Methods for Safe Industrial Products (2023)
Jörg Brauer, Oliver Möller, Jan Peleska
Testing Avionics Software: Is FMI up to the Task? ISoLA (3) (2018)
Jan Peleska, Jörg Brauer, Wen-ling Huang
Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. ISoLA (4) (2018)
Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe
Towards the Verification of Hybrid Co-simulation Algorithms. STAF Workshops (2018)
Jörg Brauer, Uwe Schulze
Model-Based Testing for Avionics Systems. FM (2018)
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. CPS Data (2016)
Jörg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska
Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. SAFECOMP (2015)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Runtime verification of microcontroller binary code. Sci. Comput. Program. 80 (2014)
Thomas Reinbacher, Matthias Függer, Jörg Brauer
Runtime verification of embedded real-time systems. Formal Methods Syst. Des. 44 (3) (2014)
Jörg Brauer, Andy King, Stefan Kowalewski
Abstract interpretation of microcontroller code: Intervals meet congruences. Sci. Comput. Program. 78 (7) (2013)
Stefan Kowalewski, Anna Philippou, Jörg Brauer
Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009. Int. J. Softw. Tools Technol. Transf. 15 (4) (2013)
Eva Beckschulze, Stefan Kowalewski, Jörg Brauer
Access-Based Localization for Octagons. Electron. Notes Theor. Comput. Sci. 287 (2012)
Jörg Brauer, Andy King
Transfer Function Synthesis without Quantifier Elimination Log. Methods Comput. Sci. 8 (3) (2012)
Sebastian Biallas, Jörg Brauer, Stefan Kowalewski
Arcade.PLC: a verification platform for programmable logic controllers. ASE (2012)
Jörg Brauer, Jan Peleska, Uwe Schulze
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. ICTSS (2012)
Jörg Brauer, Axel Simon
Inferring Definite Counterexamples through Under-Approximation. NASA Formal Methods (2012)
Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski
Loop Leaping with Closures. SAS (2012)
Thomas Reinbacher, Matthias Függer, Jörg Brauer
Real-Time Runtime Verification on Chip. RV (2012)
Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski
Automated Test-Trace Inspection for Microcontroller Binary Code. RV (2011)
Jörg Brauer, Andy King
Transfer Function Synthesis without Quantifier Elimination. ESOP (2011)
Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen
Adaptable Value-Set Analysis for Low-Level Code. SSV (2011)
Jörg Brauer, Andy King
Approximate Quantifier Elimination for Propositional Boolean Formulae. NASA Formal Methods (2011)
Jörg Brauer, Andy King, Jael Kriener
Existential Quantification as Incremental SAT. CAV (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) (2011)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Past Time LTL Runtime Verification for Microcontroller Binary Code. FMICS (2011)
Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Brauer, Florian Scheuer
Model checking embedded software of an industrial knitting machine. Int. J. Inf. Technol. Commun. Convergence 1 (2) (2011)
Eva Beckschulze, Jörg Brauer, André Stollenwerk, Stefan Kowalewski
Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations. ISORC Workshops (2011)
Thomas Reinbacher, Jörg Brauer
Precise control flow reconstruction using boolean logic. EMSOFT (2011)
Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski
On-The-Fly Path Reduction. Electron. Notes Theor. Comput. Sci. 274 (2011)
Sebastian Biallas, Jörg Brauer, Stefan Kowalewski
Counterexample-Guided Abstraction Refinement for PLCs. SSV (2010)
Dominique Gückel, Jörg Brauer, Stefan Kowalewski
A system for synthesizing abstraction-enabled simulators for binary code verification. SIES (2010)
Jörg Brauer, Thomas Noll, Bastian Schlich
Interval analysis of microcontroller code using abstract interpretation of hardware and software. SCOPES (2010)
Jörg Brauer, Andy King, Stefan Kowalewski
Range Analysis of Microcontroller Code Using Bit-Level Congruences. FMICS (2010)
Jörg Brauer, Andy King
Automatic Abstraction for Intervals Using Boolean Formulae. SAS (2010)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. MEMICS (2010)
Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT (2010)
Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski
Synthesizing simulators for model checking microcontroller binary code. DDECS (2010)
Jörg Brauer, Bastian Schlich, Stefan Kowalewski
Parallel and Distributed Invariant Checking of Microcontroller Software. Electron. Notes Theor. Comput. Sci. 254 (2009)
Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy
Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Haifa Verification Conference (2009)
Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski
Stack bounds analysis for microcontroller assembly code. WESS (2009)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich
Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES (2009)
Jörg Brauer, Ralf Huuck, Bastian Schlich
Interprocedural Pointer Analysis in Goanna. Electron. Notes Theor. Comput. Sci. 254 (2009)
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer
Goanna: Syntactic Software Model Checking. ATVA (2008)

Jörg Brauer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jörg Brauer