Author:
Hermanns Holger,Wachter Björn,Zhang Lijun
Publisher
Springer Berlin Heidelberg
Cited by
74 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Newtonian Program Analysis of Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-04-29
2. Daedalux: An Extensible Platform for Variability-Aware Model Checking;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14
3. Towards Abstraction-based Probabilistic Program Analysis;Acta Cybernetica;2023-06-02
4. Decomposing software verification into off-the-shelf components;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
5. A three-valued model abstraction framework for PCTL* stochastic model checking;Automated Software Engineering;2022-03-02