Jörg Brauer

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2018

Towards the Verification of Hybrid Co-simulation Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

Testing Avionics Software: Is FMI up to the Task?

[BibT_eX]

[DOI]

Oliver Möller

Jan Peleska

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.

[BibT_eX]

[DOI]

Jan Peleska

Wen-ling Huang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Model-Based Testing for Avionics Systems.

[BibT_eX]

[DOI]

Uwe Schulze

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.

[BibT_eX]

[DOI]

Stylianos Basagiannis

Andrey Sadovykh

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.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

Runtime verification of microcontroller binary code.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Runtime verification of embedded real-time systems.

[BibT_eX]

[DOI]

Thomas Reinbacher

Matthias Függer

Formal Methods Syst. Des., 2014

2013

Automatic abstraction for bit-vectors using decision procedures.

[BibT_eX]

[DOI]

PhD thesis, 2013

Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009.

[BibT_eX]

[DOI]

Anna Philippou

Int. J. Softw. Tools Technol. Transf., 2013

Abstract interpretation of microcontroller code: Intervals meet congruences.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

2012

Access-Based Localization for Octagons.

[BibT_eX]

[DOI]

Eva Beckschulze

Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012

Transfer Function Synthesis without Quantifier Elimination

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Loop Leaping with Closures.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 19th International Symposium, 2012

Real-Time Runtime Verification on Chip.

[BibT_eX]

[DOI]

Thomas Reinbacher

Matthias Függer

Proceedings of the Runtime Verification, Third International Conference, 2012

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools.

[BibT_eX]

[DOI]

Jan Peleska

Uwe Schulze

Proceedings of the Testing Software and Systems, 2012

Inferring Definite Counterexamples through Under-Approximation.

[BibT_eX]

[DOI]

Axel Simon

Proceedings of the NASA Formal Methods, 2012

Arcade.PLC: a verification platform for programmable logic controllers.

[BibT_eX]

[DOI]

Sebastian Biallas

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.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Model checking embedded software of an industrial knitting machine.

[BibT_eX]

[DOI]

Int. J. Inf. Technol. Commun. Convergence, 2011

Adaptable Value-Set Analysis for Low-Level Code.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Systems Software Verification, 2011

Automated Test-Trace Inspection for Microcontroller Binary Code.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

Approximate Quantifier Elimination for Propositional Boolean Formulae.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Precise control flow reconstruction using boolean logic.

[BibT_eX]

[DOI]

Thomas Reinbacher

Proceedings of the 11th International Conference on Embedded Software, 2011

Existential Quantification as Incremental SAT.

[BibT_eX]

[DOI]

Jael Kriener

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

On-The-Fly Path Reduction.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

Counterexample-Guided Abstraction Refinement for PLCs.

[BibT_eX]

[DOI]

Sebastian Biallas

Proceedings of the 5th International Workshop on Systems Software Verification, 2010

A system for synthesizing abstraction-enabled simulators for binary code verification.

[BibT_eX]

[DOI]

Dominique Gückel

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Interval analysis of microcontroller code using abstract interpretation of hardware and software.

[BibT_eX]

[DOI]

Thomas Noll

Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010

Automatic Abstraction for Intervals Using Boolean Formulae.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 17th International Symposium, 2010

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the FORMS/FORMAT 2010, 2010

Range Analysis of Microcontroller Code Using Bit-Level Congruences.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Synthesizing simulators for model checking microcontroller binary code.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Interprocedural Pointer Analysis in Goanna.

[BibT_eX]

[DOI]

Ralf Huuck