Eva Beckschulze

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Static Analysis

Localization Algorithm

Test Generation

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Eva Beckschulze, Stefan Kowalewski, Jörg Brauer
Access-Based Localization for Octagons. Electron. Notes Theor. Comput. Sci. 287 (2012)
Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski
Static Analysis of Lockless Microcontroller C Programs SSV (2012)
Eva Beckschulze, Jörg Brauer, André Stollenwerk, Stefan Kowalewski
Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations. ISORC Workshops (2011)
Ashraf Armoush, Eva Beckschulze, Stefan Kowalewski
Safety Assessment of Design Patterns for Safety-Critical Embedded Systems. EUROMICRO-SEAA (2009)
Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski
Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. ISoLA (2008)