Author:
Barnat Jiri,Brim Lubos,Rockai Petr
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking;Lecture Notes in Computer Science;2024
2. Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation;Lecture Notes in Computer Science;2022
3. 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
4. Menhir: Generic High-Speed FPGA Model-Checker;2020 23rd Euromicro Conference on Digital System Design (DSD);2020-08
5. Modelling and Verifying Dynamic Access Control Policies in Workflow-Based Healthcare Systems;Jurnal Kejuruteraan;2020-02-28