Claire Dross

According to our database, Claire Dross authored at least 18 papers between 2011 and 2025.

Collaborative distances:

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

2025

Two-Way Collaboration Between Flow and Proof in SPARK.

Claire Dross, Joffrey Huguet, Johannes Kanig

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024

Co-Developing Programs and Their Proof of Correctness.

Roderick Chapman, Claire Dross, Stuart Matthews, Yannick Moy

Commun. ACM, March, 2024

2021

VerifyThis 2019: a program verification competition.

Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller

Int. J. Softw. Tools Technol. Transf., 2021

Making Proofs of Floating-Point Programs Accessible to Regular Developers.

Claire Dross, Johannes Kanig

Proceedings of the Software Verification - 13th International Conference, 2021

2020

VerifyThis 2019: A Program Verification Competition (Extended Report).

Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller

CoRR, 2020

Verification of Programs with Pointers in SPARK.

Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich

Proceedings of the Formal Methods and Software Engineering, 2020

Recursive Data Structures in SPARK.

Claire Dross, Johannes Kanig

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

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

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK.

Benjamin M. Brosgol, Claire Dross, Yannick Moy

Proceedings of the 2019 IEEE Cybersecurity Development, 2019

Practical Application of SPARK to OpenUxAS.

M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2017

Auto-Active Proof of Red-Black Trees in SPARK.

Claire Dross, Yannick Moy

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

Adding Decision Procedures to SMT Solvers Using Axioms with Triggers.

Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich

J. Autom. Reason., 2016

Abstract Software Specifications and Automatic Proof of Refinement.

Claire Dross, Yannick Moy

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Specification and Proof of High-Level Functional Properties of Bit-Level Programs.

Clément Fumex, Claire Dross, Jens Gerlach, Claude Marché

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

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

PhD thesis, 2014

2012

Hi-Lite: the convergence of compiler technology and program verification.

Johannes Kanig, Edmond Schonberg, Claire Dross

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

Reasoning with Triggers.

Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011

Correct Code Containing Containers.

Claire Dross, Jean-Christophe Filliâtre, Yannick Moy

Proceedings of the Tests and Proofs - 5th International Conference, 2011