Author:
Bonfante Guillaume,Marion Jean-Yves,Reynaud-Plantey Daniel
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Decidability of Disassembling Binaries;Lecture Notes in Computer Science;2024
2. SMODIC: A Model Checker for Self-modifying Code;Proceedings of the 17th International Conference on Availability, Reliability and Security;2022-08-23
3. LTL model checking of self modifying code;Formal Methods in System Design;2022-04
4. CTL Model Checking of Self Modifying Code;2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS);2020-10
5. Formal Semantics Extraction from Natural Language Specifications for ARM;Lecture Notes in Computer Science;2019