Wiki Agenda Contact Version française

Publications : David Declerck

Back
[4] David Declerck. Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models. Thèse de doctorat, Université Paris-Saclay, September 2018. [ bib | full text on HAL ]
Keywords: Weak memory ; Model checking ; Verification ; Mémoire faible
[3] Sylvain Conchon, David Declerck, and Fatiha Zaïdi. Cubicle-w : Parameterized model checking on weak memory. In Didier Galmiche, Stephan Schulz, and Roberto Sebastiani, editors, International Joint Conference on Automated Reasoning, volume 10900 of Lecture Notes in Computer Science, pages 152--160. Springer, 2018. [ bib | full text on HAL ]
[2] Sylvain Conchon, David Declerck, and Fatiha Zaïdi. Compiling parameterized x86-tso concurrent programs to cubicle-w. In Zhenhua Duan and Luke Ong, editors, International Conference on Formal Engineering Methods, number 10610 in Lecture Notes in Computer Science, pages 88--104, 2017. [ bib ]
[1] Sylvain Conchon, David Declerck, Luc Maranget, and Alain Mebsout. V√©rification de programmes C concurrents avec Cubicle : Enfoncer les barri√®res. In Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Fréjus, France, January 2014. [ bib | full text on HAL ]

Back
This page was generated by bibtex2html.