declerck.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc declerck.cite -ob declerck.bib -c 'author : "declerck"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{conchon14jfla,
  hal = {https://hal.inria.fr/hal-01088655},
  topics = {team},
  author = {Sylvain Conchon and David Declerck and Luc Maranget and Alain Mebsout},
  title = {Vérification de programmes {C} concurrents avec {Cubicle} : Enfoncer les barrières},
  crossref = {jfla14}
}

@inproceedings{conchon17icfem,
  topics = {team},
  author = {Conchon, Sylvain and Declerck, David and Za{\"i}di, Fatiha},
  editor = {Duan, Zhenhua and Ong, Luke},
  title = {Compiling Parameterized X86-TSO Concurrent Programs to Cubicle-W},
  booktitle = {International Conference on Formal Engineering Methods},
  year = 2017,
  series = {Lecture Notes in Computer Science},
  number = 10610,
  pages = {88--104}
}

@phdthesis{declerck18phd,
  topics = {team},
  title = {Verification via {Model Checking} of Parameterized Concurrent Programs on Weak Memory Models},
  author = {Declerck, David},
  hal = {https://tel.archives-ouvertes.fr/tel-01900842},
  school = {Universit{\'e} Paris-Saclay},
  year = 2018,
  month = sep,
  keywords = {Weak memory ; Model checking ; Verification ; M{\'e}moire faible},
  type = {Th{\`e}se de Doctorat}
}

@inproceedings{conchon18ijcar,
  topics = {team},
  hal = {https://hal.inria.fr/hal-02420590},
  author = {Sylvain Conchon and David Declerck and Fatiha Za{\"{\i}}di},
  title = {Cubicle-W : Parameterized Model Checking on Weak Memory},
  booktitle = {International Joint Conference on Automated Reasoning},
  pages = {152--160},
  editor = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
  series = {Lecture Notes in Computer Science},
  volume = 10900,
  publisher = {Springer},
  year = 2018
}

@article{conchon20jar,
  topics = {team},
  title = {Parameterized Model Checking on the {TSO} Weak Memory Model},
  author = {Conchon, Sylvain and Declerck, David and Za{\"i}di, Fatiha},
  hal = {https://hal.inria.fr/hal-03149332},
  journal = {Journal of Automated Reasoning},
  publisher = {Springer},
  volume = 64,
  number = 7,
  pages = {1307--1330},
  year = 2020
}

@proceedings{jfla14,
  title = {Journ\'ees Francophones des Langages Applicatifs},
  year = 2014,
  booktitle = {Vingt-cinqui\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  address = {Fr\'ejus, France},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA}
}