Author:
Bertrane Julien,Cousot Patrick,Cousot Radhia,Feret Jérôme,Mauborgne Laurent,Miné Antoine,Rival Xavier
Subject
Computer Science Applications,Theoretical Computer Science,Software
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Monotonicity and the Precision of Program Analysis;Proceedings of the ACM on Programming Languages;2024-01-05
2. When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C;Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2023-06-06
3. Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software;Intelligent Systems Reference Library;2023
4. Modeling Methodology for Autonomous Cyber-Physical Systems;2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS);2022-05
5. Selective path-sensitive interval analysis (WIP paper);Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2021-06-22