[1] Ahmed Bouajjani and Oded Maler, editors. Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, volume 5643 of Lecture Notes in Computer Science. Springer, 2009. [ bib ]
[2] Khalil Ghorbal, Eric Goubault, and Sylvie Putot. The zonotope abstract domain taylor1+. In Bouajjani and Maler [1], pages 627-633. [ bib | .pdf ]
[3] Olivier Bouissou, Eric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Khalil Ghorbal, Eric Goubault, David Lesens, Laurent Mauborgne, Antoine Miné, Sylvie Putot, Xavier Rival, and Michel Turin. Space software validation using abstract interpretation. In Proc. of the Int. Space System Engineering Conf., Data Systems in Aerospace (DASIA 2009), volume SP-669, pages 1-7, Istambul, Turkey, May 2009. ESA. [ bib | .pdf ]
[4] Tayssir Touili, Byron Cook, and Paul Jackson, editors. Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, volume 6174 of Lecture Notes in Computer Science. Springer, 2010. [ bib ]
[5] Khalil Ghorbal, Eric Goubault, and Sylvie Putot. A logical product approach to zonotope intersection. In Touili et al. [4], pages 212-226. [ bib | .pdf ]
[6] Viktor Kuncak and Andrey Rybalchenko, editors. Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings, volume 7148 of Lecture Notes in Computer Science. Springer, 2012. [ bib ]
[7] Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, and Aarti Gupta. Donut domains: Efficient non-convex domains for abstract interpretation. In Kuncak and Rybalchenko [6], pages 235-250. [ bib | .pdf ]
[8] Alain Finkel, Jérôme Leroux, and Igor Potapov, editors. Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings, volume 7550 of Lecture Notes in Computer Science. Springer, 2012. [ bib ]
[9] Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, and Aarti Gupta. Efficient probabilistic model checking of systems with ranged probabilities. In Finkel et al. [8], pages 107-120. [ bib | .pdf ]
[10] Stefan Mitsch, Khalil Ghorbal, and André Platzer. On provably safe obstacle avoidance for autonomous robotic ground vehicles. In Robotics: Science and Systems (RSS 2013), July 2013. [ bib | .pdf ]
[11] Khalil Ghorbal and André Platzer. Characterizing algebraic invariants by differential radical invariants. In Springer, editor, TACAS, 2014. [ bib | .pdf ]

This file was generated by bibtex2html 1.97.