David Declerck

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 4

Top Topics

Automated Verification

Temporal Properties

Top Venues

J. Autom. Reason.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Sylvain Conchon, David Declerck, Fatiha Zaïdi
Parameterized Model Checking on the TSO Weak Memory Model. J. Autom. Reason. 64 (7) (2020)
Sylvain Conchon, David Declerck, Fatiha Zaïdi
: Parameterized Model Checking on Weak Memory. IJCAR (2018)
Sylvain Conchon, David Declerck, Fatiha Zaïdi
Parameterized Model Checking Modulo Explicit Weak Memory Models. IMPEX/FM&MDD (2017)
Sylvain Conchon, David Declerck, Fatiha Zaïdi
. ICFEM (2017)
Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout
Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières. JFLA (2014)