BibTeX records: Khalil Ghorbal

download as .bib file

@inproceedings{DBLP:conf/issac/GhorbalB24,
  author       = {Khalil Ghorbal and
                  Maxime Bridoux},
  title        = {Automated Reasoning For The Existence Of Darboux Polynomials},
  booktitle    = {{ISSAC}},
  pages        = {324--333},
  publisher    = {{ACM}},
  year         = {2024}
}

@article{DBLP:journals/jsc/GhorbalS22,
  author       = {Khalil Ghorbal and
                  Andrew Sogokon},
  title        = {Characterizing positively invariant sets: Inductive and topological
                  methods},
  journal      = {J. Symb. Comput.},
  volume       = {113},
  pages        = {1--28},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2003-09340,
  author       = {Joan Thibault and
                  Khalil Ghorbal},
  title        = {Ordered Functional Decision Diagrams},
  journal      = {CoRR},
  volume       = {abs/2003.09340},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2009-09797,
  author       = {Khalil Ghorbal and
                  Andrew Sogokon},
  title        = {Characterizing Positively Invariant Sets: Inductive and Topological
                  Methods},
  journal      = {CoRR},
  volume       = {abs/2009.09797},
  year         = {2020}
}

@incollection{DBLP:series/lncs/BenvenisteCEGOP19,
  author       = {Albert Benveniste and
                  Beno{\^{\i}}t Caillaud and
                  Hilding Elmqvist and
                  Khalil Ghorbal and
                  Martin Otter and
                  Marc Pouzet},
  title        = {Multi-Mode {DAE} Models - Challenges, Theory and Implementation},
  booktitle    = {Computing and Software Science},
  series       = {Lecture Notes in Computer Science},
  volume       = {10000},
  pages        = {283--310},
  publisher    = {Springer},
  year         = {2019}
}

@inproceedings{DBLP:conf/fm/SogokonGTP18,
  author       = {Andrew Sogokon and
                  Khalil Ghorbal and
                  Yong Kiam Tan and
                  Andr{\'{e}} Platzer},
  title        = {Vector Barrier Certificates and Comparison Systems},
  booktitle    = {{FM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10951},
  pages        = {418--437},
  publisher    = {Springer},
  year         = {2018}
}

@article{DBLP:journals/cl/GhorbalSP17,
  author       = {Khalil Ghorbal and
                  Andrew Sogokon and
                  Andr{\'{e}} Platzer},
  title        = {A hierarchy of proof rules for checking positive invariance of algebraic
                  and semi-algebraic sets},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {47},
  pages        = {19--43},
  year         = {2017}
}

@article{DBLP:journals/ijrr/MitschGVP17,
  author       = {Stefan Mitsch and
                  Khalil Ghorbal and
                  David Vogelbacher and
                  Andr{\'{e}} Platzer},
  title        = {Formal verification of obstacle avoidance and navigation of ground
                  robots},
  journal      = {Int. J. Robotics Res.},
  volume       = {36},
  number       = {12},
  pages        = {1312--1340},
  year         = {2017}
}

@article{DBLP:journals/sttt/JeanninGKSGMP17,
  author       = {Jean{-}Baptiste Jeannin and
                  Khalil Ghorbal and
                  Yanni Kouskoulas and
                  Aurora C. Schmidt and
                  Ryan W. Gardner and
                  Stefan Mitsch and
                  Andr{\'{e}} Platzer},
  title        = {A formally verified hybrid system for safe advisories in the next-generation
                  airborne collision avoidance system},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {19},
  number       = {6},
  pages        = {717--741},
  year         = {2017}
}

@article{DBLP:journals/tecs/SogokonGJ17,
  author       = {Andrew Sogokon and
                  Khalil Ghorbal and
                  Taylor T. Johnson},
  title        = {Operational Models for Piecewise-Smooth Systems},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {16},
  number       = {5s},
  pages        = {185:1--185:19},
  year         = {2017}
}

@inproceedings{DBLP:conf/hybrid/BenvenisteCEGOP17,
  author       = {Albert Benveniste and
                  Beno{\^{\i}}t Caillaud and
                  Hilding Elmqvist and
                  Khalil Ghorbal and
                  Martin Otter and
                  Marc Pouzet},
  title        = {Structural Analysis of Multi-Mode {DAE} Systems},
  booktitle    = {{HSCC}},
  pages        = {253--263},
  publisher    = {{ACM}},
  year         = {2017}
}

@inproceedings{DBLP:journals/corr/abs-1709-02561,
  author       = {Benjamin Martin and
                  Khalil Ghorbal and
                  Eric Goubault and
                  Sylvie Putot},
  title        = {Formal Verification of Station Keeping Maneuvers for a Planar Autonomous
                  Hybrid System},
  booktitle    = {FVAV@iFM},
  series       = {{EPTCS}},
  volume       = {257},
  pages        = {91--104},
  year         = {2017}
}

@inproceedings{DBLP:conf/cpsweek/SogokonGJ16,
  author       = {Andrew Sogokon and
                  Khalil Ghorbal and
                  Taylor T. Johnson},
  title        = {Non-linear Continuous Systems for Safety Verification},
  booktitle    = {ARCH@CPSWeek},
  series       = {EPiC Series in Computing},
  volume       = {43},
  pages        = {42--51},
  publisher    = {EasyChair},
  year         = {2016}
}

@inproceedings{DBLP:conf/fm/SogokonGJ16,
  author       = {Andrew Sogokon and
                  Khalil Ghorbal and
                  Taylor T. Johnson},
  title        = {Decoupling Abstractions of Non-linear Ordinary Differential Equations},
  booktitle    = {{FM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9995},
  pages        = {628--644},
  year         = {2016}
}

@inproceedings{DBLP:conf/vmcai/SogokonGJP16,
  author       = {Andrew Sogokon and
                  Khalil Ghorbal and
                  Paul B. Jackson and
                  Andr{\'{e}} Platzer},
  title        = {A Method for Invariant Generation for Polynomial Continuous Systems},
  booktitle    = {{VMCAI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9583},
  pages        = {268--288},
  publisher    = {Springer},
  year         = {2016}
}

@article{DBLP:journals/corr/MitschGVP16,
  author       = {Stefan Mitsch and
                  Khalil Ghorbal and
                  David Vogelbacher and
                  Andr{\'{e}} Platzer},
  title        = {Formal Verification of Obstacle Avoidance and Navigation of Ground
                  Robots},
  journal      = {CoRR},
  volume       = {abs/1605.00604},
  year         = {2016}
}

@inproceedings{DBLP:conf/emsoft/JeanninGKGSZP15,
  author       = {Jean{-}Baptiste Jeannin and
                  Khalil Ghorbal and
                  Yanni Kouskoulas and
                  Ryan W. Gardner and
                  Aurora C. Schmidt and
                  Erik Zawadzki and
                  Andr{\'{e}} Platzer},
  title        = {Formal verification of {ACAS} X, an industrial airborne collision
                  avoidance system},
  booktitle    = {{EMSOFT}},
  pages        = {127--136},
  publisher    = {{IEEE}},
  year         = {2015}
}

@inproceedings{DBLP:conf/tacas/JeanninGKGSZP15,
  author       = {Jean{-}Baptiste Jeannin and
                  Khalil Ghorbal and
                  Yanni Kouskoulas and
                  Ryan W. Gardner and
                  Aurora C. Schmidt and
                  Erik Zawadzki and
                  Andr{\'{e}} Platzer},
  title        = {A Formally Verified Hybrid System for the Next-Generation Airborne
                  Collision Avoidance System},
  booktitle    = {{TACAS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9035},
  pages        = {21--36},
  publisher    = {Springer},
  year         = {2015}
}

@inproceedings{DBLP:conf/vmcai/GhorbalSP15,
  author       = {Khalil Ghorbal and
                  Andrew Sogokon and
                  Andr{\'{e}} Platzer},
  title        = {A Hierarchy of Proof Rules for Checking Differential Invariance of
                  Algebraic Sets},
  booktitle    = {{VMCAI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8931},
  pages        = {431--448},
  publisher    = {Springer},
  year         = {2015}
}

@article{DBLP:journals/jacic/GhorbalJZPGC14,
  author       = {Khalil Ghorbal and
                  Jean{-}Baptiste Jeannin and
                  Erik Zawadzki and
                  Andr{\'{e}} Platzer and
                  Geoffrey J. Gordon and
                  Peter Capell},
  title        = {Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges},
  journal      = {J. Aerosp. Inf. Syst.},
  volume       = {11},
  number       = {10},
  pages        = {702--713},
  year         = {2014}
}

@inproceedings{DBLP:conf/sas/GhorbalSP14,
  author       = {Khalil Ghorbal and
                  Andrew Sogokon and
                  Andr{\'{e}} Platzer},
  title        = {Invariance of Conjunctions of Polynomial Equalities for Algebraic
                  Differential Equations},
  booktitle    = {{SAS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8723},
  pages        = {151--167},
  publisher    = {Springer},
  year         = {2014}
}

@inproceedings{DBLP:conf/tacas/GhorbalP14,
  author       = {Khalil Ghorbal and
                  Andr{\'{e}} Platzer},
  title        = {Characterizing Algebraic Invariants by Differential Radical Invariants},
  booktitle    = {{TACAS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8413},
  pages        = {279--294},
  publisher    = {Springer},
  year         = {2014}
}

@inproceedings{DBLP:conf/rss/MitschGP13,
  author       = {Stefan Mitsch and
                  Khalil Ghorbal and
                  Andr{\'{e}} Platzer},
  title        = {On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground
                  Vehicles},
  booktitle    = {Robotics: Science and Systems},
  year         = {2013}
}

@inproceedings{DBLP:conf/rp/GhorbalDKIG12,
  author       = {Khalil Ghorbal and
                  Parasara Sridhar Duggirala and
                  Vineet Kahlon and
                  Franjo Ivancic and
                  Aarti Gupta},
  title        = {Efficient Probabilistic Model Checking of Systems with Ranged Probabilities},
  booktitle    = {{RP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {107--120},
  publisher    = {Springer},
  year         = {2012}
}

@inproceedings{DBLP:conf/vmcai/GhorbalIBMG12,
  author       = {Khalil Ghorbal and
                  Franjo Ivancic and
                  Gogul Balakrishnan and
                  Naoto Maeda and
                  Aarti Gupta},
  title        = {Donut Domains: Efficient Non-convex Domains for Abstract Interpretation},
  booktitle    = {{VMCAI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7148},
  pages        = {235--250},
  publisher    = {Springer},
  year         = {2012}
}

@phdthesis{DBLP:phd/hal/Ghorbal11,
  author       = {Khalil Ghorbal},
  title        = {Static Analysis of Numerical Programs: Constrained Affine Sets Abstract
                  Domain. (Analyse Statique de Programmes Num{\'{e}}riques: Ensembles
                  Affines Contraints)},
  school       = {{\'{E}}cole Polytechnique, Palaiseau, France},
  year         = {2011}
}

@inproceedings{DBLP:conf/cav/GhorbalGP10,
  author       = {Khalil Ghorbal and
                  Eric Goubault and
                  Sylvie Putot},
  title        = {A Logical Product Approach to Zonotope Intersection},
  booktitle    = {{CAV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6174},
  pages        = {212--226},
  publisher    = {Springer},
  year         = {2010}
}

@article{DBLP:journals/corr/abs-1002-2236,
  author       = {Khalil Ghorbal and
                  Eric Goubault and
                  Sylvie Putot},
  title        = {A Logical Product Approach to Zonotope Intersection},
  journal      = {CoRR},
  volume       = {abs/1002.2236},
  year         = {2010}
}

@inproceedings{DBLP:conf/cav/GhorbalGP09,
  author       = {Khalil Ghorbal and
                  Eric Goubault and
                  Sylvie Putot},
  title        = {The Zonotope Abstract Domain Taylor1+},
  booktitle    = {{CAV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5643},
  pages        = {627--633},
  publisher    = {Springer},
  year         = {2009}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.