Publications : David Declerck
Back| [5] | Sylvain Conchon, David Declerck, and Fatiha Zaïdi. Parameterized model checking on the TSO weak memory model. Journal of Automated Reasoning, 64(7):1307--1330, 2020. [ bib | full text on HAL ] |
| [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.