OPUS 4 | Search

Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller (2009)

Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Schlich, Bastian

Runtime verification of microcontroller binary code (2014)

Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan

Past Time LTL Runtime Verification for Microcontroller Binary Code (2011)

Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan

Hardware Support for Efficient Testing of Embedded Software (2011)

Reinbacher, Thomas ; Steininger, Andreas ; Müller, Tobias ; Horauer, Martin ; Brauer, Jörg

Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking (2009)

Reinbacher, Thomas ; Horauer, Martin ; Schlich, Bastian

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation (2010)

Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan

Model Checking Embedded Software of an Industrial Knitting Machine (2011)

Reinbacher, Thomas ; Horauer, Martin ; Schlich, Bastian ; Brauer, Jörg ; Scheuer, Florian

Testing Microcontroller Software Simulators (2011)

Reinbacher, Thomas ; Gückel, Dominique ; Horauer, Martin

Formale Verifikation von Embedded Systems Software (2010)

Reinbacher, Thomas ; Horauer, Martin

Model Checking Assembly Code of an Industrial Knitting Machine (2009)

Reinbacher, Thomas ; Horauer, Martin ; Schlich, Bastian ; Bauer, Jörg ; Scheuer, Florian

Open Access