Author:
Mediouni Braham Lotfi,Nouri Ayoub,Bozga Marius,Bensalem Saddek
Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning State Machines to Monitor and Detect Anomalies on a Kubernetes Cluster;Proceedings of the 17th International Conference on Availability, Reliability and Security;2022-08-23
2. Automata Learning Meets Shielding;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
3. From Passive to Active: Learning Timed Automata Efficiently;Lecture Notes in Computer Science;2020
4. PAC Learning of Deterministic One-Clock Timed Automata;Formal Methods and Software Engineering;2020
5. Accelerated Learning of Predictive Runtime Monitors for Rare Failure;Runtime Verification;2019