Christoph-Cordt von Egidy

According to our database, Christoph-Cordt von Egidy authored at least 2 papers between 2019 and 2022.

Collaborative distances:

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

2022

Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS.

Junjie Shi, Christoph-Cordt von Egidy, Kuan-Hsun Chen, Jian-Jia Chen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

2019

Interface Injection with AspectC++ in Embedded Systems.

Ulrich Thomas Gabor, Christoph-Cordt von Egidy, Olaf Spinczyk

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019