Jörg Brauer

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