Nombre de documents


CV de Khalil Ghorbal

Communication dans un congrès3 documents

  • Andrew Sogokon, Khalil Ghorbal, Paul Jackson, André Platzer. A Method for Invariant Generation for Polynomial Continuous Systems. Barbara Jobstmann; K. Rustan M. Leino. 17th International Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI 2016, Jan 2016, St. Petersburg, Florida, United States. Springer, Lecture Notes in Computer Science, 9583, pp.268-288, 2016, Verification, Model Checking, and Abstract Interpretation. <>. <10.1007/978-3-662-49122-5_13>. <hal-01374902>
  • Andrew Sogokon, Khalil Ghorbal, Taylor Johnson. Decoupling Abstractions of Non-linear Ordinary Differential Equations. Formal Methods, Nov 2016, Limassol, Cyprus. Lecture Notes in Computer Science (9995), pp.628-644, FM 2016: Formal Methods. <>. <10.1007/978-3-319-48989-6_38>. <hal-01374899v2>
  • Olivier Bouissou, Eric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret, et al.. Space Software Validation using Abstract Interpretation. The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, May 2009, Istambul, Turkey. European Space Agency, pp.1-7, 2009. <inria-00528590>

Thèse1 document

  • Khalil Ghorbal. Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain. Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English. <pastel-00643442>

Article dans une revue2 documents

  • Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora Schmidt, Ryan Gardner, et al.. A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016, <10.1007/s10009-016-0434-1>. <hal-01232365>
  • Khalil Ghorbal, Andrew Sogokon, André Platzer. A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Computer Languages Systems & Structures, 2015, <10.1016/>. <hal-01232288>

Rapport1 document

  • Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, et al.. Structural Analysis of Multi-Mode DAE Systems. [Research Report] RR-8933, Inria. 2017, pp.18. <hal-01343967v2>