David Declerck

According to our database, David Declerck authored at least 6 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Parameterized Model Checking on the TSO Weak Memory Model.

Sylvain Conchon, David Declerck, Fatiha Zaïdi

J. Autom. Reason., 2020

2018

Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles. (Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models).

David Declerck

PhD thesis, 2018

Cubicle- <i>W</i> : Parameterized Model Checking on Weak Memory.

Sylvain Conchon, David Declerck, Fatiha Zaïdi

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Parameterized Model Checking Modulo Explicit Weak Memory Models.

Sylvain Conchon, David Declerck, Fatiha Zaïdi

Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017

Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- <i>W</i>.

Sylvain Conchon, David Declerck, Fatiha Zaïdi

Proceedings of the Formal Methods and Software Engineering, 2017

2014

Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières.

Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout

Proceedings of the 25. Journées francophones des langages applicatifs, 2014