OPUS 4 | Search

Sort by

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

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

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

Reinbacher, Thomas ; Horauer, Martin ; Schlich, Bastian

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

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

Stack Bounds Analysis for Microcontroller Assembly Code (2009)

Brauer, Jörg ; Reinbacher, Thomas ; Schlich, Bastian ; Kowalewski, Stefan

Open Access