Author:
Chattopadhyay Sudipta,Roychoudhury Abhik
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Guaranteeing Timed Opacity using Parametric Timed Model Checking;ACM Transactions on Software Engineering and Methodology;2022-09-08
2. Model Checking for AlphaCode-Generated Programs;2022 7th International Conference on Intelligent Computing and Signal Processing (ICSP);2022-04-15
3. Precise, efficient, and context-sensitive cache analysis;Real-Time Systems;2021-06-24
4. Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets;Proceedings of the 28th International Conference on Real-Time Networks and Systems;2020-06-09
5. Parametric Timed Model Checking for Guaranteeing Timed Opacity;Automated Technology for Verification and Analysis;2019