BibTeX records: Khalil Ghorbal

download as .bib file

@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   = {Computer Languages, Systems {\&} Structures},
  volume    = {47},
  pages     = {19--43},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.cl.2015.11.003},
  doi       = {10.1016/j.cl.2015.11.003},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cl/GhorbalSP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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   = {I. J. Robotics Res.},
  volume    = {36},
  number    = {12},
  pages     = {1312--1340},
  year      = {2017},
  url       = {https://doi.org/10.1177/0278364917733549},
  doi       = {10.1177/0278364917733549},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ijrr/MitschGVP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JeanninGKSGMP17,
  author    = {Jean{-}Baptiste Jeannin and
               Khalil Ghorbal and
               Yanni Kouskoulas and
               Aurora Schmidt and
               Ryan 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   = {{STTT}},
  volume    = {19},
  number    = {6},
  pages     = {717--741},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10009-016-0434-1},
  doi       = {10.1007/s10009-016-0434-1},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/JeanninGKSGMP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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. Embedded Comput. Syst.},
  volume    = {16},
  number    = {5},
  pages     = {185:1--185:19},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3126506},
  doi       = {10.1145/3126506},
  timestamp = {Tue, 27 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tecs/SogokonGJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Proceedings of the 20th International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
               2017},
  pages     = {253--263},
  year      = {2017},
  crossref  = {DBLP:conf/hybrid/2017},
  url       = {http://doi.acm.org/10.1145/3049797.3049806},
  doi       = {10.1145/3049797.3049806},
  timestamp = {Thu, 20 Apr 2017 15:40:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/BenvenisteCEGOP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles,
               FVAV@iFM 2017, Turin, Italy, 19th September 2017.},
  pages     = {91--104},
  year      = {2017},
  crossref  = {DBLP:journals/corr/abs-1709-02126},
  url       = {https://doi.org/10.4204/EPTCS.257.9},
  doi       = {10.4204/EPTCS.257.9},
  timestamp = {Mon, 16 Oct 2017 16:32:11 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-02561},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 2016, 3rd International Workshop on Applied Verification
               for Continuous and Hybrid Systems, Vienna, Austria},
  pages     = {42--51},
  year      = {2016},
  crossref  = {DBLP:conf/cpsweek/2016arch},
  url       = {http://www.easychair.org/publications/paper/334334},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/SogokonGJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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} 2016: Formal Methods - 21st International Symposium, Limassol,
               Cyprus, November 9-11, 2016, Proceedings},
  pages     = {628--644},
  year      = {2016},
  crossref  = {DBLP:conf/fm/2016},
  url       = {https://doi.org/10.1007/978-3-319-48989-6_38},
  doi       = {10.1007/978-3-319-48989-6_38},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/SogokonGJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Verification, Model Checking, and Abstract Interpretation - 17th International
               Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
               2016. Proceedings},
  pages     = {268--288},
  year      = {2016},
  crossref  = {DBLP:conf/vmcai/2016},
  url       = {https://doi.org/10.1007/978-3-662-49122-5_13},
  doi       = {10.1007/978-3-662-49122-5_13},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/SogokonGJP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1605.00604},
  archivePrefix = {arXiv},
  eprint    = {1605.00604},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/MitschGVP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/JeanninGKGSZP15,
  author    = {Jean{-}Baptiste Jeannin and
               Khalil Ghorbal and
               Yanni Kouskoulas and
               Ryan Gardner and
               Aurora Schmidt and
               Erik Zawadzki and
               Andr{\'{e}} Platzer},
  title     = {Formal verification of {ACAS} X, an industrial airborne collision
               avoidance system},
  booktitle = {2015 International Conference on Embedded Software, {EMSOFT} 2015,
               Amsterdam, Netherlands, October 4-9, 2015},
  pages     = {127--136},
  year      = {2015},
  crossref  = {DBLP:conf/emsoft/2015},
  url       = {https://doi.org/10.1109/EMSOFT.2015.7318268},
  doi       = {10.1109/EMSOFT.2015.7318268},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/emsoft/JeanninGKGSZP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JeanninGKGSZP15,
  author    = {Jean{-}Baptiste Jeannin and
               Khalil Ghorbal and
               Yanni Kouskoulas and
               Ryan Gardner and
               Aurora Schmidt and
               Erik Zawadzki and
               Andr{\'{e}} Platzer},
  title     = {A Formally Verified Hybrid System for the Next-Generation Airborne
               Collision Avoidance System},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 21st International Conference, {TACAS} 2015, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2015, London, UK, April 11-18, 2015. Proceedings},
  pages     = {21--36},
  year      = {2015},
  crossref  = {DBLP:conf/tacas/2015},
  url       = {https://doi.org/10.1007/978-3-662-46681-0_2},
  doi       = {10.1007/978-3-662-46681-0_2},
  timestamp = {Thu, 15 Jun 2017 21:37:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/JeanninGKGSZP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Verification, Model Checking, and Abstract Interpretation - 16th International
               Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
  pages     = {431--448},
  year      = {2015},
  crossref  = {DBLP:conf/vmcai/2015},
  url       = {https://doi.org/10.1007/978-3-662-46081-8_24},
  doi       = {10.1007/978-3-662-46081-8_24},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/GhorbalSP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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. Aerospace Inf. Sys.},
  volume    = {11},
  number    = {10},
  pages     = {702--713},
  year      = {2014},
  url       = {https://doi.org/10.2514/1.I010178},
  doi       = {10.2514/1.I010178},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jacic/GhorbalJZPGC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
               Germany, September 11-13, 2014. Proceedings},
  pages     = {151--167},
  year      = {2014},
  crossref  = {DBLP:conf/sas/2014},
  url       = {https://doi.org/10.1007/978-3-319-10936-7_10},
  doi       = {10.1007/978-3-319-10936-7_10},
  timestamp = {Wed, 24 May 2017 08:27:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/GhorbalSP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GhorbalP14,
  author    = {Khalil Ghorbal and
               Andr{\'{e}} Platzer},
  title     = {Characterizing Algebraic Invariants by Differential Radical Invariants},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  pages     = {279--294},
  year      = {2014},
  crossref  = {DBLP:conf/tacas/2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8_19},
  doi       = {10.1007/978-3-642-54862-8_19},
  timestamp = {Mon, 05 Jun 2017 12:40:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/GhorbalP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 IX, Technische Universit{\"{a}}t
               Berlin, Berlin, Germany, June 24 - June 28, 2013},
  year      = {2013},
  crossref  = {DBLP:conf/rss/2013},
  url       = {http://www.roboticsproceedings.org/rss09/p14.html},
  timestamp = {Tue, 09 Feb 2016 15:15:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rss/MitschGP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
               France, September 17-19, 2012. Proceedings},
  pages     = {107--120},
  year      = {2012},
  crossref  = {DBLP:conf/rp/2012},
  url       = {https://doi.org/10.1007/978-3-642-33512-9_10},
  doi       = {10.1007/978-3-642-33512-9_10},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rp/GhorbalDKIG12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Verification, Model Checking, and Abstract Interpretation - 13th International
               Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
               Proceedings},
  pages     = {235--250},
  year      = {2012},
  crossref  = {DBLP:conf/vmcai/2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9_16},
  doi       = {10.1007/978-3-642-27940-9_16},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/GhorbalIBMG12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://tel.archives-ouvertes.fr/pastel-00643442},
  timestamp = {Mon, 11 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Ghorbal11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GhorbalGP10,
  author    = {Khalil Ghorbal and
               Eric Goubault and
               Sylvie Putot},
  title     = {A Logical Product Approach to Zonotope Intersection},
  booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  pages     = {212--226},
  year      = {2010},
  crossref  = {DBLP:conf/cav/2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6_22},
  doi       = {10.1007/978-3-642-14295-6_22},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/GhorbalGP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1002.2236},
  archivePrefix = {arXiv},
  eprint    = {1002.2236},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1002-2236},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GhorbalGP09,
  author    = {Khalil Ghorbal and
               Eric Goubault and
               Sylvie Putot},
  title     = {The Zonotope Abstract Domain Taylor1+},
  booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
               2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  pages     = {627--633},
  year      = {2009},
  crossref  = {DBLP:conf/cav/2009},
  url       = {https://doi.org/10.1007/978-3-642-02658-4_47},
  doi       = {10.1007/978-3-642-02658-4_47},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/GhorbalGP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2017,
  editor    = {Goran Frehse and
               Sayan Mitra},
  title     = {Proceedings of the 20th International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3049797},
  doi       = {10.1145/3049797},
  isbn      = {978-1-4503-4590-3},
  timestamp = {Thu, 20 Apr 2017 15:40:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-02126,
  editor    = {Lukas Bulwahn and
               Maryam Kamali and
               Sven Linker},
  title     = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles,
               FVAV@iFM 2017, Turin, Italy, 19th September 2017},
  series    = {{EPTCS}},
  volume    = {257},
  year      = {2017},
  url       = {http://arxiv.org/abs/1709.02126},
  timestamp = {Mon, 16 Oct 2017 16:32:11 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-02126},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2016arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification
               for Continuous and Hybrid Systems, Vienna, Austria},
  series    = {EPiC Series in Computing},
  volume    = {43},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/ARCH16},
  timestamp = {Wed, 26 Apr 2017 13:57:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2016arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2016,
  editor    = {John S. Fitzgerald and
               Constance L. Heitmeyer and
               Stefania Gnesi and
               Anna Philippou},
  title     = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
               Cyprus, November 9-11, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9995},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-48989-6},
  doi       = {10.1007/978-3-319-48989-6},
  isbn      = {978-3-319-48988-9},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2016,
  editor    = {Barbara Jobstmann and
               K. Rustan M. Leino},
  title     = {Verification, Model Checking, and Abstract Interpretation - 17th International
               Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
               2016. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9583},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49122-5},
  doi       = {10.1007/978-3-662-49122-5},
  isbn      = {978-3-662-49121-8},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2015,
  editor    = {Alain Girault and
               Nan Guan},
  title     = {2015 International Conference on Embedded Software, {EMSOFT} 2015,
               Amsterdam, Netherlands, October 4-9, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7313572},
  isbn      = {978-1-4673-8079-9},
  timestamp = {Tue, 05 Jan 2016 15:36:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/emsoft/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2015,
  editor    = {Christel Baier and
               Cesare Tinelli},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 21st International Conference, {TACAS} 2015, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2015, London, UK, April 11-18, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9035},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46681-0},
  doi       = {10.1007/978-3-662-46681-0},
  isbn      = {978-3-662-46680-3},
  timestamp = {Thu, 15 Jun 2017 21:37:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2015,
  editor    = {Deepak D'Souza and
               Akash Lal and
               Kim Guldstrand Larsen},
  title     = {Verification, Model Checking, and Abstract Interpretation - 16th International
               Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8931},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-46081-8},
  doi       = {10.1007/978-3-662-46081-8},
  isbn      = {978-3-662-46080-1},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2014,
  editor    = {Markus M{\"{u}}ller{-}Olm and
               Helmut Seidl},
  title     = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
               Germany, September 11-13, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8723},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10936-7},
  doi       = {10.1007/978-3-319-10936-7},
  isbn      = {978-3-319-10935-0},
  timestamp = {Wed, 24 May 2017 08:27:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2014,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Klaus Havelund},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8413},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8},
  doi       = {10.1007/978-3-642-54862-8},
  isbn      = {978-3-642-54861-1},
  timestamp = {Mon, 05 Jun 2017 12:40:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rss/2013,
  editor    = {Paul Newman and
               Dieter Fox and
               David Hsu},
  title     = {Robotics: Science and Systems IX, Technische Universit{\"{a}}t
               Berlin, Berlin, Germany, June 24 - June 28, 2013},
  year      = {2013},
  url       = {http://www.roboticsproceedings.org/rss09/},
  isbn      = {978-981-07-3937-9},
  timestamp = {Tue, 09 Feb 2016 15:15:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rss/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  series    = {Lecture Notes in Computer Science},
  volume    = {7550},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33512-9},
  doi       = {10.1007/978-3-642-33512-9},
  isbn      = {978-3-642-33511-2},
  timestamp = {Fri, 26 May 2017 00:49:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rp/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  series    = {Lecture Notes in Computer Science},
  volume    = {7148},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9},
  doi       = {10.1007/978-3-642-27940-9},
  isbn      = {978-3-642-27939-3},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2010,
  editor    = {Tayssir Touili and
               Byron Cook and
               Paul B. Jackson},
  title     = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6174},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6},
  doi       = {10.1007/978-3-642-14295-6},
  isbn      = {978-3-642-14294-9},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5643},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02658-4},
  doi       = {10.1007/978-3-642-02658-4},
  isbn      = {978-3-642-02657-7},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier