Author:
Ouni Hiba,Klai Kais,Abid Chiheb Ameur,Zouari Belhassen
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Consistency Checking for Refactoring from Coarse-Grained Locks to Fine-Grained Locks;International Journal of Software Engineering and Knowledge Engineering;2024-06-05
2. Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation;Lecture Notes in Computer Science;2022
3. Handling State Space Explosion in Component-Based Software Verification: A Review;IEEE Access;2021
4. SOG-Based Multi-Core LTL Model Checking;2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2020-12