Claire Dross

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 13

Top Venues

NFM

VSTTE

CoRR

FMTea

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Roderick Chapman, Claire Dross, Stuart Matthews, Yannick Moy
Co-Developing Programs and Their Proof of Correctness. Commun. ACM 67 (3) (2024)
Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
VerifyThis 2019: a program verification competition. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Claire Dross, Johannes Kanig
Making Proofs of Floating-Point Programs Accessible to Regular Developers. VSTTE (2021)
Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich
Verification of Programs with Pointers in SPARK. ICFEM (2020)
Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
VerifyThis 2019: A Program Verification Competition (Extended Report). CoRR (2020)
Claire Dross, Johannes Kanig
Recursive Data Structures in SPARK. CAV (2) (2020)
Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. FMTea (2019)
M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil
Practical Application of SPARK to OpenUxAS. FM (2019)
Benjamin M. Brosgol, Claire Dross, Yannick Moy
Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK. SecDev (2019)
Claire Dross, Yannick Moy
Auto-Active Proof of Red-Black Trees in SPARK. NFM (2017)
Clément Fumex, Claire Dross, Jens Gerlach, Claude Marché
Specification and Proof of High-Level Functional Properties of Bit-Level Programs. NFM (2016)
Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich
Adding Decision Procedures to SMT Solvers Using Axioms with Triggers. J. Autom. Reason. 56 (4) (2016)
Claire Dross, Yannick Moy
Abstract Software Specifications and Automatic Proof of Refinement. RSSRail (2016)
Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich
Reasoning with Triggers. SMT@IJCAR (2012)
Johannes Kanig, Edmond Schonberg, Claire Dross
Hi-Lite: the convergence of compiler technology and program verification. HILT (2012)
Claire Dross, Jean-Christophe Filliâtre, Yannick Moy
Correct Code Containing Containers. TAP@TOOLS (2011)

Claire Dross.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Claire Dross