BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × India
1 × USA
2 × France
2 × United Kingdom
Collaborated with:
A.Platzer A.Sogokon E.Goubault S.Putot F.Ivancic G.Balakrishnan N.Maeda A.Gupta J.Jeannin Y.Kouskoulas R.Gardner A.Schmidt E.Zawadzki
Talks about:
invari (4) differenti (3) algebra (3) domain (3) abstract (2) zonotop (2) system (2) intersect (1) interpret (1) hierarchi (1)

Person: Khalil Ghorbal

DBLP DBLP: Ghorbal:Khalil

Contributed to:

TACAS 20152015
VMCAI 20152015
SAS 20142014
TACAS 20142014
VMCAI 20122012
CAV 20102010
CAV 20092009

Wrote 7 papers:

TACAS-2015-JeanninGKGSZP #hybrid
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System (JBJ, KG, YK, RG, AS, EZ, AP), pp. 21–36.
VMCAI-2015-GhorbalSP #algebra #difference #proving #set
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets (KG, AS, AP), pp. 431–448.
SAS-2014-GhorbalSP #algebra #difference #equation #polynomial
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations (KG, AS, AP), pp. 151–167.
TACAS-2014-GhorbalP #algebra #difference #invariant
Characterizing Algebraic Invariants by Differential Radical Invariants (KG, AP), pp. 279–294.
VMCAI-2012-GhorbalIBMG #abstract interpretation #performance
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
CAV-2010-GhorbalGP #approach #logic
A Logical Product Approach to Zonotope Intersection (KG, EG, SP), pp. 212–226.
CAV-2009-GhorbalGP #abstract domain
The Zonotope Abstract Domain Taylor1+ (KG, EG, SP), pp. 627–633.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.