Author:
Adjé Assalé,Garoche Pierre-Loïc
Subject
Computer Networks and Communications,Software
Reference29 articles.
1. Adjé A, Garoche P-L. Automatic synthesis of piecewise linear quadratic invariants for programs. In: D׳Souza D, Lal A, Guldstrand Larsen K, editors. Verification, model checking, and abstract interpretation—16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings, Lecture notes in computer science, vol. 8931. Springer; 2015. p. 99–116.
2. Allamigeon X. Static analysis of memory manipulations by abstract interpretation—algorithmics of tropical polyhedra, and application to abstract interpretation [Ph.D. thesis]. École Polytechnique, Palaiseau, France; November 2009.
3. Deciding stability and mortality of piecewise affine dynamical systems;Blondel;Theoret Comput Sci A,2001
4. Bertrane J, Cousot P, Cousot R, Feret J, Mauborgne L, Min A, et al. Static analysis by abstract interpretation of embedded critical software. In: ACM SIGSOFT Software Engineering Notes, vol. 36, no. 1; 2011. p. 1–8.
5. Biswas P, Grieder P, Löfberg J, Morari M. A survey on stability analysis of discrete-time piecewise affine systems. In: IFAC world congress. Prague, Czech Republic; July 2005.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献