Author:
Becchi Anna,Zaffanella Enea
Publisher
Springer International Publishing
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Speeding up static analysis with the split operator;International Journal on Software Tools for Technology Transfer;2024-08-27
2. P-stable abstractions of hybrid systems;Software and Systems Modeling;2024-01-29
3. Speeding up Static Analysis with the Split Operator;Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2023-06-06
4. Unconstrained Variable Oracles for Faster Numeric Static Analyses;Static Analysis;2023
5. Data assimilation with agent-based models using Markov chain sampling;Open Research Europe;2022-05-31