Eva Beckschulze

According to our database, Eva Beckschulze authored at least 5 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Access-Based Localization for Octagons.

Eva Beckschulze, Stefan Kowalewski, Jörg Brauer

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

Static Analysis of Lockless Microcontroller C Programs

Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2011

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

Eva Beckschulze, Jörg Brauer, André Stollenwerk, Stefan Kowalewski

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

2009

Safety Assessment of Design Patterns for Safety-Critical Embedded Systems.

Ashraf Armoush, Eva Beckschulze, Stefan Kowalewski

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008

Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications.

Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski

Proceedings of the Leveraging Applications of Formal Methods, 2008