Author:
Ouni Hiba,Klai Kais,Abid Chiheb Ameur,Zouari Belhassen
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Reduced Distributed Sate Space for Modular Petri Nets;Advanced Information Networking and Applications;2023
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
5. Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph;2019 19th International Conference on Application of Concurrency to System Design (ACSD);2019-06