Author:
Annichini Aurore,Bouajjani Ahmed,Sighireanu Mihaela
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lect Notes Comput Sci;P.A. Abdulla,1998
2. Lect Notes Comput Sci;A. Annichini,2000
3. Lect Notes Comput Sci;S. Bensalem,1998
4. Lect Notes Comput Sci;A. Bouajjani,2000
5. Lect Notes Comput Sci;M. Bozga,2000
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Warping cache simulation of polyhedral programs;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. Flat Petri Nets (Invited Talk);Application and Theory of Petri Nets and Concurrency;2021
3. A Computationally Efficient Approach for Stochastic Reachability Set Analysis;AIAA Scitech 2020 Forum;2020-01-05
4. Liveness of Randomised Parameterised Systems under Arbitrary Schedulers;Computer Aided Verification;2016
5. Enhanced Distributed Behavioral Cartography of Parametric Timed Automata;Formal Methods and Software Engineering;2015