| emsoft | participants

Kuan-Hsun Chen

EMSOFT 2023: 23rd International Conference on Embedded Software

Probabilistic Reaction Time Analysis

Mario Günzel, Niklas Ueter, Kuan-Hsun Chen, Georg von der Brüggen, and Jian-Jia Chen

EMSOFT 2022: 22nd International Conference on Embedded Software

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

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

EMSOFT 2021: 21st International Conference on Embedded Software

HEART: Hybrid Memory and Energy-Aware Real-Time Scheduling for Multi-Processor Systems

Mario Günzel, Christian Hakert, Kuan-Hsun Chen, and Jian-Jia Chen