@inproceedings{DBLP:conf/tacas/GhorbalP14,
author = {Khalil Ghorbal and Andr{\'e} Platzer},
title = {Characterizing Algebraic Invariants by Differential Radical Invariants},
booktitle = {TACAS},
year = {2014},
pages = {},
editor = {Springer},
ee = {},
url = {http://www.lix.polytechnique.fr/~ghorbal/publi/diffradicalinv.pdf},
bibsource = {}
}
@inproceedings{conf/rss/MitschGP2013,
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 (RSS 2013)},
month = {July},
year = {2013},
url = {http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/mitschgp-rss2013.pdf}
}
@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},
year = {2012},
pages = {107-120},
ee = {http://dx.doi.org/10.1007/978-3-642-33512-9_10},
crossref = {DBLP:conf/rp/2012},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/ghorbalDKIG-rp2012.pdf}
}
@proceedings{DBLP:conf/rp/2012,
editor = {Alain Finkel and
J{\'e}r{\^o}me Leroux and
Igor Potapov},
title = {Reachability Problems - 6th International Workshop, RP 2012,
Bordeaux, France, September 17-19, 2012. Proceedings},
booktitle = {RP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7550},
year = {2012},
isbn = {978-3-642-33511-2},
ee = {http://dx.doi.org/10.1007/978-3-642-33512-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
year = {2012},
pages = {235-250},
ee = {http://dx.doi.org/10.1007/978-3-642-27940-9_16},
crossref = {DBLP:conf/vmcai/2012},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/ghorbal-vmcai2012.pdf}
}
@proceedings{DBLP:conf/vmcai/2012,
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Verification, Model Checking, and Abstract Interpretation
- 13th International Conference, VMCAI 2012, Philadelphia,
PA, USA, January 22-24, 2012. Proceedings},
booktitle = {VMCAI},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7148},
year = {2012},
isbn = {978-3-642-27939-3},
ee = {http://dx.doi.org/10.1007/978-3-642-27940-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/cav/GhorbalGP10,
author = {Khalil Ghorbal and
Eric Goubault and
Sylvie Putot},
title = {A Logical Product Approach to Zonotope Intersection},
booktitle = {CAV},
year = {2010},
pages = {212-226},
ee = {http://dx.doi.org/10.1007/978-3-642-14295-6_22},
crossref = {DBLP:conf/cav/2010},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/ghorbal-cav10.pdf}
}
@proceedings{DBLP:conf/cav/2010,
editor = {Tayssir Touili and
Byron Cook and
Paul Jackson},
title = {Computer Aided Verification, 22nd International Conference,
CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
booktitle = {CAV},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6174},
year = {2010},
isbn = {978-3-642-14294-9},
ee = {http://dx.doi.org/10.1007/978-3-642-14295-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/cav/GhorbalGP09,
author = {Khalil Ghorbal and
Eric Goubault and
Sylvie Putot},
title = {The Zonotope Abstract Domain Taylor1+},
booktitle = {CAV},
year = {2009},
pages = {627-633},
ee = {http://dx.doi.org/10.1007/978-3-642-02658-4_47},
crossref = {DBLP:conf/cav/2009},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/ghorbal-cav09.pdf}
}
@proceedings{DBLP:conf/cav/2009,
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Computer Aided Verification, 21st International Conference,
CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
booktitle = {CAV},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5643},
year = {2009},
isbn = {978-3-642-02657-7},
ee = {http://dx.doi.org/10.1007/978-3-642-02658-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{conf/dasia/Bouissouetal2009,
author = {Olivier Bouissou and Eric Conquet and Patrick Cousot and
Radhia Cousot and J\'er\^ome Feret and Khalil Ghorbal and
Eric Goubault and David Lesens and Laurent Mauborgne and
Antoine Min\'e and Sylvie Putot and Xavier Rival and Michel Turin},
title = {Space Software Validation using Abstract Interpretation},
pages = {1--7},
volume = {SP-669},
year = {2009},
month = {May},
address = {Istambul, Turkey},
booktitle = {Proc. of the Int. Space System Engineering Conf.,
Data Systems in Aerospace (DASIA 2009)},
publisher = {ESA},
url = {http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/bouissou-al-dasia09.pdf}
}
This file was generated by bibtex2html 1.97.