Claire Dross

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