BibTeX records: Charles Hymans

• > Home > Persons > Charles Hymans

@article{DBLP:journals/corr/CarreH09,
  author       = {Jean{-}Loup Carre and
                  Charles Hymans},
  title        = {From Single-thread to Multithreaded: An Efficient Static Analysis
                  Algorithm},
  journal      = {CoRR},
  volume       = {abs/0910.5833},
  year         = {2009},
  url          = {http://arxiv.org/abs/0910.5833},
  eprinttype    = {arXiv},
  eprint       = {0910.5833},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CarreH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/virology/AllamigeonH08,
  author       = {Xavier Allamigeon and
                  Charles Hymans},
  title        = {Static analysis by abstract interpretation: application to the detection
                  of heap overflows},
  journal      = {J. Comput. Virol.},
  volume       = {4},
  number       = {1},
  pages        = {5--23},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11416-007-0063-z},
  doi          = {10.1007/S11416-007-0063-Z},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/virology/AllamigeonH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/AllamigeonGH06,
  author       = {Xavier Allamigeon and
                  Wenceslas Godard and
                  Charles Hymans},
  editor       = {Kwangkeun Yi},
  title        = {Static Analysis of String Manipulations in Critical Embedded {C} Programs},
  booktitle    = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
                  Korea, August 29-31, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4134},
  pages        = {35--51},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11823230\_4},
  doi          = {10.1007/11823230\_4},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/AllamigeonGH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/Hymans05,
  author       = {Charles Hymans},
  editor       = {Radhia Cousot},
  title        = {Verification of an Error Correcting Code by Abstract Interpretation},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 6th International
                  Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3385},
  pages        = {330--345},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-30579-8\_22},
  doi          = {10.1007/978-3-540-30579-8\_22},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/Hymans05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/HymansU04,
  author       = {Charles Hymans and
                  Eben Upton},
  editor       = {Roberto Giacobazzi},
  title        = {Static Analysis of Gated Data Dependence Graphs},
  booktitle    = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
                  Italy, August 26-28, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3148},
  pages        = {197--211},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27864-1\_16},
  doi          = {10.1007/978-3-540-27864-1\_16},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HymansU04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/Hymans03,
  author       = {Charles Hymans},
  editor       = {Daniel Geist and
                  Enrico Tronci},
  title        = {Design and Implementation of an Abstract Interpreter for {VHDL}},
  booktitle    = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
                  10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
                  Italy, October 21-24, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2860},
  pages        = {263--269},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39724-3\_23},
  doi          = {10.1007/978-3-540-39724-3\_23},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/Hymans03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Hymans02,
  author       = {Charles Hymans},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Checking Safety Properties of Behavioral {VHDL} Descriptions by Abstract
                  Interpretation},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {444--460},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_31},
  doi          = {10.1007/3-540-45789-5\_31},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Hymans02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}