Jörg Brauer

According to our database1, Jörg Brauer authored at least 43 papers between 2008 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support.
Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2018
Towards the Verification of Hybrid Co-simulation Algorithms.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Testing Avionics Software: Is FMI up to the Task?
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Model-Based Testing for Avionics Systems.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2016
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project.
Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2015
Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler.
Proceedings of the Computer Safety, Reliability, and Security, 2015

2014
Runtime verification of microcontroller binary code.
Sci. Comput. Program., 2014

Runtime verification of embedded real-time systems.
Formal Methods Syst. Des., 2014

2013
Automatic abstraction for bit-vectors using decision procedures.
PhD thesis, 2013

Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009.
Int. J. Softw. Tools Technol. Transf., 2013

Abstract interpretation of microcontroller code: Intervals meet congruences.
Sci. Comput. Program., 2013

2012
Access-Based Localization for Octagons.
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012

Transfer Function Synthesis without Quantifier Elimination
Log. Methods Comput. Sci., 2012

Loop Leaping with Closures.
Proceedings of the Static Analysis - 19th International Symposium, 2012

Real-Time Runtime Verification on Chip.
Proceedings of the Runtime Verification, Third International Conference, 2012

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools.
Proceedings of the Testing Software and Systems, 2012

Inferring Definite Counterexamples through Under-Approximation.
Proceedings of the NASA Formal Methods, 2012

Arcade.PLC: a verification platform for programmable logic controllers.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2011
Application of static analyses for state-space reduction to the microcontroller binary code.
Sci. Comput. Program., 2011

Model checking embedded software of an industrial knitting machine.
Int. J. Inf. Technol. Commun. Convergence, 2011

Adaptable Value-Set Analysis for Low-Level Code.
Proceedings of the 6th International Workshop on Systems Software Verification, 2011

Automated Test-Trace Inspection for Microcontroller Binary Code.
Proceedings of the Runtime Verification - Second International Conference, 2011

Approximate Quantifier Elimination for Propositional Boolean Formulae.
Proceedings of the NASA Formal Methods, 2011

Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

Past Time LTL Runtime Verification for Microcontroller Binary Code.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Precise control flow reconstruction using boolean logic.
Proceedings of the 11th International Conference on Embedded Software, 2011

Existential Quantification as Incremental SAT.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
On-The-Fly Path Reduction.
Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

Counterexample-Guided Abstraction Refinement for PLCs.
Proceedings of the 5th International Workshop on Systems Software Verification, 2010

A system for synthesizing abstraction-enabled simulators for binary code verification.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Interval analysis of microcontroller code using abstract interpretation of hardware and software.
Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010

Automatic Abstraction for Intervals Using Boolean Formulae.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation.
Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010

Automatically Deriving Symbolic Invariants for PLC Programs Written in IL.
Proceedings of the FORMS/FORMAT 2010, 2010

Range Analysis of Microcontroller Code Using Bit-Level Congruences.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Synthesizing simulators for model checking microcontroller binary code.
Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

2009
Parallel and Distributed Invariant Checking of Microcontroller Software.
Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Interprocedural Pointer Analysis in Goanna.
Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Refining assembly code static analysis for the Intel MCS-51 microcontroller.
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Reduction of Interrupt Handler Executions for Model Checking Embedded Software.
Proceedings of the Hardware and Software: Verification and Testing, 2009

Stack bounds analysis for microcontroller assembly code.
Proceedings of the 4th Workshop on Embedded Systems Security, 2009

2008
Goanna: Syntactic Software Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2008


  Loading...