Correct Code Containing Containers. - Claire Dross; Jean-Christophe Filliâtre; Yannick Moy (TAP@TOOLS, 2011)

Reasoning with Triggers. - Claire Dross; Sylvain Conchon; Johannes Kanig; Andrei Paskevich (SMT@IJCAR, 2012)

Hi-Lite: the convergence of compiler technology and program verification. - Johannes Kanig; Edmond Schonberg; Claire Dross (HILT, 2012)

Generic decision procedures for axiomatic first-order theories. (Procédures de décision génériques pour des théories axiomatiques du premier ordre). - Claire Dross (2014)

Specification and Proof of High-Level Functional Properties of Bit-Level Programs. - Clément Fumex; Claire Dross; Jens Gerlach; Claude Marché (NFM, 2016)

Abstract Software Specifications and Automatic Proof of Refinement. - Claire Dross; Yannick Moy (RSSRail, 2016)

Adding Decision Procedures to SMT Solvers Using Axioms with Triggers. - Claire Dross; Sylvain Conchon; Johannes Kanig; Andrei Paskevich (J. Autom. Reason., 2016)

Auto-Active Proof of Red-Black Trees in SPARK. - Claire Dross; Yannick Moy (NFM, 2017)

Practical Application of SPARK to OpenUxAS. - M. Anthony Aiello; Claire Dross; Patrick Rogers; Laura R. Humphrey; James Hamil (FM, 2019)

Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK. - Benjamin M. Brosgol; Claire Dross; Yannick Moy (SecDev, 2019)

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. - Léo Creuse; Claire Dross; Christophe Garion; Jérôme Hugues; Joffrey Huguet (FMTea, 2019)

Recursive Data Structures in SPARK. - Claire Dross; Johannes Kanig (CAV (2), 2020)

Verification of Programs with Pointers in SPARK. - Georges-Axel Jaloyan; Claire Dross; Maroua Maalej; Yannick Moy; Andrei Paskevich (ICFEM, 2020)

VerifyThis 2019: A Program Verification Competition (Extended Report). - Claire Dross; Carlo A. Furia; Marieke Huisman; Rosemary Monahan; Peter Müller 001 (CoRR, 2020)

Making Proofs of Floating-Point Programs Accessible to Regular Developers. - Claire Dross; Johannes Kanig (VSTTE, 2021)

VerifyThis 2019: a program verification competition. - Claire Dross; Carlo A. Furia; Marieke Huisman; Rosemary Monahan; Peter Müller 001 (Int. J. Softw. Tools Technol. Transf., 2021)

Co-Developing Programs and Their Proof of Correctness. - Roderick Chapman; Claire Dross; Stuart Matthews; Yannick Moy (Commun. ACM, 2024)

Two-Way Collaboration Between Flow and Proof in SPARK. - Claire Dross; Joffrey Huguet; Johannes Kanig (VMCAI (1), 2025)