Jörg Brauer

Available identifiers

zbMath Open brauer.jorgMaRDI QIDQ479805

List of research outcomes

Publication	Date of Publication	Type
Automatic abstraction for bit-vectors using decision procedures	2015-04-28	Paper
Runtime verification of embedded real-time systems	2014-12-05	Paper
Access-based localization for octagons	2014-07-22	Paper
Abstract interpretation of microcontroller code: intervals meet congruences	2014-04-02	Paper
Transfer function synthesis without quantifier elimination	2012-09-25	Paper
Transfer function synthesis without quantifier elimination	2011-05-19	Paper
Application of static analyses for state-space reduction to the microcontroller binary code	2011-01-14	Paper
Automatic abstraction for intervals using Boolean formulae	2010-10-01	Paper

Research outcomes over time

This page was built for person: Jörg Brauer