Christoph-Cordt von Egidy

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 2

Top Topics

Interprocess Communication

Real Time Embedded

Coloured Petri Nets

Top Venues

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

Publications

Junjie Shi, Christoph-Cordt von Egidy, Kuan-Hsun Chen, Jian-Jia Chen
Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Ulrich Thomas Gabor, Christoph-Cordt von Egidy, Olaf Spinczyk
Interface Injection with AspectC++ in Embedded Systems. HASE (2019)