| A formally verified compiler for Lustre T Bourke, L Brun, PÉ Dagand, X Leroy, M Pouzet, L Rieg Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 116 | 2017 |
| Mechanized semantics and verified compilation for a dataflow synchronous language with reset T Bourke, L Brun, M Pouzet Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019 | 37 | 2019 |
| Towards a verified Lustre compiler with modular reset T Bourke, L Brun, M Pouzet Proceedings of the 21st International Workshop on Software and Compilers for …, 2018 | 8 | 2018 |
| Mechanized semantics and verified compilation for a dataflow synchronous language with reset L Brun Université Paris sciences et lettres, 2020 | 7 | 2020 |
| Equation-directed axiomatization of lustre semantics to enable optimized code validation L Brun, C Garion, PL Garoche, X Thirioux ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023 | 3 | 2023 |
| Automated Security Analysis for Real-World IoT Devices L Brun, I Hasuo, Y Ono, T Sekiyama Proceedings of the 12th International Workshop on Hardware and Architectural …, 2023 | 2 | 2023 |
| Faites-vous confiance à votre thermostat? L Brun Interstices, 2022 | | 2022 |
Pierre-Evariste DagandCNRS在 evr.ist 的电子邮件经过验证
