Author:
Gurung Amit,Ray Rajarshi,Bartocci Ezio,Bogomolov Sergiy,Grosu Radu
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference49 articles.
1. Althoff, M., Grebenyuk, D.: Implementation of interval arithmetic in CORA 2016. In: Proceedings of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, pp 91–105 (2016)
2. Antoulas, A.C., Sorensen, D.C., Gugercin, S.: A survey of model reduction methods for large-scale systems. Contemp. Math. 280, 193–219 (2001)
3. Asarin, E., Dang, T., Maler, O.: The d/dt tool for verification of hybrid systems. In: CAV, pp 365–370 (2002)
4. Bak, S., Bogomolov, S., Johnson, T.T.: HYST: a source transformation and translation tool for hybrid automaton models. In: Proceedings of HSCC’15, ACM, pp 128–133 (2015)
5. Barnat, J., Brim, L., Rockai, P.: Divine multi-core—a parallel LTL model-checker. In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings, Springer, Lecture Notes in Computer Science, vol 5311, pp 234–239. https://doi.org/10.1007/978-3-540-88387-6 (2008)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallel and Incremental Verification of Hybrid Automata with Ray and Verse;Automated Technology for Verification and Analysis;2023
2. NeuReach: Learning Reachability Functions from Simulations;Tools and Algorithms for the Construction and Analysis of Systems;2022
3. Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques;Lecture Notes in Computer Science;2022
4. Parallel simulation of cyber-physical systems;Innovations in Systems and Software Engineering;2021-04-01
5. Parallel Simulation of Cyber-Physical-Systems;Advanced Computing and Systems for Security: Volume 14;2021