Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers K Zandberg, E Baccelli, S Yuan, F Besson, JP Talpin Proceedings of the 23rd ACM/IFIP International Middleware Conference, 161-173, 2022 | 12 | 2022 |
End-to-end Mechanized Proof of an eBPF Virtual Machine for Micro-controllers S Yuan, F Besson, JP Talpin, S Hym, K Zandberg, E Baccelli International Conference on Computer Aided Verification, 293-316, 2022 | 6 | 2022 |
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study Z Yang, S Yuan, JP Bodeveix, M Filali, T Wang, Y Zhou Science of Computer Programming 207, 102644, 2021 | 5 | 2021 |
Verified functional programming of an IoT operating system's bootloader S Yuan, JP Talpin Proceedings of the 19th ACM-IEEE International Conference on Formal Methods …, 2021 | 3 | 2021 |
Automated Ada code generation from synchronous dataflow programs on multicore: Approach and industrial study S Yuan, Z Yang, JP Bodeveix, M Filali, T Wang, Y Zhou International Workshop on Formal Techniques for Safety-Critical Systems, 57-73, 2019 | 3 | 2019 |
Verified programming and secure integration of operating system libraries in Coq S Yuan Université de Rennes, 2023 | | 2023 |
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification S Yuan, B Lion, F Besson, JP Talpin International Symposium on Dependable Software Engineering: Theories, Tools …, 2023 | | 2023 |